MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Modal Logics are Coalgebraic." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

26 documents found, showing 1 through 10. Next 10 →

ATOM

Modal Logics for Coalgebras
by Ichiro Hasuo Department, Ichiro Hasuo — 2003
…Modal Logics for Coalgebras Ichiro HASUO # Department of Mathematical and Computing Sciences…
Add To MetaCart

Modal Logics are Coalgebraic
by Corina Cîrstea, Er Kurz, Dirk Pattinson, Yde Venema
…Modal Logics are Coalgebraic Corina Cîrstea 1 , Alexander Kurz 2 , Dirk Pattinson 3 , Lutz…
Add To MetaCart

Rank-1 modal logics are coalgebraic
by Lutz Schröder, Dirk Pattinson — 2007 — In STACS 2007, 24th Annual Symposium on Theoretical Aspects of Computer Science, Proceedings
…Rank-1 Modal Logics are Coalgebraic Lutz Schröder 1 and Dirk Pattinson 2 1 Department of Computer…
Cited by 5 (4 self) – Add To MetaCart

Towards a Duality Result in the Modal Logic of Coalgebras
by Bart Jacobs — 2000 — In Coalgebraic Methods in Computer Science, volume 33 of ENTCS
…Towards a Duality Result in the Modal Logic of Coalgebras Bart Jacobs Dep. Comp. Sci., Univ…
Cited by 15 (0 self) – Add To MetaCart

Coalgebras and Modal Logic
by Colebrs Nd Modl Loi, Alexander Kurz — 1998
… ..................................... 61 3.5 Notes ....................................... 63 Modal Logics for Coalgebras 65 4…
Add To MetaCart

Coalgebraic Modal Logic of Finite Rank
by A. Kurz, D. Pattinson, Alexander Kurz, Dirk Pattinson — 2002
… Coalgebraic modal logic of finite rank A. Kurz, D. Pattinson REPORT SEN-R0222 NOVEMSER 30, 2002 CWI…
Cited by 7 (3 self) – Add To MetaCart

Coalgebras and modal logics for parameterised endofunctors
by A. Kurz, D. Pattinson, Issn -x, Alexander Kurz, Dirk Pattinson — 2000
…Coalgebras and Modal Logic for Parameterised Endofunctor A. Kurz, D. Pattinson Software…
Cited by 3 (3 self) – Add To MetaCart

Coalgebraic modal logic: Soundness, completeness and decidability of local consequence
by Dirk Pattinson — 2002 — Theoret. Comput. Sci
…Coalgebraic Modal Logic: Soundness, Completeness and Decidability of Local Consequence Dirk…
Cited by 26 (10 self) – Add To MetaCart

Definability, Canonical Models, Compactness for Finitary Coalgebraic Modal Logic
by Alexander Kurz, Dirk Pattinson — 2002
…://www.elsevier.nl/locate/entcs/volume65.html 21 pages Denability, Canonical Models, Compactness for Finitary Coalgebraic Modal Logic…
Cited by 5 (3 self) – Add To MetaCart

On specification logics for algebra-coalgebra structures: Reconciling reachability
by Corina Cîrstea — 2002 — Proceedings of FoSSaCS 2002, volume 2303 of LNCS
… the expressiveness of modal logics for coalgebras in order to introduce a specification framework for coalgebraic…
Cited by 4 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB