Search

Search Results

• 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
• First-order belief and paraconsistency

  Srećko Kovač

  127-143

  2009-11-30
• Analysis of Penrose’s Second Argument Formalised in DTK System

  Antonella Corradini, Sergio Galvan

  471-500

  2021-12-16
• On minimal models for pure calculi of names

  Piotr Kulicki

  429-443

  2013-08-29
• Lewisian Naturalness and a new Sceptical Challenge

  Matej Drobňák

  3-28

  2021-02-19
• A Note on Gödel’s First Disjunct Formalised in DTK System

  Antonella Corradini, Sergio Galvan

  555-565

  2024-10-23
• Decision procedures for some strong hybrid logics

  Andrzej Indrzejczak, Michał Zawidzki

  389-409

  2013-08-29
• Qualitative decision theory via channel theory

  Gerard Allwein, Yingrui Yang, William L. Harrison

  81–110

  2011-06-30
• Geometry as an extension of the group theory

  A. Prusińska, L. Szczerba

  131–135

  2004-01-19