Expressive Logics for Coalgebras via Terminal Sequence Induction

Expressive Logics for Coalgebras via Terminal Sequence Induction (2002)

by Dirk Pattinson , D- Mnchen

Venue:	Notre Dame J. Formal Logic
Citations:	24 - 8 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Expressive Logics for Coalgebras via Terminal Sequence Induction	user correction - Legacy Corrections
AUTHOR NAME	Dirk Pattinson	SVM HeaderParse 0.1
AUTHOR AFFIL	Institut fr Informatik, LMU Mnchen	SVM HeaderParse 0.2
AUTHOR ADDR	Oettingenstrasse 67	SVM HeaderParse 0.1
AUTHOR NAME	D- Mnchen	SVM HeaderParse 0.1
AUTHOR AFFIL	; Technischer Bericht 0206, Institut fr Informatik, LMU Mnchen; Contents	SVM HeaderParse 0.2
ABSTRACT	This paper introduces the proof principle of terminal sequence induction and shows, how terminal sequence induction can be used to obtain expressiveness results for logics, interpreted over coalgebras.	user correction - Legacy Corrections
YEAR	2002	INFERENCE
VENUE	Notre Dame J. Formal Logic	INFERENCE
VENUE TYPE	JOURNAL	INFERENCE
PAGES	2004	INFERENCE
VOLUME	45	INFERENCE
CITATIONS	10 found	ParsCit 1.0