9 search results - page 1 / 2 » Automated Synthesis of Tableau Calculi |
TABLEAUX
2009
Springer
14 years 5 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...
ENTCS
2010
13 years 11 months ago
2010
This paper gives an overview of two methods for automatically or semi-automatically generating deduction calculi from the semantic specification of a logic. One approach is based ...
DLOG
2008
14 years 1 months ago
2008
LPAR
2001
Springer
14 years 3 months ago
2001
Springer
A simple model of dynamic databases is studied from a modal logic perspecitve. A state α of a database is an atomic update of a state β if at most one atomic statement is evaluat...
KR
2000
Springer
14 years 2 months ago
2000
Springer
Recent experimental results have shown that the strength of resolution, the propositional DPLL procedure, the KSAT procedure for description logics, or related tableau-like implem...