Abstract
An exposition of some modal logics useful for teaching and research in computer science. §1. Preface §2. Propositional modal logic §3. Modal frames §4. Propositional tableaux §5. Modal axioms and their frame semantics 96. Modal predicate tableaux with constant domains §7. Autoepistemic logic §8. Nonmonotonic reasoning §9. Classical concurrent dynamic logic §10. Intuitionistic concurrent dynamic logic.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have