159
click to vote
TABLEAUX
15 years 10 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...
127
click to vote
TABLEAUX
15 years 10 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...
129
click to vote
TABLEAUX
15 years 10 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...
|
Artificial Intelligence