Swap structures semantics for Ivlev-like modal logics
نویسندگان
چکیده
منابع مشابه
Relational Semantics for Modal Logics
Bernd{Holger Schlinglo Institut f ur Informatik, Technische Universitat M unchen, e-mail: [email protected] Wolfgang Heinle Institut f ur angewandte Mathematik, Universitat Bern, e-mail: [email protected] Abstract In this work we survey the connections between modal logic and relation algebra. We compare various modal and relational languages for the speci cation of reac...
متن کاملAutoreferential semantics for many-valued modal logics
In this paper we consider the class of truth-functional modal many-valued logics with the complete lattice of truth-values. The conjunction and disjunction logic operators correspond to the meet and join operators of the lattices, while the negation is independently introduced as a hierarchy of antitonic operators which invert bottom and top elements. The non-constructive logic implication will...
متن کاملSemantics-Based Translation Methods for Modal Logics
A general framework for translating logical formulae from one logic into another logic is presented. The framework is instantiated with two different approaches to translating modal logic formulae into predicate logic. The first one, the well known ‘relational’ translation makes the modal logic’s possible worlds structure explicit by introducing a distinguished predicate symbol to represent the...
متن کاملDirect Resolution for Modal-like Logics
In this paper we discuss the implementation of a hybrid logic theorem prover based on resolution, HyLoRes, which fuses first-order proving techniques with modal and hybrid reasoning. The focus is on implementation details, and on how we adapted first-order methods to the hybrid environment.
متن کاملCoalgebraic semantics of modal logics: An overview
Coalgebras can be seen as a natural abstraction of Kripke frames. In the same sense, coalgebraic logics are generalised modal logics. In this paper, we give an overview of the basic tools, techniques and results that connect coalgebras and modal logic. We argue that coalgebras unify the semantics of a large range of different modal logics (such as probabilistic, graded, relational, conditional)...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Soft Computing
سال: 2019
ISSN: 1432-7643,1433-7479
DOI: 10.1007/s00500-018-03707-4