15 search results - page 2 / 3 » logcom 2002 |
LOGCOM
2002
13 years 6 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
LOGCOM
2002
13 years 6 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
13 years 6 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
13 years 6 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...
LOGCOM
2002
13 years 6 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...