Ultraproducts and possible worlds semantics in institutions

Diaconescu, R; Stefaneas, P

dc.contributor.author	Diaconescu, R	en
dc.contributor.author	Stefaneas, P	en
dc.date.accessioned	2014-03-01T01:27:32Z
dc.date.available	2014-03-01T01:27:32Z
dc.date.issued	2007	en
dc.identifier.issn	0304-3975	en
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/18492
dc.subject	Institutions	en
dc.subject	Kripke models	en
dc.subject	Modal logic	en
dc.subject	Possible worlds	en
dc.subject	Ultraproducts	en
dc.subject.classification	Computer Science, Theory & Methods	en
dc.subject.other	Computer science	en
dc.subject.other	Formal logic	en
dc.subject.other	Information technology	en
dc.subject.other	Mathematical models	en
dc.subject.other	Modal analysis	en
dc.subject.other	Computing science	en
dc.subject.other	Kripke models	en
dc.subject.other	Logical systems	en
dc.subject.other	Modal logics	en
dc.subject.other	Semantics	en
dc.title	Ultraproducts and possible worlds semantics in institutions	en
heal.type	journalArticle	en
heal.identifier.primary	10.1016/j.tcs.2007.02.068	en
heal.identifier.secondary	http://dx.doi.org/10.1016/j.tcs.2007.02.068	en
heal.language	English	en
heal.publicationDate	2007	en
heal.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 Informatiae55 (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. (c) 2007 Elsevier B.V. All rights reserved.	en
heal.publisher	ELSEVIER SCIENCE BV	en
heal.journalName	Theoretical Computer Science	en
dc.identifier.doi	10.1016/j.tcs.2007.02.068	en
dc.identifier.isi	ISI:000247713400008	en
dc.identifier.volume	379	en
dc.identifier.issue	1-2	en
dc.identifier.spage	210	en
dc.identifier.epage	230	en