Szukaj

Wyniki wyszukiwania

• Neighborhood Semantics for Basic and Intuitionistic Logic

  Morteza Moniri, Fatemeh Shirmohammadzadeh Maleki

  339–355

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

  Thomas Macaulay Ferguson

  389-407

  08.08.2018
• Remarks on Stable Formulas in Intuitionistic Logic

  Majid Alizadeh, Ali Bibak

  209-222

  18.11.2018
• Distributed Relation Logic

  Gerard Allwein, William L. Harrison, Thomas Reynolds

  19-61

  19.07.2016
• Swap Kripke Models for Deontic LFIs

  Mahan Vaz, Marcelo E. Coniglio

  1-40

  05.01.2026
• Simplified Kripke style semantics for some very weak modal logics

  Andrzej Pietruszczak

  271-296

  30.03.2010
• Plantinga’s Haecceitism and Simple Quantified Modal Logic

  Luigi Pavone

  151-160

  12.06.2018
• Discrete linear temporal logic with current time point clusters, deciding algorithms

  V. Rybakov

  143-161

  19.06.2008
• On the proof-theory of a first-order extension of GL

  Yehuda Schwartz, George Tourlakis

  329–363

  18.09.2013