On Realization of -modality by Evidence Terms

DOI10.1093/LOGCOM/EXL030zbMath1118.03011OpenAlexW1971637759MaRDI QIDQ3431968

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

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

Related Items (5)

Modal logics, justification logics, and realization ⋮ Realization Theorems for Justification Logics: Full Modularity ⋮ Decidability for some justification logics with negative introspection ⋮ A substructural approach to explicit modal logic ⋮ The ontology of justifications in the logical setting

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