294 search results - page 10 / 59 » Relational Modality |
136
Voted
LOGCOM
2002
15 years 2 months ago
2002
One can add the machinery of relation symbols and terms to a propositional modal logic without adding quantifiers. Ordinarily this is no extension beyond the propositional. But if...
130
Voted
NMR
2004
Springer
15 years 8 months ago
2004
Springer
The action language A is a simple high-level language for describing transition systems. In this paper, we extend the action language A by allowing a unary modal operator in the u...
153
Voted
AIML
2000
15 years 3 months ago
2000
Notions of context for natural language interpretation are factored in terms of three processes: translation, entailment and attunement. The processes are linked by accessibility r...
118
Voted
ICALP
2010
Springer
15 years 16 days ago
2010
Springer
In this paper, we focus our attention on the fragment of Halpern and Shoham's modal logic of intervals (HS) that features four modal operators corresponding to the relations &...
161
Voted
AMSTERDAM
2009
15 years 12 days ago
2009
In this paper we present an alternative interpretation of statements of epistemic possibility, which does not induce a consistency test on a common ground, as in (Veltman 1996), bu...