Search

Search Results

• Mereological foundations of point-free geometry via multi-valued logic

  Cristina Coppola, Giangiacomo Gerla

  535-553

  2015-11-13
• Simplified Semantics for Further Relevant Logics II Propositional Constants

  Tore Fjetland Øgaard

  161-191

  2024-08-27
• A Logic for a Critical Attitude?

  Federico Boem, Stefano Bonzio

  261-288

  2022-02-19
• Counterparts as Near-Equals

  Bruno Dinis, Bruno Jacinto

  263-285

  2025-03-03
• Twist-Valued Models for Three-Valued Paraconsistent Set Theory

  Walter A. Carnielli, Marcelo E. Coniglio

  187-226

  2021-05-04
• From BDI and stit to bdi-stit logic

  Caroline Semmling, Heinrich Wansing

  185-207

  2008-06-19
• Alternative Semantics for Normative Reasoning with an Application to Regret and Responsibility

  Daniela Glavaničová, Matteo Pascucci

  653-679

  2021-12-27
• Logic or reason?

  Penelope A. Rush

  127–163

  2012-06-15
• Particular Reasoning Within Theories

  João Rasga, Cristina Sernadas

  1-37

  2025-03-28
• Modulated logics and flexible reasoning

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

  211-249

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

  Srećko Kovač

  127-143

  2009-11-30