Relational semantics and some modal logics
Proof theory for quantified monotone modal logics
... extending the labelled language with atomic formulas of shape x ∈ D(w) (individual variables are disjoint from both world and neighbourhood labels), and by adding the rules for the quantifiers and for identity that are ...
30
On the relative succinctness of some modal logics
... with some comments on Definition ...of logics is closer to our intuitive understanding of the meaning of this notion and helps us avoid, ...have some specific syntactic ...have some specific ...
135
Game theoretical semantics for some non-classical logics
... Theoretical Semantics; Logic of Paradox; First-Degree Entailment; Rel- evant Logic; Connexive Logic; Belnap’s Four Valued Logic B4; Modal Logic ...theoretical semantics suggests a very intuitive and ...
32
PP 2002 20: Counterpart Semantics A Foundational study on Quantified Modal Logics
... for modal languages. 14 We here assume familiarity with Kripke semantics, and we limit ourselves to observing that in Kripke semantics we cannot render formally the idea that an individual satisfies ...
61
PP 2006 29: A Note on Some Explicit Modal Logics
... the modal logic S4 and its explicit version LP are somehow ...the logics K, KD, KD4 and ...these logics are given below. For the logics without the 4 axiom scheme, the AS rule must be replaced ...
8
MoL 2013 07: On The Modal Logics of Some Set Theoretic Constructions
... provided some helpful pointers to the literature which unfortunately did not come to much good, because the chapter which I needed them for turned out to be filled with ...provided some nice conversations ...
86
On the Formal Semantics of IF-like Logics
... One could argue that the in the play described above there is no such thing as turns, which usually implies alternation of some kind. The reason why we call it the turn will become more clear in section 4. Winning ...
24
Argumentation semantics for defeasible logics
... Despite the similarity of name, this concept is not directly related to support in defeasible logic, nor to supportive arguments/proof trees. Essentially the notion of sup- ported argument is meant to indicate when an ...
11
Modular Construction of Modal Logics
... one-step semantics which preserves expressiveness has the Hennessy-Milner ...one-step semantics preserves expressiveness if all of the ingredients ...
16
Modal logics of sabotage revisited
... iff there exists M 0 with (M, w)r(M 0 , w) and M 0 |= ST x ∅ (ϕ)[w] iff M |= ST x ∅ (ϕ)[w] u t While this translation is mainly a tool for us, it does exhibit some interesting features. The standard translation ...
40
SOME REMARKS ON METAPHYSICS AND THE MODAL LOGICS F*F ROBERT L. WILSON
... However, in recent times, the appearance of many (presumed) alternative logics of propositions, e.g., Lukasiewicz [2], [3], Rosser and Turquette [4], and more especially alternative moda[r] ...
12
Clausal Resolution for Modal Logics of Confluence
... multimodal logics of confluence, whose Kripke semantics are based on frames characterised by appropriate instances of the Church-Rosser ...such logics. We show how the inference rules related to the ...
15
Failure of interpolation in combined modal logics
... combining logics is that of transfer theorems: under which conditions does a metalogical property |like nite axiomatisability, decidability or interpolation| transfer to the combined ...of modal ...
23
Expressiveness of probabilistic modal logics, revisited
... departure from the usual combinatorial arguments and used some non-trivial results from measure theory, specifically using remarkable properties of analytic spaces; see [13] for an expository account. The fact ...
13
Forgetting in Multi-Agent Modal Logics
... The semantics of exis- tential bisimulation quantifiers is as follows: a model M satisfies a formula 9p where p is an atom iff there is a model M 0 satisfying such that M and M 0 are bisimi- lar with exception on ...
8
Proof theory of quantified modal logics
... for modal logics, but now there are techniques to develop modular proof systems for modal logics based on natural deduc- tion, tableaux and sequent ...possible-world semantics within ...
167
Post Completeness in Congruential Modal Logics
... the modal matrices with singleton filter based on P(W ) correspond uniquely to the neighborhood frames on W ...as modal matrices with singleton filters based on powerset ...that some congruential ...
14
Concepts as Modal Operators in Description Logics
... of logics that reintegrate some useful language ...description logics only, a particular logic family for formalizing ...formal semantics can be found in ...
11
PP 2011 33: Inclusion and Exclusion Dependencies in Team Semantics: On Some Logics of Imperfect Information
... team semantics for inclusion/exclusion logic and we have examined the relations between it and other logics of im- perfect ...theoretic semantics for inclusion/exclusion logic will be developed; once ...
69
Probabilistic Description Logics under the distribution semantics
... The rules used by Pellet to answer queries to SHOIN (D) knowledge bases are shown in Figure 8. Some of the rules are non-deterministic, i.e., they generate a finite set of tableaux. Thus the algorithm keeps a set ...
25