Explicit non-normal modal logic

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

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)

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
• Deontic modals and hyperintensionality
• Sequent calculi and decision procedures for weak modal systems
• Title not available (Why is that?)
• A Conflict Tolerant Logic of Explicit Evidence
• Title not available (Why is that?)
• 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)