159
Voted
TABLEAUX
15 years 9 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...
126
Voted
TABLEAUX
15 years 9 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...
114
Voted
TABLEAUX
15 years 9 months ago
2007 Springer  125
Voted
TABLEAUX
15 years 9 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...
116
Voted
TABLEAUX
15 years 9 months ago
2007 Springer |
Artificial Intelligence