Modal logics, justification logics, and realization

DOI10.1016/J.APAL.2016.03.005zbMATH Open1400.03040OpenAlexW2332168755MaRDI QIDQ286591FDOQ286591

Melvin Fitting

Publication date: 20 May 2016

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2016.03.005

Recommendations

• Realization using the model existence theorem
• Realization for justification logics via nested sequents: modularity through embedding
• What are justification logics?
• A syntactic realization theorem for justification logics
• Logics of proofs and justifications

zbMATH Keywords

modal logicrealizationjustification logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Modal logic (including the logic of norms) (03B45)

Cites Work

• Modal logic
• Explicit provability and constructive semantics
• The ontology of justifications in the logical setting
• The logic of proofs, semantically
• Title not available (Why is that?)
• On Realization of -modality by Evidence Terms
• Evidence Reconstruction of Epistemic Modal Logic S5
• THE LOGIC OF JUSTIFICATION
• Possible world semantics for first-order logic of proofs
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Justification logics and hybrid logics
• Realizations and LP
• Proof analysis in modal logic

Cited In (20)

• Title not available (Why is that?)
• Tableaux and interpolation for propositional justification logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Paraconsistent logic, evidence, and justification
• Tools and techniques in modal logic
• Modal Logics and Group Polarization
• Title not available (Why is that?)
• Title not available (Why is that?)
• A logic of knowing why
• A Conflict Tolerant Logic of Explicit Evidence
• THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH
• The sharpness property of justification logic
• On non-self-referential fragments of modal logics
• Structuralist modals and the combination of logics
• On Boolean algebraic structure of proofs: towards an algebraic semantics for the logic of proofs
• Title not available (Why is that?)
• Title not available (Why is that?)
• Encoding modal logics in logical frameworks

This page was built for publication: Modal logics, justification logics, and realization

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