294 search results - page 9 / 59 » Relational Modality |
122
click to vote
JSYML
2007
15 years 4 months ago
2007
We give an exponential lower bound on number of proof-lines in the proof system K of modal logic, i.e., we give an example of K-tautologies 1, 2, . . . s.t. every K-proof of i must...
125
click to vote
JANCL
2002
15 years 3 months ago
2002
In [8, 6] we introduced a family of `modal' languages intended for talking about distances. These languages are interpreted in `distance spaces' which satisfy some (or a...
111
click to vote
ER
2009
Springer
15 years 10 months ago
2009
Springer
Assessing the quality of conceptual models is key to ensure that conceptual models can be used effectively as a basis for understanding, agreement and construction of information ...
179
click to vote
AMAST
2006
Springer
15 years 7 months ago
2006
Springer
This paper proposes a modal extension of Separation Logic [8, 11] for reasoning about data-parallel programs that manipulate heap allocated linked data structures. Separation Logi...
136
Voted
TIME
2009
IEEE
15 years 10 months ago
2009
IEEE
We investigate fragments of Halpern-Shoham’s interval logic HS involving the modal operators for the relations of left or right overlap of intervals. We prove that most of these...