Skip to search formSkip to main contentSkip to account menu

Accessibility relation

In modal logic, an accessibility relation is a binary relation, written as between possible worlds.
Wikipedia (opens in a new tab)

Related topics

Related topics

14 relations
Computer scienceDeontic logicFirst-order logicInterpretation (logic)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Logics for Approximate Entailment in ordered universes of discourse
2014
2014
Can the second law be compatible with time reversal invariant dynamics
2011
2011
Sequent calculi and decidability for intuitionistic hybrid logic
2009
2009
Intensional First-Order Logic for P2P Database Systems
The meaning of concepts and views defined over a database ontology can be considered as intensional objects which have a… 
2008
2008
Property-type Objects and Modal Embedding
This invention describes a method and apparatus that can be used in optic quality monitoring of a gas laser. The method involves… 
2007
2007
Higher-Order Syntax and Saturation Algorithms for Hybrid Logic
2005
2005
Preference-based belief operators
2003
2003
Model checking hybrid logics
We investigate the complexity of the model checking problem for hybrid logics. We provide model checker algorithms for various… 
1999
1999
An Intelligent Agent Framework in VRML Worlds
Agent-based technologies have been rapidly emerging since the beginning of the 1990s [1–5]. J.P. Muller, [4], states that ‘Agents… 
1999
1999
A Dynamic Logic of Events and States for the Interaction between Plural Quantification and Verb Aspect in Natural Language
The influence NPs can have on the aspectual behaviour of verbal expressions, witness the pair ’eat an apple in ten minutes/*for… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)