381 search results - page 14 / 77 » Tableaux for Acceptance Logic |
112
Voted
JAPLL
2010
14 years 8 months ago
2010
We present a decision procedure for hybrid logic equipped with nominals, the satisfaction operator and existential, difference, converse, reflexive, symmetric and transitive modal...
TABLEAUX
2005
Springer
15 years 7 months ago
2005
Springer
We present a sound and complete tableau calculus for the class of regular grammar logics. Our tableau rules use a special feature called automaton-labelled formulae, which are simi...
143
click to vote
TABLEAUX
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Bi-intuitionistic logic is a conservative extension of intuitionistic logic with a connective dual to implication, called exclusion. We present a sound and complete cut-f...
128
click to vote
TABLEAUX
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. In this paper we present a labelled proof method for computing nonmonotonic consequence relations in a conditional logic setting. The method is based on the usual possibl...
103
click to vote
TABLEAUX
2000
Springer
15 years 5 months ago
2000
Springer
Two things are done in this paper. First, a modal logic in which one can quantify over both objects and concepts is presented; a semantics and a tableau system are given. It is a n...