15 search results - page 2 / 3 » logcom 2002 |
LOGCOM
2002
14 years 12 months ago
2002
In this paper we define the notion of a block algebra, which is based upon a spatial application of Allen's interval algebra. In the
83
Voted
LOGCOM
2002
14 years 12 months ago
2002
The paper is a theoretical study of a generalization of the lexicographic rule for combining ordering relations. We define the concept of priority operator: a priority operator ma...
LOGCOM
2002
14 years 12 months ago
2002
This paper defines and examines model checking games for the branching time temporal logic CTL . The games employ a technique called focus which enriches sets by picking out one d...
LOGCOM
2002
14 years 12 months ago
2002
We give a categorial characterization of how labelled deduction systems for logics with a propositional basis behave under unconstrained fibring and under fibring that is constrai...
113
click to vote
LOGCOM
2002
14 years 12 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...