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.
2011
2011
Flexibility in Ceteris Paribus Reasoning
Ceteris Paribus clauses in reasoning are used to allow for defeaters of norms, rules or laws, such as in von Wright’s example “I… 
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… 
2008
2008
Weakening of Intuitionistic Negation for Many-valued Paraconsistent da Costa System
  • Z. Majkic
  • Notre Dame J. Formal Log.
  • 2008
  • Corpus ID: 11800914
In this paper we propose substructural propositional logic obtained by da Costa weakening of the intuitionistic negation. We show… 
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
Dempster-Shafer theory framed in modal logic
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)