3515 search results - page 46 / 703 » On the semantics of Strategy Logic |
178
click to vote
TABLEAUX
1997
Springer
15 years 11 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...
196
click to vote
CADE
2010
Springer
15 years 8 months ago
2010
Springer
Coalgebraic description logics offer a common semantic umbrella for extensions of description logics with reasoning principles outside relational semantics, e.g. quantitative uncer...