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: 1-3, volume: 96, anno: 1999,
pagine: 277 - 317
SICI:
0168-0072(19990301)96:1-3<277:CL>2.0.ZU;2-G
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(1-3), 1999, pp. 277-317

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 model-world 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 23/10/20 alle ore 08:10:13