Explicit non-normal modal logic

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

Authors: Atefeh Rohani, Thomas Studer 

Publication date: 24 June 2022

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

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

zbMATH Keywords

justification logicnon-normal modal logicdeontic modals

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites Work

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

Cited In (5)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Exemplaric Expressivity of Modal Logics
• 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)