Search

Search Results

• Analogy and diagonal argument

  Zbigniew Tworak

  39-66

  2006-03-26
• The topology of justification

  Sergei Artemov, Elena Nogina

  59-71

  2008-06-19
• Continua without sets

  F. G. Asenjo

  95-128

  2003-01-01
• Classical model existence and left resolution

  Jui-Lin Lee

  323-352

  2008-02-26
• Truth vs. provability – philosophical and historical remarks

  Roman Murawski

  93–117

  2004-01-19
• Powerset residuated algebras

  Mirosława Kołowska-Gawiejnowicz

  69–80

  2013-09-17
• Logic or reason?

  Penelope A. Rush

  127–163

  2012-06-15
• A Non-Standard Kripke Semantics for the Minimal Deontic Logic

  Edson Bezerra, Giorgio Venturi

  97-107

  2020-10-08
• Some answers to Max Urchs’ comments on a paper by A. Bressan

  Aldo Bressan

  123-131

  2003-01-27
• Modal Hybrid Logic

  Andrzej Indrzejczak

  147-257

  2007-08-25
• Rejected axioms for the “nonsense-logic” W and the k-valued logic of Sobociński

  Robert Sochacki

  321-327

  2009-03-15
• Two weak Lambek style calculi: DNL and DNL−∗

  Wojciech Zielonka

  53-64

  2012-03-15
• A modal approach to dynamic ontology: modal mereotopology

  Dimiter Vakarelov

  163-183

  2008-06-19
• A general method of solving Smullyan’s puzzles

  Adam Kolany

  97-103

  2003-01-27
• Parainconsistency of credibility-based belief states

  Anna Gomolińska

  183-198

  2004-01-19
• Externally compatible Abelian groups of the type (2,1,0)

  Krystyna Mruczek-Nasieniewska

  239-250

  2007-03-15
• Dynamic relational mereotopology: Logics for stable and unstable relations

  Vladislav Nenchev

  295–325

  2013-06-11