2501 search results - page 27 / 501 » Logics with Rank Operators |
76
Voted
APAL
2006
15 years 23 days 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...
61
Voted
CPAIOR
2008
Springer
15 years 2 months ago
2008
Springer
80
Voted
SOSP
1989
ACM
15 years 1 months ago
1989
ACM
106
click to vote
ICALP
1998
Springer
15 years 5 months 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...
117
Voted
RITA
2000
15 years 14 days 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 ...