118
click to vote
TABLEAUX
15 years 6 months ago
2007 Springer 
Abstract. Model checking is a technique for verifying that a finite-state concurrent system is correct with respect to its specification. In bounded model checking (BMC), the sys...
TABLEAUX
15 years 6 months ago
2007 Springer 
Public announcement logic is an extension of multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of agen...
TABLEAUX
15 years 6 months ago
2007 Springer  TABLEAUX
15 years 6 months ago
2007 Springer 
Subintuitionistic logics are a class of logics defined by using Kripke models with more general conditions than those for intuitionistic logic. In this paper we study predicate lo...
TABLEAUX
15 years 6 months ago
2007 Springer |
Artificial Intelligence