Szukaj

Wyniki wyszukiwania

• Notes on models of first-order mereological theories

  Hsing-chien Tsai

  469-482

  28.04.2015
• Inconsistent Models (and Infinite Models) for Arithmetics with Constructible Falsity

  Thomas Macaulay Ferguson

  389-407

  08.08.2018
• Neighborhood Semantics for Basic and Intuitionistic Logic

  Morteza Moniri, Fatemeh Shirmohammadzadeh Maleki

  339–355

  20.08.2015
• Twist-Valued Models for Three-Valued Paraconsistent Set Theory

  Walter A. Carnielli, Marcelo E. Coniglio

  187-226

  04.05.2021
• Can Başkent (ed.), Perspectives on Interrogative Models of Inquiry, Springer, 2016

  Francesca Poggiolesi

  555-560

  21.07.2016
• A Theory of Propositions

  Nicholas J.J. Smith

  83-125

  07.11.2015
• Dynamic Epistemic Logic and Logical Omniscience

  Mattias Skipper Rasmussen

  377–399

  18.08.2015
• Sorites, Curry and Suitable Models

  Bruno Da Ré, Paula Teijeiro

  593-614

  28.02.2020
• First Degree Entailment, Symmetry and Paradox

  Greg Restall

  3-18

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

  Hsing-chien Tsai

  483

  12.12.2015
• Remarks on Stable Formulas in Intuitionistic Logic

  Majid Alizadeh, Ali Bibak

  209-222

  18.11.2018
• Models of possibilism and trivialism

  Luis Estrada-González

  175–205

  15.06.2012
• Abelian mereology

  A. J. Cotnoir

  429-447

  05.03.2015
• ZF and the axiom of choice in some paraconsistent set theories

  Thierry Libert

  91-114

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

  Holger Sturm

  173–183

  19.01.2004
• Temporal Alethic Dyadic Deontic Logic and the Contrary-to-Duty Obligation Paradox

  Daniel Rönnedal

  3-52

  01.05.2017
• Alternative Semantics for Normative Reasoning with an Application to Regret and Responsibility

  Daniela Glavaničová, Matteo Pascucci

  653-679

  27.12.2021
• Comparing Expressiveness of Logics Defined within Different Classes of Models An analysis of some formal conditions

  Diego Pinheiro Fernandes

  247-261

  13.12.2024
• Distributed Relation Logic

  Gerard Allwein, William L. Harrison, Thomas Reynolds

  19-61

  19.07.2016
• On minimal models for pure calculi of names

  Piotr Kulicki

  429-443

  29.08.2013
• On Some Meta-Theoretic Topological Features of the Region Connection Calculus

  Nathaniel Gan

  639-669

  06.04.2023