Author: Kepser Stephan
Publisher: Springer Publishing Company
ISSN: 0925-8531
Source: Journal of Logic, Language and Information, Vol.13, Iss.4, 2004-03, pp. : 457-470
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
Relations in Monadic Third-Order Logic
By Hazen A.P.
Journal of Philosophical Logic, Vol. 26, Iss. 6, 1997-12 ,pp. :
Expressing Second-order Sentences in Intuitionistic Dependence Logic
By Yang Fan
Studia Logica, Vol. 101, Iss. 2, 2013-04 ,pp. :
First- and Second-Order Logic of Mass Terms
By Roeper Peter
Journal of Philosophical Logic, Vol. 33, Iss. 3, 2004-06 ,pp. :
Axiomatising First-Order Temporal Logic: Until and Since over Linear Time
By Reynolds M.
Studia Logica, Vol. 57, Iss. 2-3, 1996-10 ,pp. :