Explicit non-normal modal logic
From MaRDI portal
Publication:2148779
Recommendations
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)