Search

Search Results

Found 500 items.

On Russell’s definition of moments of time

Cezary Gorzka

61-74

1997-10-27
Vagueness is a Kind of Conflation

David Ripley

115-135

2016-07-26
Proof theory of epistemic logic of programs

Paolo Maffezioli, Alberto Naibo

301–328

2013-09-12
Nested Sequent Calculi for Some Modal Logics with Non-Standard Modalities

Yaroslav Petrukhin

287-318

2025-04-28
Some Formal Semantics for Epistemic Modesty

Christopher Steinsvold

381-413

2020-02-08
Connecting bilattice theory with multivalued logic

Daniele Genito, Giangiacomo Gerla

15-45

2013-10-09
On axiomatization of Łukasiewicz's four-valued modal logic

Marcin Tkaczyk

215-232

2011-11-30
Richard L. Epstein, “Reasoning in Science and Mathematics: Essays on Logic as The Art of Reasoning Well”

Penelope A. Rush

365–371

2013-06-13
Relevant generalization starts here (and here = 2)

Dmitry Zaitsev, Oleg Grigoriev

329-340

2010-12-30
Chisholm's Modal Paradox(es) and Counterpart Theory 50 Years On

Murali Ramachandran

571-592

2020-04-22
Some new results on PCL1 and its related systems

Toshiharu Waragai, Hitoshi Omori

129-158

2010-06-30
Vasiľiev: what did he exactly do?

Wojciech Suchoń

131-141

2004-01-07
Models of possibilism and trivialism

Luis Estrada-González

175–205

2012-06-15
History of Relating Logic. The Origin and Research Directions

Mateusz Klonowski

579-629

2021-12-21
Preface

Jerzy Perzanowski, Andrzej Pietruszczak

5-6

2005-09-09
The contribution of A.V. Kuznetsov to the theory of modal systems and structures

Alexei Y. Muravitsky

41-58

2008-06-19
Literal and Controllable Paraconsistency

Janusz Ciuciura

1-19

2024-11-02
Introduction

Erik Weber, Dietlinde Wouters, Joke Meheus

319–322

2012-12-20
Acknowledgments

LLP LLP

555-556

2015-12-12
Mereology and Infinity

Karl-Georg Niebergall

309-350

2016-08-08
Equating categorially names and quantifiers within first-order logic

Jacek Paśniczek

119–129

2004-01-19

211 - 231 of 500 items << < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 > >>