Truth and Modality for Knowledge Representation
Raymond Turner · Medical Entomology and Zoology · 1990
Part 1 Reasoning agents: modality and knmowledge representation propositions and modality possible worlds higher-order modal logic fine-grained propositions propositions as primitive higher-order theories and computational tractability propositions as senetneces syntactic modality representationalism theories of truth, modality and propositions. Part 2 Truth and paradox: the Lambda calculus models and semantics of the Lambda calculus the predicate calculus the Tarski Bioconditionals logics of truth. Part 3 Truth through fixpoints: Kleene strong three-values logic as a theory of and falsity models of KFG a reformulation truth, falsity and propostions FKG as a modal theory the strengthened liar. Part 4 Stable truth: the Gupta-Herzberger Semantic Theory logics of stable a weak modal logic of stable axioms and necessittion the T-axiom the S4-axiom the S5-axiom a further non-standard principle some consequences the liar and the truth teller. Part 5 Frege structures: the language of Frege structures models in TP properties and relations natural language semantics undefinability results. Part 6 Modal logic: the language possible world semantics modal logics. part 7 Truth in modal logic: modal fixpoints modality and stability a theory pf propositions, and modality. Part 8 Predicative modality: the language intensional paradox a trnaslation between L5 and L3 logics of and modality with and without full necessitaiton logicals of truth, propostions and modality. Part 9 Conclusions: logics of modality.