TARK
2009
Springer
14 years 6 months ago
2009
Springer
TARK
2009
Springer
14 years 6 months ago
2009
Springer
TARK
2009
Springer
14 years 6 months ago
2009
Springer
TARK
2009
Springer
14 years 6 months ago
2009
Springer
We introduce a logic designed to support reasoning about social choice functions. The logic includes operators to capture strategic ability, and operators to capture agent prefere...
TABLEAUX
2009
Springer
14 years 6 months ago
2009
Springer
This paper presents a method for synthesising sound and complete tableau calculi. Given a specification of the formal semantics of a logic, the method generates a set of tableau i...
TABLEAUX
2009
Springer
14 years 6 months ago
2009
Springer
We see cut-free sequent systems for the basic normal modal logics formed by any combination the axioms d, t, b, 4, 5. These systems are modular in the sense that each axiom has a c...
TABLEAUX
2009
Springer
14 years 6 months ago
2009
Springer
We present a terminating tableau calculus for graded hybrid logic with global modalities, reflexivity, transitivity and role hierarchies. Termination of the system is achieved thr...
TABLEAUX
2009
Springer
14 years 6 months ago
2009
Springer
We define a notion of formula schema handling arithmetic parameters, indexed propositional variables (e.g. Pi) and iterated conjunctions/disjunctions (e.g. Vn i=1 Pi, where n is a...
TABLEAUX
2009
Springer
14 years 6 months ago
2009
Springer
We are interested in automatically proving safety properties of infinite state systems. We present a technique for invariant synthesis which can be incorporated in backward reacha...
TABLEAUX
2009
Springer
14 years 6 months ago
2009
Springer
Abstract. The management of qualitative spatial information is an important research area in computer science and AI. Modal logic provides a natural framework for the formalization...