381 search results - page 3 / 77 » Tableaux for Acceptance Logic |
TABLEAUX
1997
Springer
14 years 23 days 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...
CAV
2003
Springer
14 years 9 days 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
14 years 26 days 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
14 years 9 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
14 years 22 days ago
1992
Springer
Tableau