Search

Search Results

• The modes of physical properties in the logical foundations of physics

  Sonja Smets

  37-53

  2005-06-23
• Analysis of Penrose’s Second Argument Formalised in DTK System

  Antonella Corradini, Sergio Galvan

  471-500

  2021-12-16
• Extended full computation-tree logics for paraconsistent model checking

  Norihiro Kamide

  251-276

  2007-03-15
• Fitch's Paradox in Fusions of Epistemic and Alethic Logics

  Arkadiusz Wójcik

  1-37

  2025-12-05
• Truth vs. provability – philosophical and historical remarks

  Roman Murawski

  93–117

  2004-01-19
• Science – logic – philosophy. An old problem resuscitated

  Pavel Materna

  107–126

  2012-06-15
• How to Get out of the Labyrinth of Time? Lessons Drawn from Callender

  Jerzy Gołosz

  81–104

  2022-04-22
• Modulated logics and flexible reasoning

  Walter Carnielli, Maria Cláudia C. Grácio

  211-249

  2008-09-30
• Interactive logic in the middle ages

  Sara L. Uckelman

  439–471

  2012-12-20
• Can We Test Inconsistent Empirical Theories?

  Luis Felipe Bartolo Alegre

  501–545

  2025-05-25
• Towards the unification of inconsistency handling mechanisms

  Diderik Batens

  5-31

  2004-01-18
• The discovery of the law of gravitation from the logical point of view

  Wojciech Sady

  25-35

  2005-06-23
• Hyperintensionality, Identity and Excluded Middle

  Szymon Chlebowski

  1-24

  2025-12-02
• Horwich's minimalist conception of truth: Some logical difficulties

  Sten Lindström

  161-181

  2004-01-19
• On the synthetic content of implicit definitions

  Demetra Christopoulou

  75-88

  2013-03-31
• A Logic for a Critical Attitude?

  Federico Boem, Stefano Bonzio

  261-288

  2022-02-19
• Powerset residuated algebras

  Mirosława Kołowska-Gawiejnowicz

  69–80

  2013-09-17
• A systematics of deontic action logics based on Boolean algebra

  Robert Trypuz, Piotr Kulicki

  253-270

  2010-03-30
• Representing concepts in formal ontologies. Compositionality vs. typicality effects

  Marcello Frixione, Antonio Lieto

  391–414

  2012-12-20
• Jaśkowski's criterion and three-valued paraconsistent logics

  Alexander S. Karpenko

  81-86

  2004-01-07
• How effective indeed is present-day mathematics?

  Athanassios Tzouvaras

  131-153

  2006-06-26