Prehistoric phenomena and self-referentiality

DOI10.1007/978-3-642-13182-0_38MaRDI QIDQ3569763zbMATH OpenOpenAlexFDO

Authors Junhua Yu

Publication date 22 June 2010

Published in Computer Science – Theory and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-13182-0_38

Mathematics Subject Classification ID

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

Recommendations

• Prehistoric graph in modal derivations and self-referentiality
• Self-referentiality in the Brouwer-Heyting-Kolmogorov semantics of intuitionistic logic
• Self-referentiality of Brouwer-Heyting-Kolmogorov semantics
• Self-referential justifications in epistemic logic
• Explicit provability and constructive semantics

Cited in

(3)

• Prehistoric graph in modal derivations and self-referentiality
• Self-referentiality of Brouwer-Heyting-Kolmogorov semantics
• On non-self-referential fragments of modal logics

This page was built for publication: Prehistoric phenomena and self-referentiality

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