A Brief Introduction to Modal Logic
نویسنده
چکیده
Modal logic extends classical logic with the ability to express not only ‘P is true’, but also statements like ‘P is known’ or ‘P is necessarily true’. We will define several varieties of modal logic, providing both their semantics and their axiomatic proof systems, and prove their standard soundness and completeness theorems.
منابع مشابه
Suhrawardi's Modal Syllogisms
Suhrawardi’s logic of the Hikmat al-Ishraq is basically modal. So to understand his modal logic one first has to know the non-modal part upon which his modal logic is built. In my previous paper ‘Suhrawardi on Syllogisms’(3) I discussed the former in detail. The present paper is an exposition of his treatment of modal syllogisms. On the basis of some reasonable existential presuppositi...
متن کاملExpressivity of finitary coalgebraic logics
We give a brief introduction to the theory of coalgebras and discuss the connection between coalgebra and modal logic. In the second more technical part of this paper summarizing known results we prove that the finitary version of Moss’ coalgebraic logic has the Hennessy-Milner property.
متن کاملAn Introduction to Logics of Knowledge and Belief
This chapter provides an introduction to some basic concepts of epistemic logic, basic formal languages, their semantics, and proof systems. It also contains an overview of the handbook, and a brief history of epistemic logic and pointers to the literature. 1.
متن کاملCategories and all that - A Tutorial
This is a short introduction to categories with some emphasis on coalgebras. We start from introducing basic notions (categories, functors, natural transformations), move to Kleisli tripels and monads, with a short discussion of monads in Haskell, and continue with displaying the interplay between algebras, adjunctions and monads. Coalgebras are discussed and applied to the semantics of modal l...
متن کاملPossibility Based Modal Semantics for Graded Modifiers
A brief introduction to basic modifiers is given. Any modifier with its dual and the corresponding negation form a DeMorgan triple similar to that of t-norms, t-conorms, and negation. The lattice structure of the unit interval with the usual partial order is similar to that of the set of all membership functions. This structure has a certain connection to implication, by means of the subsethood...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008