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

Semantic Scholar uses AI to extract papers important to this topic.

2015

2015

- Carlos Areces, Raul Fervari, Guillaume Hoffmann
- Logic Journal of the IGPL
- 2015

We study dynamic modal operators that can change the accessibility relation of a model during the evaluation of a formula. Inâ€¦Â (More)

Is this relevant?

2010

2010

- Ryo Kashima
- Advances in Modal Logic
- 2010

We treat the smallest normal modal propositional logic with two modal operators 2 and 2+. While 2 is interpreted in Kripke modelsâ€¦Â (More)

Is this relevant?

2009

2009

- FÃ©lix Bou, Francesc Esteva, Lluis Godo, Ricardo Oscar RodrÃguez
- IFSA/EUSFLAT Conf.
- 2009

In [1] the authors considered finitely-valued modal logics with Kripke style semantics where both propositions and theâ€¦Â (More)

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)

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

- David Gabbay
- 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)

Is this relevant?

2000

2000

- Tetsuya Murai, Germano Resconi, Masaru Shimbo
- KES
- 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)

Is this relevant?

Highly Cited

1991

Highly Cited

1991

- Melvin Fitting
- Fundam. Inform.
- 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

- Hans JÃ¼rgen Ohlbach
- J. Log. Comput.
- 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

- Raymond D. Gumb
- IJCAI
- 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?