Modal Logic
نویسندگان
چکیده
منابع مشابه
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...
متن کاملThe Modal Logic S4F, the Default Logic, and the Logic Here-and-There
The modal logic S4F provides an account for the default logic of Reiter, and several modal nonmonotonic logics of knowledge and belief. In this paper we focus on a fragment of the logic S4F concerned with modal formulas called modal defaults, and on sets of modal defaults — modal default theories. We present characterizations of S4F-expansions of modal default theories, and show that strong and...
متن کاملCoalgebraic Modal Logic in CoCasl
We extend the algebraic-coalgebraic specification language CoCasl by full coalgebraic modal logic based on predicate liftings for functors. This logic is more general than the modal logic previously used in CoCasl and supports the specification of a variety of modal logics, such as graded modal logic, majority logic, and probabilistic modal logic. CoCasl thus becomes a modern modal language tha...
متن کاملAndrzej Pietruszczak THE WEAKEST REGULAR MODAL LOGIC DEFINING JAŚKOWSKI ’ S LOGIC
Jaśkowski’s logic D2 was formulated with the help of the modal logic S5, [8]–[10]. It was shown (see [12], [16]) that to define D2 one could use normal modal logics weaker than S5. In the present paper we indicate a certain regular modal logic which also defines D2. This logic is the weakest regular modal logic defining D2.
متن کاملLecture Notes on First-Order Reductions of First-Order Modal Logic 15-816: Modal Logic
First-order modal logic is clearly more than classical first-order logic, because modalities can be used to phrase more advanced necessity and possibility properties. At the same time, first-order modal logic and non-modal first-order logic are not entirely different either. Modalities quantify over all ( ) or some (♦) worlds. Quantifiers also quantify over all (∀) or some (∃) objects (yet not ...
متن کاملThe Modal Logic of Stone Spaces: diamond as derivative
We show that if we interpret modal diamond as the derived set operator of a topological space, then the modal logic of Stone spaces is K4 and the modal logic of weakly scattered Stone spaces is K4G. As a corollary, we obtain that K4 is also the modal logic of compact Hausdorff spaces and K4G is the modal logic of weakly scattered compact Hausdorff spaces. §
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره 35 شماره
صفحات -
تاریخ انتشار 1997