modal logics
Kripke completeness of strictly positive modal logics over meet semilattices with operators
... coNP if finitely axiomatisable and com- plete (Theorem 11); moreover, those complete ones whose frames are definable by equality-free universal Horn sentences are actually tractable (Theorem 13). The latter applies to ...
58
Reasoning with global assumptions in arithmetic modal logics
... these logics are interpreted over finite trees, thus not subsuming our ExpTime upper bound for Presburger modal logic with global ...graded modal logic ...Description logics with explicit ...
13
PP 2016 11: Stable modal logics
... stable modal logics, a class of modal logics introduced in ...stable modal logics, and show that there are continuum many ...basic modal systems such as K4 and S4 are not ...
20
PP 2015 12: Modal Logics and Multiverses
... Studying the multiverse as a mathematical entity is not restricted to researchers who subscribe to the philosophical position of the multiverse view. In his own work on CH, Woodin (who is not an adherent of the ...
19
PP 2006 08: Modal Logics of Space
... to modal languages of spatial struc- ...richer modal logics for more special topological structures, including restrictions on sets that can serve as values for ...combining modal ...
86
PP 2003 24: Monotonic Modal Logics
... In early history, classical modal logics are always mentioned but hardly used, and they seem to be studied mainly for their mathematical properties. However, in the past 15 years or so, applications have ...
115
PP 2016 28: Modal Logics of Sabotage Revisited
... current modal logics of model change, where we identify the sources of its undecidability in a way that also sheds new light on current dynamic-epistemic ...fixed-point logics of sabotage for ...
38
PP 2006 29: A Note on Some Explicit Modal Logics
... In this note, I will look at completeness with respect to Fitting models for some axiom systems not covered in [8]. In particular, we introduce semantic conditions which are needed to prove completeness for explicit ...
8
MoL 2004 09: A Construction Method for Modal Logics of Space
... As mentioned in the introduction, one current area of investigation in modal logics of space involves finding ways to simplify results found in McKinsey and Tarski’s ’The Algebra of Topology’. This project ...
52
MoL 2013 07: On The Modal Logics of Some Set Theoretic Constructions
... the modal logics of set-theoretic ...theory, modal logic can be interpreted in set theory using ...this modal logic by splitting up the task into one of finding upper and lower bounds for ...
86
PP 2002 20: Counterpart Semantics A Foundational study on Quantified Modal Logics
... Abstract. Counterpart semantics is proposed as the appropriate semantical frame- work for a foundational investigation of quantified modal logics. It turns out to be a limit case of the categorical ...
61
PP 2004 15: Modal Logics for Products of Topologies
... their modal logics was initiated by Shehtman ...multi-dimensional modal logics of products of Kripke frames can be found in Gabbay and Shehtman [8], and for the up to date account of the most ...
19
An Institution of Modal Logics for Coalgebras
... with logics for inductively-defined coalgebraic types, as considered in ...these logics exploits the in- ductive nature of the underlying types in order to derive a concrete modal language for each ...
31
Failure of interpolation in combined modal logics
... Combined modal logics [Gab97] are systems that are built up from simpler and familiar systems in very diverse ...poly-modal logics with some \additional structure" or requirements set over ...
23
Clausal Resolution for Modal Logics of Confluence
... transitive. Logics of confluence are interesting not only because they encompass a great num- ber of normal modal logics as particular examples, but also in view of their attractive computational ...
15
Modular Construction of Modal Logics
... Finally, modal logics for coalgebras have been investigated by a number of authors, starting with Moss [20], who describes an abstract syntax for a large class of systems, but there is no general ...
16
On the relative succinctness of some modal logics
... the modal logics that we are going to compare in terms of their succinctness in the rest of this ...ferent modal formalisms stems from their wide ...
135
MoL 2019 08: Polyhedral Completeness in Intermediate and Modal Logics
... polyhedrally-complete logics, following the logical approach mentioned above. I consider logics defined using starlike trees as forbidden configurations — ...i.e. logics defined by the Jankov-Fine ...
89
Finding problems in knowledge bases using modal logics
... In the examples in this paper, I will assume that an expert makes counterfactual conditional statements, following Bench-Capon's [1989] suggestion that counterfactual statements are suit[r] ...
13
PP 2006 42: Modal Logics of Negotiation and Preference
... dynamic modal logic that can be used to model scenarios where agents negotiate over the allocation of a finite number of indivisible ...in modal logic correspondence ...
13