2501 search results - page 27 / 501 » Logics with Rank Operators |
APAL
2006
13 years 8 months ago
2006
A new modal logic D is introduced. It describes properties of provability by interpreting modality as a deductive closure operator on sets of formulas. Logic D is proven to be dec...
CPAIOR
2008
Springer
13 years 10 months ago
2008
Springer
SOSP
1989
ACM
13 years 9 months ago
1989
ACM
ICALP
1998
Springer
14 years 20 days ago
1998
Springer
The complexity of LTrL, a global linear time temporal logic over traces is investigated. The logic is global because the truth of a formula is evaluated in a global state, also ca...
RITA
2000
13 years 8 months ago
2000
This paper discusses how RETOOL, an action logic featuring an operator that expresses necessary conditions, postconditions and time bounds of actions, can be combined with MTL, a ...