Languages with self-reference. I: Foundations (or: We can have everything in first-order logic!)

DOI10.1016/0004-3702(85)90075-XzbMath0581.03005OpenAlexW146483867MaRDI QIDQ1068068

Donald Perlis

Publication date: 1985

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

Full work available at URL: https://doi.org/10.1016/0004-3702(85)90075-x

zbMATH Keywords

beliefssemanticssyntaxconceptsexcluded middleKripke's partial truth-predicate approachquotationunquotation

Mathematics Subject Classification ID

Logic of natural languages (03B65) Artificial intelligence (68T99) Classical first-order logic (03B10)

Related Items (19)

Issues in commonsense set theory ⋮ Languages with self-reference. II: Knowledge, belief, and modality ⋮ HYPERSOLVER: A graphical tool for commonsense set theory ⋮ Autocircumscription ⋮ A theory of formal truth arithmetically equivalent to ID₁ ⋮ A metalogic programming approach: language, semantics and applications ⋮ In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming ⋮ Definability and commonsense reasoning ⋮ Automated inference in active logics ⋮ Truth and meaning ⋮ Reasoning about truth ⋮ A logic-based model of intention formation and action for multi-agent subcontracting ⋮ Reasoning about reasoning in a meta-level architecture ⋮ Maintaining mental models of agents who have existential misconceptions ⋮ On meaningfulness and truth ⋮ Syntactical treatments of propositional attitudes ⋮ Sources of, and exploiting, inconsistency: preliminary report ⋮ Multilanguage hierarchical logics, or: How we can do without modal logics ⋮ Automated inferencing

Cites Work

• Prolegomena to a theory of mechanized formal reasoning
• Extended inference modes in reasoning by computer systems
• Non-monotonic logic. I
• Outline of a Theory of Truth
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Languages with self-reference. I: Foundations (or: We can have everything in first-order logic!)