Results 11 to 20 of about 86,968 (310)
Cut-free modal sequents for normal modal logics. [PDF]
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Claudio Cerrato
openalex +4 more sources
Explicit non-normal modal logic [PDF]
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
Atefeh Rohani, Thomas Studer
+6 more sources
Reasoning in Non-normal Modal Description Logics [PDF]
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 +3 more sources
Normal forms in modal logic. [PDF]
Kit Fine
openalex +3 more sources
"Knowing value" logic as a normal modal logic [PDF]
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, Yanjing Wang
openalex +3 more sources
Quantification in Some Non-normal Modal Logics [PDF]
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Erica Calardo, Antonino Rotolo
openalex +5 more sources
Theorem Provers For Every Normal Modal Logic
We present a procedure for algorithmically embedding problems formulated in higher- order modal logic into classical higher-order logic. The procedure was implemented as a stand-alone tool and can be used as a preprocessor for turning TPTP THF-compliant the- orem provers into provers for various modal logics.
Tobias Gleißner +2 more
openalex +4 more sources
Non-normal modal logics and conditional logics: Semantic analysis and proof theory
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Jinsheng Chen +3 more
openalex +3 more sources
Normal Modal Logics Determined by Aligned Clusters [PDF]
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Zofia Kostrzycka, Yutaka Miyazaki
openalex +3 more sources
Natural deduction in normal modal logic. [PDF]
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
John Hawthorn
openalex +3 more sources

