Results 21 to 30 of about 1,072,805 (301)
Systematic Verification of the Modal Logic Cube in Isabelle/HOL [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 We present an automated verification of the well-known modal logic cube in Isabelle/HOL, in which we prove the inclusion relations between the cube's logics using automated reasoning tools. Prior work addresses this problem but without restriction to the
Christoph Benzmüller +2 more
doaj +1 more source
A multi-modal logic for Galois connections [PDF]
, 2022 Advances in Modal Logic 2022 (Rennes, August 22 ...
Pérez-de-Guzmán-Molina, Inmaculada +2 more
core
SYMMETRIES IN MODAL LOGICS [PDF]
The Bulletin of Symbolic Logic, 2015 AbstractIn this paper we develop the theoretical foundations to exploit symmetries in modal logics. We generalize the notion of symmetries of propositional formulas in conjunctive normal form to modal formulas using the framework provided by coinductive modal models introduced in [5].
Carlos Areces, Ezequiel Orbe
openaire +2 more sources
Quantification of Modal Propositions in Traditional Logic [PDF]
Akofena: Modal systems did not emerge until recently with Lewis Clarence, who raised the issue of strict implication. Although modal systems have evolved and diversified significantly since then, they remain loyal to his frameworks, as they are considered ...
Hayat TRIKI & Nacer HADJ AZZEM
doaj +1 more source
Dual-Context Calculi for Modal Logic [PDF]
Logical Methods in Computer Science, 2020 We present natural deduction systems and associated modal lambda calculi for the necessity fragments of the normal modal logics K, T, K4, GL and S4. These systems are in the dual-context style: they feature two distinct zones of assumptions, one of which
G. A. Kavvos
doaj +1 more source
, 2020 The discussion about how to put together Gentzen's systems for classical and intuitionistic logic in a single unified system is back in fashion. Indeed, recently Prawitz and others have been discussing the so called Ecumenical Systems, where connectives from these logics can co-exist in peace.
Sonia Marin +3 more
openaire +3 more sources
Semantical Considerations on Modal Logic
Problemos, 2023 Iš anglų kalbos vertė ir pratarmę parašė Pranciškus Gricius, Vilniaus ...
Saul A. Kripke
doaj +1 more source
The Logic of Khārijī Propositions [PDF]
حکمت سینوی, 2023 There are two general methods for interpreting and analyzing khārijī and ḥaqīqī propositions: first, by analyzing them within a unified logic; second, by assigning separate logics to khārijī and ḥaqīqī propositions.
Asadollah Fallahi
doaj +1 more source
A modal logic for reasoning on consistency and completeness of regulations [PDF]
, 2009 In this paper, we deal with regulations that may exist in multi-agent systems in order to regulate agent behaviour and we discuss two properties of regulations, that is consistency and completeness.
Garion, Christophe +2 more
core +1 more source
Graphical Sequent Calculi for Modal Logics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 The syntax of modal graphs is defined in terms of the continuous cut and broken cut following Charles Peirce's notation in the gamma part of his graphical logic of existential graphs.
Minghui Ma, Ahti-Veikko Pietarinen
doaj +1 more source