PP-2004-21: Automata and Fixed Point Logic: a Coalgebraic Perspective

PP-2004-21: Venema, Yde (2004) Automata and Fixed Point Logic: a Coalgebraic Perspective. [Report]

[img]
Preview
Text (Full Text)
PP-2004-21.text.pdf

Download (353kB) | Preview
[img] Text (Abstract)
PP-2004-21.abstract.txt

Download (930B)

Abstract

This paper generalizes existing connections between automata and logic to a coalgebraic level. Let F be a standard endofunctor on Set that preserves weak pullbacks. We introduce various notions of F-automata, devices that operate on pointed F-coalgebras. The criterion under which such an automaton accepts or rejects a pointed coalgebra is formulated in terms of an infinite two-player graph game. We also introduce a language of coalgebraic fixed point logic for F-coalgebras, and we provide a game semantics for this language. Finally we show that any formula P of the language can be transformed into an F-automaton A(P) which is equivalent to P in the sense that A(P) accepts precisely those pointed F-coalgebras in which P holds.

Item Type: Report
Report Nr: PP-2004-21
Series Name: Prepublication (PP) Series
Year: 2004
Uncontrolled Keywords: coalgebra; automata; modal logic; fixed point operators; game semantics; bisimulation; parity games
Subjects: Logic
Depositing User: Yde Venema
Date Deposited: 12 Oct 2016 14:36
Last Modified: 12 Oct 2016 14:36
URI: https://eprints.illc.uva.nl/id/eprint/132

Actions (login required)

View Item View Item