Languages with self-reference. II: Knowledge, belief, and modality

DOI10.1016/0004-3702(88)90038-0zbMath0642.03017OpenAlexW1604070438MaRDI QIDQ1101099

Donald Perlis

Publication date: 1988

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(88)90038-0

zbMATH Keywords

provabilitymodal logicsbeliefsubstitutive self-reference

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic of natural languages (03B65) Artificial intelligence (68T99)

Related Items (8)

Autocircumscription ⋮ The logic of Quinean revisability ⋮ In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming ⋮ Definability and commonsense reasoning ⋮ Truth and meaning ⋮ Reasoning about truth ⋮ Reasoning about reasoning in a meta-level architecture ⋮ \(Log_A\mathbf{G}\): an algebraic non-monotonic logic for reasoning with graded propositions

Cites Work

• Foundations of a functional approach to knowledge representation
• Semantical considerations on nonmonotonic logic
• Languages with self-reference. I: Foundations (or: We can have everything in first-order logic!)
• Self-reference and modal logic
• Belief, awareness, and limited reasoning
• A note on syntactical treatments of modality
• A logic of believing, knowing, and inferring
• Toward useful type-free theories. I
• Outline of a Theory of Truth
• Transfinite recursive progressions of axiomatic theories
• Concatenation as a basis for arithmetic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Languages with self-reference. II: Knowledge, belief, and modality