Explicit non-normal modal logic

DOI10.1007/978-3-030-88853-4_5OpenAlexW3208875450MaRDI QIDQ2148779

Thomas Studer, Atefeh Rohani

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)

Related Items (1)

Conditional obligations in justification logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The ontology of justifications in the logical setting
• The logic of proofs, semantically
• Sequent calculi and decision procedures for weak modal systems
• Subset models for justification logic
• Neighborhood semantics for modal logic
• Justified common knowledge
• Explicit Provability and Constructive Semantics
• Justifications for common knowledge
• First steps towards probabilistic justification logic
• Weak arithmetical interpretations for the Logic of Proofs
• Deontic modals and hyperintensionality
• A hyperintensional logical framework for deontic reasons
• A Conflict Tolerant Logic of Explicit Evidence
• Decidability for some justification logics with negative introspection
• Justification Logic

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