Pages that link to "Item:Q1068068"

The following pages link to Languages with self-reference. I: Foundations (or: We can have everything in first-order logic!) (Q1068068):

Displaying 19 items.

• Truth and meaning (Q908898) (← links)
• Reasoning about truth (Q908899) (← links)
• Automated inferencing (Q1070835) (← links)
• Languages with self-reference. II: Knowledge, belief, and modality (Q1101099) (← links)
• Autocircumscription (Q1105394) (← links)
• Reasoning about reasoning in a meta-level architecture (Q1183375) (← links)
• Maintaining mental models of agents who have existential misconceptions (Q1187220) (← links)
• Syntactical treatments of propositional attitudes (Q1275601) (← links)
• Multilanguage hierarchical logics, or: How we can do without modal logics (Q1313954) (← links)
• Issues in commonsense set theory (Q1346620) (← links)
• HYPERSOLVER: A graphical tool for commonsense set theory (Q1357081) (← links)
• Definability and commonsense reasoning (Q1402721) (← links)
• A logic-based model of intention formation and action for multi-agent subcontracting (Q2457680) (← links)
• Sources of, and exploiting, inconsistency: preliminary report (Q3128364) (← links)
• A theory of formal truth arithmetically equivalent to ID₁ (Q3197819) (← links)
• A metalogic programming approach: language, semantics and applications (Q4305334) (← links)
• Automated inference in active logics (Q4868232) (← links)
• In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming (Q5108530) (← links)
• On meaningfulness and truth (Q5928921) (← links)