Author: Nowack Antje
Publisher: Springer Publishing Company
ISSN: 0925-8531
Source: Journal of Logic, Language and Information, Vol.14, Iss.3, 2005-06, pp. : 345-368
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
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. :
The European Legacy, Vol. 18, Iss. 3, 2013-06 ,pp. :