Szukaj

Wyniki wyszukiwania

• Neighborhood Semantics for Basic and Intuitionistic Logic

  Morteza Moniri, Fatemeh Shirmohammadzadeh Maleki

  339–355

  20.08.2015
• On a multilattice analogue of a hypersequent S5 calculus

  Oleg Grigoriev, Yaroslav Petrukhin

  683-730

  18.07.2019
• 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
• A Non-Standard Kripke Semantics for the Minimal Deontic Logic

  Edson Bezerra, Giorgio Venturi

  97-107

  08.10.2020
• Hyperintensionality, Identity and Excluded Middle

  Szymon Chlebowski

  1-24

  02.12.2025
• Plantinga’s Haecceitism and Simple Quantified Modal Logic

  Luigi Pavone

  151-160

  12.06.2018
• The topology of justification

  Sergei Artemov, Elena Nogina

  59-71

  19.06.2008
• Simulation Logic

  Gerard Allwein, William L. Harrison, David Andrews

  277–299

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

  Yehuda Schwartz, George Tourlakis

  329–363

  18.09.2013
• First-order anti-intuitionistic logic with apartness

  Andreas B.M. Brunner

  77-88

  21.12.2004