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

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