Completeness of the finitary Moss logic

Open Access
Authors
Publication date 2008
Host editors
  • C. Areces
  • R. Goldblatt
Book title Advances in Modal Logic 7
ISBN
  • 9781904987680
Event Advances in Modal Logic 2008 (AiML-2008), Nancy, France
Pages (from-to) 193-217
Publisher London: College Publications
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Abstract We give a sound and complete derivation system for the valid formulas in the finitary version of Moss' coalgebraic logic, for coalgebras of arbitrary type.
Document type Conference contribution
Language English
Published at http://www.aiml.net/volumes/volume7/Kupke-Kurz-Venema.pdf
Downloads
299310.pdf (Final published version)
Permalink to this page
Back