Search

Search Results

• The true bisimulations for 'since' and 'until'

  Holger Sturm

  173–183

  2004-01-19
• Compositionality is not the problem

  Wilfrid Hodges

  7-33

  1998-11-06
• Guest editors’ introduction

  Koji Tanaka, Francesco Berto, Edwin Mares, Francesco Paoli

  5-6

  2010-06-30
• An addendum to: “Notes on models of first-order mereological theories”

  Hsing-chien Tsai

  483

  2015-12-12
• Particular Reasoning Within Theories

  João Rasga, Cristina Sernadas

  1-37

  2025-03-28
• Informal Provability, First-Order BAT Logic and First Steps Towards a Formal Theory of Informal Provability

  Pawel Pawlowski, Rafal Urbaniak

  501-527

  2021-11-29
• The concept of negation

  Don Faust

  35-48

  2003-10-27
• Preface

  Uwe Scheffler, Max Urchs

  5

  2003-01-01
• The informational stance: Philosophy and logic. Part II. From physics to society

  Wu Kun, Joseph E. Brenner

  81–108

  2013-08-29
• The algebraic face of minimality

  Frank Wolter

  225-240

  1998-11-06
• The logical way of being true: Truth values and the ontological foundation of logic

  Yaroslav Shramko

  119-131

  2013-09-18
• Note on Contradictions in Francez-Weiss Logics

  Satoru Niki

  1-30

  2024-12-12
• Logical Forms, Substitutions and Information Types

  Vít Punčochář

  459-473

  2023-07-21
• Abelian mereology

  A. J. Cotnoir

  429-447

  2015-03-05
• Modulated logics and flexible reasoning

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

  211-249

  2008-09-30
• Acknowledgments

  LLP LLP

  363

  2011-12-20
• Justification Logic and the Epistemic Contribution of Deduction

  Nancy Abigail Nuñez Hernández, Francisco Hernández-Quiroz

  381-402

  2024-03-04
• A Logic for a Critical Attitude?

  Federico Boem, Stefano Bonzio

  261-288

  2022-02-19
• ZF and the axiom of choice in some paraconsistent set theories

  Thierry Libert

  91-114

  2003-11-23
• The Need for Pluralism of Causality

  Paul Weingartner

  461-498

  2016-07-20
• The mereology of structural universals

  Peter Forrest

  259-283

  2015-05-27