Translations between modal logics of reactive systems

Author： Laroussinie F. Pinchinat S. Schnoebelen P.

Publisher： Elsevier

ISSN： 0304-3975

Source： Theoretical Computer Science, Vol.140, Iss.1, 1995-03, pp. : 53-71

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

Combinations of Modal Logics

By Bennett B.

Artificial Intelligence Review, Vol. 17, Iss. 1, 2002-03 ,pp. : 1-20

Springer Publishing Company

Access to resources Recommend Favorite

Duality for modal -logics

By Hartonas C.

Theoretical Computer Science, Vol. 202, Iss. 1, 1998-07 ,pp. : 193-222

Elsevier

Access to resources Recommend Favorite

On the Relationship Between BDI Logics and Standard Logics of Concurrency

By Schild K.

Autonomous Agents and Multi-Agent Systems, Vol. 3, Iss. 3, 2000-09 ,pp. : 259-283

Springer Publishing Company

Access to resources Recommend Favorite

Logics for constructing generative art systems

By Edmonds Ernest

Digital Creativity, Vol. 14, Iss. 1, 2003-03 ,pp. : 23-28

Routledge Ltd

Access to resources Recommend Favorite

Weighted modal transition systems

By Bauer Sebastian Fahrenberg Uli Juhl Line Larsen Kim Legay Axel Thrane Claus

Formal Methods in System Design, Vol. 42, Iss. 2, 2013-04 ,pp. : 193-220

Springer Publishing Company

Access to resources Recommend Favorite