Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,159,975 papers from all fields of science
Search
Sign In
Create Free Account
Accessibility relation
In modal logic, an accessibility relation is a binary relation, written as between possible worlds.
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
14 relations
Computer science
Deontic logic
First-order logic
Interpretation (logic)
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
New perspectives on genericity at the interfaces Genericity and ( Non ) accidentalness
Yael Greenberg
2016
Corpus ID: 53397171
This paper attempts to clarify nature of the “law-likness” or “nonaccidentalness” that generic sentences are usually claimed to…
Expand
Review
2015
Review
2015
Chapter 7 Dynamic Logics of Belief Change
J. Benthem
,
S. Smets
2015
Corpus ID: 14285969
This chapter gives an overview of current dynamic logics that describe belief update and revision, both for single agents and in…
Expand
2014
2014
Modal inferences in marked indefinites: the case of German irgend-indefinites
M. Aloni
2014
Corpus ID: 39580117
Many languages in the world have developed marked indefinite forms, often with a restricted distribution, for which these modal…
Expand
2013
2013
Tableaux for type PDL
Agathoklis Kritsimallis
,
Chrysafis Hartonas
Balkan Conference in Informatics
2013
Corpus ID: 13945457
We give a deterministic exponential, sound and complete tableau-based satisfiability algorithm for the system of Type PDL (τPDL…
Expand
2008
2008
Property-type Objects and Modal Embedding
A. R. Deal
2008
Corpus ID: 16739900
This invention describes a method and apparatus that can be used in optic quality monitoring of a gas laser. The method involves…
Expand
2005
2005
A Hybrid Intuitionistic Logic : Semantics and Decidability
R. C
,
D. M
,
V. S.
2005
Corpus ID: 13113439
A. An intuitionistic, hybrid modal logic suitable for reasoning about distribution of resources was introduced in [16, 17…
Expand
2004
2004
A Distributed Kripke Semantics
Rohit Chadha
,
Damiano Macedonio
,
V. Sassone
2004
Corpus ID: 15931815
An intuitionistic, hybrid modal logic suitable for reasoning about distribution of resources was introduced in [10]. We extend…
Expand
2003
2003
Model checking hybrid logics
Massimo Franceschet
,
M. de Rijke
2003
Corpus ID: 11814865
We investigate the complexity of the model checking problem for hybrid logics. We provide model checker algorithms for various…
Expand
2002
2002
Logic of Probabilistic Arguments
S. Das
2002
Corpus ID: 17926552
1 CHARLES RIVER ANALYTICS, Cambridge, MA 02138, USA Abstract We present a logic for reasoning with probabilistic arguments to…
Expand
1999
1999
A Method for the Horizontal Partition of Object-Oriented Databases
C. Chung
,
Chang-Ryong Kim
,
Ju-hong Lee
1999
Corpus ID: 17675766
The partitioning of related objects should be performed before clustering for an efficient access in object-oriented databases…
Expand