Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Accessibility relation

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

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… Expand
  • figure 1
Is this relevant?
2014
2014
We have applied an elegant and flexible logic embedding approach to verify and automate a prominent philosophical argument: the… Expand
  • figure 1
Is this relevant?
2010
2010
In this section, we define the syntax and semantics of quantified modal logic [Car46, Kri63]. An excellent source on first-order… Expand
Is this relevant?
2009
2009
The meaning of concepts and views defined over a database ontology can be considered as intensional objects which have a… Expand
  • figure 1
  • figure 2
Is this relevant?
2007
2007
Ordinary Kripke models are not reactive. When we evaluate (test/measure) a formula A at a model m, the model does not react… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2006
2006
Previous results for combining decision procedures for the word problem in the non-disjoint case do not apply to equational… Expand
  • figure 1
Is this relevant?
2003
2003
We present some algorithms to compute the reductions of Ambient Calculus and to describe mobility and dynamic hierarchies of… Expand
Is this relevant?
1999
1999
The influence NPs can have on the aspectual behaviour of verbal expressions, witness the pair ’eat an apple in ten minutes/*for… Expand
Is this relevant?
1993
1993
This paper introduces the theory of a particular kind of computation domains called concrete domains. The purpose of this theory… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1992
1992
The goal of this paper is to provide a possible foundation for meta-reasoning in the fields of artificial intelligence and… Expand
Is this relevant?