Back to Search
Start Over
Ultraproducts and possible worlds semantics in institutions
- Source :
-
Theoretical Computer Science . Jun2007, Vol. 379 Issue 1/2, p210-230. 21p. - Publication Year :
- 2007
-
Abstract
- Abstract: We develop possible worlds (Kripke) semantics at the categorical abstract model theoretic level provided by the so-called ‘institutions’. Our general abstract modal logic framework provides a method for systematic Kripke semantics extensions of logical systems from computing science and logic. We also extend the institution-independent method of ultraproducts of [R. Diaconescu, Institution-independent ultraproducts, Fundamenta Informaticæ 55 (3–4) (2003) 321–348] to possible worlds semantics and prove a fundamental preservation result for abstract modal satisfaction. As a consequence we develop a generic compactness result for possible worlds semantics. [Copyright &y& Elsevier]
- Subjects :
- *ULTRAPRODUCTS
*SEMANTICS
*LOGIC
*ABSTRACT thought
*COMPUTER science
Subjects
Details
- Language :
- English
- ISSN :
- 03043975
- Volume :
- 379
- Issue :
- 1/2
- Database :
- Academic Search Index
- Journal :
- Theoretical Computer Science
- Publication Type :
- Academic Journal
- Accession number :
- 25107544
- Full Text :
- https://doi.org/10.1016/j.tcs.2007.02.068