Search

Search Results

• Neighborhood Semantics for Basic and Intuitionistic Logic

  Morteza Moniri, Fatemeh Shirmohammadzadeh Maleki

  339–355

  2015-08-20
• Inconsistent Models (and Infinite Models) for Arithmetics with Constructible Falsity

  Thomas Macaulay Ferguson

  389-407

  2018-08-08
• Remarks on Stable Formulas in Intuitionistic Logic

  Majid Alizadeh, Ali Bibak

  209-222

  2018-11-18
• Distributed Relation Logic

  Gerard Allwein, William L. Harrison, Thomas Reynolds

  19-61

  2016-07-19
• Simplified Kripke style semantics for some very weak modal logics

  Andrzej Pietruszczak

  271-296

  2010-03-30
• On the proof-theory of a first-order extension of GL

  Yehuda Schwartz, George Tourlakis

  329–363

  2013-09-18
• Discrete linear temporal logic with current time point clusters, deciding algorithms

  V. Rybakov

  143-161

  2008-06-19
• Plantinga’s Haecceitism and Simple Quantified Modal Logic

  Luigi Pavone

  151-160

  2018-06-12