Search

Search Results

• On a multilattice analogue of a hypersequent S5 calculus

  Oleg Grigoriev, Yaroslav Petrukhin

  683-730

  2019-07-18
• On classical behavior of intuitionistic modalities

  Sergey Drobyshevich

  79–104

  2014-08-16
• Talking About Nothing

  Zoltán Vecsey

  311-321

  2019-07-11
• Varieties of Relevant S5

  Shawn Standefer

  53-80

  2022-03-08
• A formal theory of physical necessity

  Marcin Tkaczyk

  65-83

  2007-07-25
• Theorem proving with built-in hybrid theories

  Uwe Petermann

  77-107

  1998-11-06
• Nested Sequent Calculi for Some Modal Logics with Non-Standard Modalities

  Yaroslav Petrukhin

  287-318

  2025-04-28
• On axiomatization of Łukasiewicz's four-valued modal logic

  Marcin Tkaczyk

  215-232

  2011-11-30
• Towards Contingent World Descriptions in Description Logics

  Farshad Badie

  115-141

  2019-06-10
• Many-Valued Logics and Bivalent Modalities

  Edson Bezerra, Giorgio Venturi

  611-636

  2022-04-11
• S5-Style Non-Standard Modalities in a Hypersequent Framework

  Yaroslav Petrukhin

  427-456

  2021-12-16
• G.E. Moore on logical possibility

  Tadeusz Czarnecki

  7–19

  2004-01-19
• A Non-Standard Kripke Semantics for the Minimal Deontic Logic

  Edson Bezerra, Giorgio Venturi

  97-107

  2020-10-08
• On the logic of event causation. Part I. Fundamental reflections

  Uwe Scheffler

  129-155

  2003-01-01