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 and the completeness of the modal -calculus

By Ambler S.   Kwiatkowska M.   Measor N.  

Theoretical Computer Science, Vol. 151, Iss. 1, 1995-11 ,pp. : 3-27

Elsevier

Access to resources Recommend Favorite

Translations between modal logics of reactive systems

By Laroussinie F.   Pinchinat S.   Schnoebelen P.  

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

Elsevier

Access to resources Recommend Favorite

A polynomial space construction of tree-like models for logics with local chains of modal connectives

By Demri S.  

Theoretical Computer Science, Vol. 300, Iss. 1, 2003-05 ,pp. : 235-258

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