Some Lectures on Modal Logic. Supplement
Abstract
Model logics arise throughout computer science. It is worthwhile to find the best means of exposition of theory and applications for mathematics and computer science students. The classical model logic texts are neither oriented toward computer science nor mathematics. The computational content of proof procedures and how the notions apply in computer science and AI applications has to be brought out. Here we start an exposition without proofs of propositional modal logic using a tableaux method easy to remember for hand computational and suitable for automated reasoning. The exposition is analogous to the exposition in the author's lectures on intuitionistic logic (Nerode 1990), also directed at computer science applications. Here one application exposited at length, also without proofs, is the autoepistemic logic of Moore. But any defects of exposition are solely due to present author. We outline classical constant domain modal predicate logic briefly. We conclude with dynamic logic. We give a brief introduction to a new intuitionistic dynamic logic due to D. Wijesekera, which is suitable for dealing with concurrency. (KR)
Document Details
- Document Type
- Technical Report
- Publication Date
- Jan 01, 1989
- Accession Number
- ADA213957
Entities
People
- Anil Nerode
Organizations
- Cornell University