337 search results - page 9 / 68 » Axiomatizing Distance Logics |
142
click to vote
TIME
2005
IEEE
15 years 9 months ago
2005
IEEE
The language of timed µCRL is an extension of an ACP-style process algebra-based language µCRL with time-related features. In this paper we describe this language and its equati...
123
Voted
AIML
2008
15 years 4 months ago
2008
In this paper we study the intermediate logic MLO(X) of open subsets of a metric space X. This logic is closely related to Medvedev's logic of finite problems ML. We prove sev...
167
click to vote
DALT
2005
Springer
15 years 9 months ago
2005
Springer
An agent who bases his actions upon explicit logical formulae has at any given point in time a finite set of formulae he has computed. Closure or consistency conditions on this se...
158
click to vote
JAPLL
2010
15 years 1 months ago
2010
We provide complete axiomatizations for several fragments of XPath: sets of equivalences from which every other valid equivalence is derivable. Specifically, we axiomatize downwar...
147
click to vote
LICS
1990
IEEE
15 years 7 months ago
1990
IEEE
Reasoning about permissions and obligations sometimes requires to distinguish more than one level of permission: certain actions are preferable to others, or one has more confiden...