A finite model construction for coalgebraic modal logic

From MaRDI portal
Publication:2643335

DOI10.1016/j.jlap.2006.11.004zbMath1127.03014OpenAlexW2142018979MaRDI QIDQ2643335

Lutz Schröder

Publication date: 23 August 2007

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2006.11.004




Related Items (12)


Uses Software


Cites Work


This page was built for publication: A finite model construction for coalgebraic modal logic