Prehistoric Phenomena and Self-referentiality

DOI10.1007/978-3-642-13182-0_38zbMath1284.03154OpenAlexW1525471490MaRDI QIDQ3569763

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)

Related Items (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