Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study

E-ISSN： 1290-385x|35|1|31-59

ISSN： 0988-3754

Source： RAIRO - Theoretical Informatics and Applications, Vol.35, Iss.1, 2010-03, pp. : 31-59

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Inf-datalog, Modal Logic and Complexities

By Foustoucos Eugénie Guessarian Irène

RAIRO - Theoretical Informatics and Applications, Vol. 43, Iss. 1, 2007-12 ,pp. : 1-21

Edp Sciences

Access to resources Recommend Favorite

Development of a multi-modal noise model

By Fleming Gregg G. Boeker Eric R.

INTER-NOISE and NOISE-CON Congress and Conference Proceedings, Vol. 2003, Iss. 1, 2003-06 ,pp. : 599-602

Institute of Noise Control Engineering

Access to resources Recommend Favorite

A Coalgebraic Semantics of Subtyping

By Poll Erik

RAIRO - Theoretical Informatics and Applications, Vol. 35, Iss. 1, 2010-03 ,pp. : 61-81

Edp Sciences

Access to resources Recommend Favorite

A Measure-Theoretic Model for Collective Cell Migration and Aggregation

Mathematical Modelling of Natural Phenomena , Vol. 10, Iss. 1, 2014-12 ,pp. : 4-35

Edp Sciences

Access to resources Recommend Favorite

An automata-theoretic approach to the study of the intersection of two submonoids of a free monoid

By Giambruno Laura Restivo Antonio

RAIRO - Theoretical Informatics and Applications, Vol. 42, Iss. 3, 2008-06 ,pp. : 503-524

Edp Sciences

Access to resources Recommend Favorite