Catalogo Articoli (Spogli Riviste)
OPAC HELP
Titolo: Coalgebraic logic
Autore: Moss, LS;
 Indirizzi:
 Indiana Univ, Dept Math, Bloomington, IN 47405 USA Indiana Univ Bloomington IN USA 47405 ept Math, Bloomington, IN 47405 USA
 Titolo Testata:
 ANNALS OF PURE AND APPLIED LOGIC
fascicolo: 13,
volume: 96,
anno: 1999,
pagine: 277  317
 SICI:
 01680072(19990301)96:13<277:CL>2.0.ZU;2G
 Fonte:
 ISI
 Lingua:
 ENG
 Keywords:
 infinitary modal logic; characterization theorem; functor on sets; coalgebra; greatest fixed point;
 Tipo documento:
 Article
 Natura:
 Periodico
 Settore Disciplinare:
 Physical, Chemical & Earth Sciences
 Citazioni:
 23
 Recensione:
 Indirizzi per estratti:
 Indirizzo: Moss, LS Indiana Univ, Dept Math, Bloomington, IN 47405 USA Indiana Univ Bloomington IN USA 47405 Bloomington, IN 47405 USA



 Citazione:
 L.S. Moss, "Coalgebraic logic", ANN PUR APP, 96(13), 1999, pp. 277317
Abstract
We present a generalization of modal logic to logics which are interpretedon coalgebras of functors on sets. The leading idea is that infinitary modal logic contains characterizing formulas. That is, every modelworld pair is characterized up to bisimulation by an infinitary formula. The point of our generalization is to understand this on a deeper level. We do this by studying a fragment of infinitary modal logic which contains the characterizing formulas and is closed under infinitary conjunction and an operation called Delta. This fragment generalizes to a wide range of coalgebraic logics. Each coalgebraic logic is determined by a functor on sets satisfying a few properties, and the formulas of each logic are interpreted on coalgebras of that functor. Among the logics obtained are the fragment of infinitary modal logic mentioned above as well as versions of natural logics associatedwith various classes of transition systems, including probabilistic transition systems. For most of the interesting cases, there is a characterization result for the coalgebraic logic determined by a given functor. We then apply the characterization result to get representation theorems for final coalgebras in terms of maximal elements of ordered algebras. The end result is that the formulas of coalgebraic logics can be viewed as approximations to the elements of a final coalgebra. (C) 1999 Elsevier Science B.V. All rights reserved.
ASDD Area Sistemi Dipartimentali e Documentali, Università di Bologna, Catalogo delle riviste ed altri periodici
Documento generato il 21/09/20 alle ore 09:34:42