Search

Search Results

• A Monadic Second-Order Version of Tarski’s Geometry of Solids

  Patrick Barlatier, Richard Dapoigny

  55-99

  2023-10-19
• Troubles with (the concept of) truth in mathematics

  Roman Murawski

  285-303

  2007-04-15
• A modal logic of information

  Krystyna Misiuna

  33–51

  2012-03-15
• Simplified Semantics for Further Relevant Logics I Unreduced Semantics for E and Π′

  Tore Fjetland Øgaard

  109-151

  2024-08-27
• On the Axiom of Canonicity

  Jerzy Pogonowski

  3-31

  2022-07-07
• A systematics of deontic action logics based on Boolean algebra

  Robert Trypuz, Piotr Kulicki

  253-270

  2010-03-30
• Future Contingencies and the Arrow and Flow of Time in a Non-Deterministic World According to the Temporal-Modal System TM

  Miloš Arsenijević, Andrej Jandrić

  529-581

  2023-03-27
• The abundance of the future. A paraconsistent approach to future contingents

  Roberto Ciuni, Carlo Proietti

  21-43

  2013-03-31
• A Non-Standard Kripke Semantics for the Minimal Deontic Logic

  Edson Bezerra, Giorgio Venturi

  97-107

  2020-10-08
• Space, points and mereology. On foundations of point-free Euclidean geometry

  Rafał Gruszczyński, Andrzej Pietruszczak

  145-188

  2009-11-30
• A Unified Logical Framework for Reasoning about Deontic Properties of Actions and States

  Piotr Kulicki, Robert Trypuz, Robert Craven, Marek J. Sergot

  583-617

  2023-06-02
• Mereological sets of distributive classes

  Andrzej Pietruszczak

  105-122

  2003-01-27