Results 1 to 10 of about 6,233 (257)
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
Fractional-Valued Modal Logic and Soft Bilateralism [PDF]
Bulletin of the Section of Logic, 2023 In a recent paper, under the auspices of an unorthodox variety of bilateralism, we introduced a new kind of proof-theoretic semantics for the base modal logic \(\mathbf{K}\), whose values lie in the closed interval \([0,1]\) of rational numbers [14].
Mario Piazza +2 more
doaj +2 more sources
Intuitionistic Non-normal Modal Logics: A General Framework [PDF]
Journal of Philosophical Logic, 2020 Preprint
Tiziano Dalmonte +2 more
exaly +4 more sources
Non-normal modal logics and conditional logics: Semantic analysis and proof theory
Information and Computation, 2022 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Giuseppe Greco +2 more
exaly +2 more sources
CoNP Complexity for Combinations of Non-normal Modal Logics
Lecture Notes in Computer Science, 2023 AbstractWe study the complexity of the validity/derivability problem for combinations of non-normal modal logics in the form of logic fusions, possibly extended with simple interaction axioms. We first present cut-free sequent calculi for these logic combinations.
Tiziano Dalmonte +2 more
exaly +2 more sources
Reasoning in Non-normal Modal Description Logics [PDF]
CoRR, 2022 Non-normal modal logics, interpreted on neighbourhood models which generalise the usual relational semantics, have found application in several areas, such as epistemic, deontic, and coalitional reasoning. We present here preliminary results on reasoning in a family of modal description logics obtained by combining ALC with non-normal modal operators ...
Tiziano Dalmonte +2 more
openaire +2 more sources
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
Non-normal modalities in variants of linear logic [PDF]
Journal of Applied Non-Classical Logics, 2015 This article presents modal versions of resource-conscious logics. We concentrate on extensions of variants of Linear Logic with one minimal non-normal modality. In earlier work, where we investigated agency in multi-agent systems, we have shown that the results scale up to logics with multiple non-minimal modalities.
Daniele Porello, Nicolas Troquard
openaire +4 more sources
Resolution Calculi for Non-normal Modal Logics
, 2023 AbstractWe present resolution calculi for the cube of classical non-normal modal logics. The calculi are based on a simple clausal form that comprises both local and global clauses. Any formula can be efficiently transformed into a small set of clauses. The calculi contain uniform rules and provide a decision procedure for all logics.
Dirk Pattinson +2 more
openaire +3 more sources