381 search results - page 3 / 77 » Tableaux for Acceptance Logic |
TABLEAUX
1997
Springer
15 years 3 months ago
1997
Springer
We present a Prolog program that implements a sound and complete theorem prover for first-order intuitionistic logic. It is based on free-variable semantic tableaux extended by an...
112
click to vote
CAV
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. Temporal logic is popular for specifying correctness properties of reactive systems. Real-time temporal logics add the ability to express quantitative timing aspects. Tab...
KR
1998
Springer
15 years 3 months ago
1998
Springer
Description Logics form a family of formalisms closely related to semantic networks but with the distinguishing characteristic that the semantics of the concept description langua...
CADE
2008
Springer
15 years 12 months ago
2008
Springer
Abstract. We implement an algorithm for extracting appropriate collections of classic-like sound and complete tableaux rules for a large class of finite-valued logics. Its output c...
CADE
1992
Springer
15 years 3 months ago
1992
Springer
Tableau