On Realization of -modality by Evidence Terms

DOI10.1093/LOGCOM/EXL030MaRDI QIDQ3431968zbMATH OpenOpenAlexFDO

Authors Natalia Rubtsova

Publication date 13 April 2007

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exl030

zbMATH Keywords

logic of proofsepistemic modal logic S5logic of evidence-based knowledgelogic of proofs with negative checker

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Recommendations

• Evidence Reconstruction of Epistemic Modal Logic S5
• Cut elimination and realization for epistemic logics with justification
• A quantified logic of evidence
• Making knowledge explicit: how hard it is
• Justification logic. Reasoning with reasons

Cited in

(9)

• scientific article; zbMATH DE number 1303429 (Why is no real title available?)
• The ontology of justifications in the logical setting
• Decidability for some justification logics with negative introspection
• A substructural approach to explicit modal logic
• Modal logics, justification logics, and realization
• S5 knowledge without partitions
• On a modal epistemic axiom emerging from McDermott-Doyle logics
• Realization theorems for justification logics: full modularity
• Evidence Reconstruction of Epistemic Modal Logic S5

This page was built for publication: On Realization of -modality by Evidence Terms

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