Results 11 to 20 of about 86,968 (310)

Cut-free modal sequents for normal modal logics. [PDF]

open access: bronzeNotre Dame Journal of Formal Logic, 1993
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Claudio Cerrato
openalex   +4 more sources

Explicit non-normal modal logic [PDF]

open access: hybridJournal of Logic and Computation, 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
Atefeh Rohani, Thomas Studer
  +6 more sources

Reasoning in Non-normal Modal Description Logics [PDF]

open access: green, 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   +3 more sources

Normal forms in modal logic. [PDF]

open access: bronzeNotre Dame Journal of Formal Logic, 1975
Kit Fine
openalex   +3 more sources

"Knowing value" logic as a normal modal logic [PDF]

open access: green, 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, Yanjing Wang
openalex   +3 more sources

Quantification in Some Non-normal Modal Logics [PDF]

open access: greenJournal of Philosophical Logic, 2016
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

open access: bronzeEPiC Series in Computing, 2018
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

open access: bronzeInformation and Computation, 2021
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]

open access: hybridStudia Logica, 2016
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]

open access: bronzeNotre Dame Journal of Formal Logic, 1990
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
John Hawthorn
openalex   +3 more sources

Home - About - Disclaimer - Privacy