Electronic Resource
Springer
Studia logica
47 (1988), S. 233-241
ISSN:
1572-8730
Source:
Springer Online Journal Archives 1860-2000
Topics:
Mathematics
,
Philosophy
Notes:
Abstract We prove a finite model theorem and infinitary completeness result for the propositional μ-calculus. The construction establishes a link between finite model theorems for propositional program logics and the theory of well-quasi-orders.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF00370554
|
Location |
Call Number |
Expected |
Availability |