Modal logic and classical logic, Humanities press
نویسندگان
چکیده
منابع مشابه
First-Order Classical Modal Logic
The paper focuses on extending to the first order case the semantical program for modalities first introduced by Dana Scott and Richard Montague. We focus on the study of neighborhood frames with constant domains and we offer a series of new completeness results for salient classical systems of first order modal logic. Among other results we show that it is possible to prove strong completeness...
متن کاملBack and Forth Between Modal Logic and Classical Logic
Modal Logic is traditionally concerned with the intensional operators \possibly" and \necessary", whose intuitive correspondence with the standard quantiiers \there ex-ists" and \for all" comes out clearly in the usual Kripke semantics. This observation underlies the well-known translation from modal logic into the rst-order language over possible worlds models 12, 13]. In this way, modal forma...
متن کاملA modal logic amalgam of classical and intuitionistic propositional logic
We present a modal extension of classical propositional logic in which intuitionistic propositional logic is mirrored by means of the modal operator. In this sense, the modal extension combines classical and intuitionistic propositional logic avoiding the collapsing problem. Adopting ideas from a recent paper (S. Lewitzka, A denotational semantics for a Lewis-style modal system close to S1, 201...
متن کاملDistributed Control Flow with Classical Modal Logic
In previous work we presented a foundational calculus for spatially distributed computing based on intuitionistic modal logic. With the modalities 2 and 3 we were able to capture two key invariants: the mobility of portable code and the locality of fixed resources. This work investigates issues in distributed control flow through a similar propositions-as-types interpretation of classical modal...
متن کاملModal Extensions of Sub-classical Logics for Recovering Classical Logic
In this paper we introduce non-normal modal extensions of the sub-classical logics CLoN, CluN and CLaN, in the same way that S0.5 extends classical logic. The first modal system is both paraconsistent and paracomplete, while the second one is paraconsistent and the third is paracomplete. Despite being non-normal, these systems are sound and complete for a suitable Kripke semantics. We also show...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Advances in Mathematics
سال: 1988
ISSN: 0001-8708
DOI: 10.1016/0001-8708(88)90036-9