Accessibility relation

In modal logic, an accessibility relation is a binary relation, written as between possible worlds.
Wikipedia

Topic mentions per year

Topic mentions per year

1977-2017
05101519772017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
We study dynamic modal operators that can change the accessibility relation of a model during the evaluation of a formula. In… (More)
  • figure 1
Is this relevant?
2010
2010
We treat the smallest normal modal propositional logic with two modal operators 2 and 2+. While 2 is interpreted in Kripke models… (More)
  • figure 2
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
2009
2009
In [1] the authors considered finitely-valued modal logics with Kripke style semantics where both propositions and the… (More)
  • table 2
  • figure 1
Is this relevant?
2008
2008
  • Dov M. Gabbay
  • Annals of Mathematics and Artificial Intelligence
  • 2008
Ordinary Kripke models are not reactive. When we evaluate (test/ measure) a formula A at a model m, the model does not react… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2007
2007
By studying the accessibility relations in logics of knowledge and belief, we reveal that almost all prominent nonmonotonic… (More)
Is this relevant?
2004
2004
Ordinary Kripke models are not reactive. When we evaluate (test/measure) a formula A at a model m, the model does not react… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2000
2000
In this paper, the notion of degrees of significance of possible worlds under a given amtext are introduced and thereby a way of… (More)
  • table 2
  • table 4
  • figure 4
  • figure 6
  • table 15
Is this relevant?
Highly Cited
1991
Highly Cited
1991
Two families of many-valued modal logics are investigated. Semantically, one family is characterized using Kripke models that… (More)
Is this relevant?
Highly Cited
1991
Highly Cited
1991
A general framework for translating logical formulae from one logic into another logic is presented. The framework is… (More)
Is this relevant?
1977
1977
Included amongst the i n t e n s i o n a l l o g i c s are those dea l i ng w i t h o b l i g a t i o n (deont ic l og i c… (More)
Is this relevant?