Explicit non-normal modal logic

DOI10.1007/978-3-030-88853-4_5MaRDI QIDQ2148779zbMATH OpenOpenAlexFDO

Authors Atefeh Rohani, Thomas Studer

Publication date 24 June 2022

Full work available at URL https://arxiv.org/abs/2108.04486

zbMATH Keywords

justification logicnon-normal modal logicdeontic modals

Mathematics Subject Classification ID

Logic in computer science (03B70)

Recommendations

• Deontic modals and hyperintensionality
• A hyperintensional logical framework for deontic reasons
• scientific article; zbMATH DE number 1163366
• scientific article; zbMATH DE number 2196587
• Justification logic for constructive modal logic

Cites work

• scientific article; zbMATH DE number 6302917 (Why is no real title available?)
• A Conflict Tolerant Logic of Explicit Evidence
• A hyperintensional logical framework for deontic reasons
• Admissibility of cut in congruent modal logics
• Decidability for some justification logics with negative introspection
• Deontic modals and hyperintensionality
• Explicit provability and constructive semantics
• First steps towards probabilistic justification logic
• Justification logic. Reasoning with reasons
• Justifications for common knowledge
• Justified common knowledge
• Logics of proofs and justifications
• Neighborhood semantics for modal logic
• Sequent calculi and decision procedures for weak modal systems
• Subset models for justification logic
• The logic of proofs, semantically
• The ontology of justifications in the logical setting
• Weak arithmetical interpretations for the logic of proofs

Cited in

(5)

• scientific article; zbMATH DE number 5622639 (Why is no real title available?)
• scientific article; zbMATH DE number 7238893 (Why is no real title available?)
• Exemplaric Expressivity of Modal Logics
• scientific article; zbMATH DE number 7085124 (Why is no real title available?)
• Conditional obligations in justification logic

This page was built for publication: Explicit non-normal modal logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2148779)