On Realization of -modality by Evidence Terms

DOI10.1093/LOGCOM/EXL030zbMATH Open1118.03011OpenAlexW1971637759MaRDI QIDQ3431968FDOQ3431968

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

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

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)

Cited In (9)

• Title not available (Why is that?)
• Decidability for some justification logics with negative introspection
• The ontology of justifications in the logical setting
• 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)