15 search results - page 3 / 3 » tableaux 1999 |
COMBINATORICS
1999
13 years 5 months ago
1999
We present two symmetric function operators Hqt 3 and Hqt 4 that have the property Hqt mH(2a1b)(X; q, t) = H(m2a1b)(X; q, t). These operators are generalizations of the analogous ...
AIIA
1999
Springer
13 years 10 months ago
1999
Springer
In this paper we show how to extend KEM, a tableau-like proof system for normal modal logic, in order to deal with classes of non-normal modal logics, such as monotonic and regular...
TABLEAUX
1999
Springer
13 years 10 months ago
1999
Springer
Hybrid logics were proposed in 15 as a way of boosting the expressivity of modal logics via a novel mechanism: adding labels for states in Kripke models and viewing these labels as...
TABLEAUX
1999
Springer
13 years 10 months ago
1999
Springer
Abstract. We define sequent-style calculi for nominal tense logics characterized by classes of modal frames that are first-order definable by certain Π0 1 -formulae and Π0 2 -...
CADE
1999
Springer
13 years 10 months ago
1999
Springer
We present a PSpace algorithm that decides satisfiability of the graded modal logic Gr(KR)—a natural extension of propositional modal logic KR by counting expressions—which pl...