On translations of temporal logic of actions into monadic second-order logic

Publisher： Elsevier

ISSN： 0304-3975

Source： Theoretical Computer Science, Vol.193, Iss.1, 1998-02, pp. : 197-214

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

Monadic second-order logic on tree-like structures

By Walukiewicz I.

Theoretical Computer Science, Vol. 275, Iss. 1, 2002-03 ,pp. : 311-346

Elsevier

Access to resources Recommend Favorite

On the existence of a modal-logical basis for monadic second-order logic

By Hella Lauri Tulenheimo Tero

Journal of Logic and Computation, Vol. 23, Iss. 1, 2013-02 ,pp. : 157-180

Oxford University Press

Access to resources Recommend Favorite

The monadic second-order logic of graphs X: Linear orderings

By Courcelle B.

Theoretical Computer Science, Vol. 160, Iss. 1, 1996-06 ,pp. : 87-143

Elsevier

Access to resources Recommend Favorite

The monadic second-order logic of graphs IX: Machines and their behaviours

By Courcelle B.

Theoretical Computer Science, Vol. 151, Iss. 1, 1995-11 ,pp. : 125-162

Elsevier

Access to resources Recommend Favorite

The monadic second-order logic of graphs XII: planar graphs and planar maps

By Courcelle B.

Theoretical Computer Science, Vol. 237, Iss. 1, 2000-04 ,pp. : 1-32

Elsevier

Access to resources Recommend Favorite