Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,332,630 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
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
2008
2008
On an Analogy between English Nominal and Polish Aspectual Manifestations of Genericity*
Dorota Klimek-Jankowska
2008
Corpus ID: 17559403
The main goal of this study is to prove that two modal mechanisms Greenberg (2003) postulated for English indefinite singular (IS…
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
2005
2005
Contextual Modals
Horacio L. Arló-Costa
,
William Taysom
Context
2005
Corpus ID: 3829397
In a series of recent articles Angelika Kratzer has argued that the standard account of modality along Kripkean lines is…
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