Results 1 to 10 of about 5,094 (281)
Logic-Sensitivity of Aristotelian Diagrams in Non-Normal Modal Logics [PDF]
Axioms, 2021 Aristotelian diagrams, such as the square of opposition, are well-known in the context of normal modal logics (i.e., systems of modal logic which can be given a relational semantics in terms of Kripke models). This paper studies Aristotelian diagrams for
Lorenz Demey
doaj +6 more sources
Explicit Non-normal Modal Logic [PDF]
Lecture Notes in Computer Science, 2021 Abstract Faroldi argues that deontic modals are hyperintensional and thus traditional modal logic cannot provide an appropriate formalization of deontic situations. To overcome this issue, we introduce novel justification logics as hyperintensional analogues to non-normal modal logics. We establish soundness and completeness with respect
Thomas Studer, Studer Thomas
exaly +4 more sources
A modal logic internalizing normal proofs
Information and Computation, 2011 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Hyeonseung Im
exaly +6 more sources
Distribution-Free Normal Modal Logics
LogicsThis article initiates the semantic study of distribution-free normal modal logic systems, laying the semantic foundations and anticipating further research in the area. The article explores roughly the same area, though taking a different approach, as a
Chrysafis Hartonas
doaj +4 more sources
Disjunctive bases: normal forms and model theory for modal logics [PDF]
Logical Methods in Computer Science, 2022 We present the concept of a disjunctive basis as a generic framework for normal forms in modal logic based on coalgebra. Disjunctive bases were defined in previous work on completeness for modal fixpoint logics, where they played a central role in the ...
Sebastian Enqvist, Yde Venema
doaj +1 more source
Note on the Intuitionistic Logic of False Belief
Bulletin of the Section of Logic, 2022 In this paper we analyse logic of false belief in the intuitionistic setting. This logic, studied in its classical version by Steinsvold, Fan, Gilbert and Venturi, describes the following situation: a formula $\varphi$ is not satisfied in a given world ...
Tomasz Witczak
doaj +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
"Knowing value" logic as a normal modal logic [PDF]
CoRR, 2016 21 pages, in Advances in Modal Logic Vol 11: 362-381 College Publications. This is a draft with a more detailed proof of Prop.
Tao Gu 0002, Yanjing Wang 0001
openaire +2 more sources
A Resolution Prover for Coalition Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 We present a prototype tool for automated reasoning for Coalition Logic, a non-normal modal logic that can be used for reasoning about cooperative agency.
Cláudia Nalon +3 more
doaj +1 more source
Density of truth in modal logics [PDF]
Discrete Mathematics & Theoretical Computer Science, 2006 The aim of this paper is counting the probability that a random modal formula is a tautology. We examine $\{ \to,\Box \}$ fragment of two modal logics $\mathbf{S5}$ and $\mathbf{S4}$ over the language with one propositional variable.
Zofia Kostrzycka
doaj +1 more source