Search

Search Results

• Ultraproduct for Quantum Structures

  Morteza Moniri, Elahe Shirinkalam

  157-171

  2018-02-26
• Remarks on Stable Formulas in Intuitionistic Logic

  Majid Alizadeh, Ali Bibak

  209-222

  2018-11-18
• Neighborhood Semantics for Basic and Intuitionistic Logic

  Morteza Moniri, Fatemeh Shirmohammadzadeh Maleki

  339–355

  2015-08-20
• Distributed Relation Logic

  Gerard Allwein, William L. Harrison, Thomas Reynolds

  19-61

  2016-07-19
• Inconsistent Models (and Infinite Models) for Arithmetics with Constructible Falsity

  Thomas Macaulay Ferguson

  389-407

  2018-08-08
• On a multilattice analogue of a hypersequent S5 calculus

  Oleg Grigoriev, Yaroslav Petrukhin

  683-730

  2019-07-18
• Simplified Kripke style semantics for some very weak modal logics

  Andrzej Pietruszczak

  271-296

  2010-03-30
• Simulation Logic

  Gerard Allwein, William L. Harrison, David Andrews

  277–299

  2013-09-15
• First-order anti-intuitionistic logic with apartness

  Andreas B.M. Brunner

  77-88

  2004-12-21
• 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
• Formulas of one propositional variable in intuitionistic logic with the Solovay modality

  Leo Esakia, Revaz Grigolia

  111-127

  2008-06-19
• A Non-Standard Kripke Semantics for the Minimal Deontic Logic

  Edson Bezerra, Giorgio Venturi

  97-107

  2020-10-08
• The topology of justification

  Sergei Artemov, Elena Nogina

  59-71

  2008-06-19
• On the proof-theory of a first-order extension of GL

  Yehuda Schwartz, George Tourlakis

  329–363

  2013-09-18
• A modal logic of information

  Krystyna Misiuna

  33–51

  2012-03-15