Results 21 to 30 of about 156,774 (303)
Normal forms in partial modal logic [PDF]
Banach Center Publications, 1993 A “partial” generalization of Fine’s definition [Fin] of normal forms in normal minimal modal logic is given. This means quick access to complete axiomatizations and decidability proofs for partial modal logic [Thi]. Introduction. From the viewpoint of formal linguistics, cognitive science and artificial intelligence, there appears to be a natural ...
Jan Jaspars
openalex +3 more sources
An extension of Jónsson-Tarski representation and model existence in predicate non-normal modal logics [PDF]
Mathematical Logic Quarterly, 2021 We give an extension of the Jónsson‐Tarski representation theorem for both normal and non‐normal modal algebras so that it preserves countably many infinite meets and joins.
Yoshihito Tanaka
openalex +3 more sources
Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity [PDF]
Journal of Logic and Computation, 2020 We present some hypersequent calculi for all systems of the classical cube and their extensions with axioms ${T}$, ${P}$ and ${D}$ and for every $n \geq 1$, rule ${RD}_n^+$.
Tiziano Dalmonte +3 more
openalex +3 more sources
Explicit non-normal modal logic
Workshop on Logic, Language, Information and Computation, 2021 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
Atefeh Rohani, Thomas Studer
openalex +3 more sources
Normal Modal Logics Determined by Aligned Clusters [PDF]
Studia Logica, 2016 We consider the family of logics from NExt(KTB) which are determined by linear frames with reflexive and symmetric relation of accessibility. The condition of linearity in such frames was first defined in the paper [9]. We prove that the cardinality of the logics under consideration is uncountably infinite.
Zofia Kostrzycka, Yutaka Miyazaki
openalex +3 more sources
Cut-free modal sequents for normal modal logics. [PDF]
Notre Dame Journal of Formal Logic, 1993 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Claudio Cerrato
openalex +5 more sources
Labelled Tableaux for Non-Normal Modal Logics [PDF]
, 2000 In this paper we show how to extend KEM, a tableau-like proof system for normal modal logic, in order to deal with classes of non-normal modal logics, such as monotonic and regular, in a uniform and modular way.
Governatori, G, Luppi, A
openaire +8 more sources
A Characterization of Non-Iterative Normal Modal Logics
, 2021 42 pages, 8 ...
Adrian Soncodi
openalex +4 more sources
Reasoning in Non-normal Modal Description Logics
, 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
openalex +4 more sources
Calculi for Intuitionistic Normal Modal Logic
, 2016 This paper provides a call-by-name and a call-by-value term calculus, both of which have a Curry-Howard correspondence to the box fragment of the intuitionistic modal logic IK. The strong normalizability and the confluency of the calculi are shown. Moreover, we define a CPS transformation from the call-by-value calculus to the call-by-name calculus ...
Yoshihiko Kakutani
openalex +4 more sources