Truth and Modality for Knowledge Representation

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 truth 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 truth; a weak modal logic of truth; 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, truth and modality. Part 8 Predicative modality: the language; intensional paradox; a trnaslation between L5 and L3; logics of truth and modality with and without full necessitaiton; logicals of truth, propostions and modality. Part 9 Conclusions: logics of truth; modality.