Prehistoric graph in modal derivations and self-referentiality

DOI10.1007/s00224-013-9510-zzbMath1433.03059OpenAlexW2008287076MaRDI QIDQ1678748

Junhua Yu

Publication date: 7 November 2017

Published in: Theory of Computing Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00224-013-9510-z

zbMATH Keywords

logic of proofsjustification logicself-referentiality

Mathematics Subject Classification ID

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

Related Items (2)

Self-referentiality of Brouwer-Heyting-Kolmogorov semantics ⋮ On non-self-referential fragments of modal logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The ontology of justifications in the logical setting
• The logic of proofs, semantically
• Self-referential justifications in epistemic logic
• Proof methods for modal and intuitionistic logics
• Making knowledge explicit: how hard it is
• Explicit Provability and Constructive Semantics
• Self-referentiality of Justified Knowledge
• Prehistoric Phenomena and Self-referentiality
• Realizations and LP

This page was built for publication: Prehistoric graph in modal derivations and self-referentiality