Author： Leinders Dirk Marx Maarten Tyszkiewicz Jerzy Bussche Jan
Publisher： Springer Publishing Company
ISSN： 0925-8531
Source： Journal of Logic, Language and Information, Vol.14, Iss.3, 2005-06, pp. : 331-343
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
A Guarded Fragment for Abstract State Machines
By Nowack Antje
Journal of Logic, Language and Information, Vol. 14, Iss. 3, 2005-06 ,pp. :
Access to resources
Recommend
Loosely Guarded Fragment of First-Order Logic has the Finite Model Property
By Hodkinson I.
Studia Logica, Vol. 70, Iss. 2, 2002-03 ,pp. :
Guarded Fragments with Constants
By Cate Balder Franceschet Massimo
Journal of Logic, Language and Information, Vol. 14, Iss. 3, 2005-06 ,pp. :
Interpolation and Definability in Guarded Fragments
Studia Logica, Vol. 70, Iss. 3, 2002-04 ,pp. :
By Jones H.
Phronesis: A Journal for Ancient Philosophy, Vol. 17, Iss. 2, 1972-01 ,pp. :