Author： Reynolds M.
Publisher： Springer Publishing Company
ISSN： 0039-3215
Source： Studia Logica, Vol.57, Iss.2-3, 1996-10, pp. : 279-302
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
Equality and Monodic First-Order Temporal Logic
By Degtyarev A. Fisher M. Lisitsa A.
Studia Logica, Vol. 72, Iss. 2, 2002-11 ,pp. :
Access to resources
Recommend
First-Order Classical Modal Logic
By Arló-Costa Horacio Pacuit Eric
Studia Logica, Vol. 84, Iss. 2, 2006-11 ,pp. :
Natural Deduction for First-Order Hybrid Logic
Journal of Logic, Language and Information, Vol. 14, Iss. 2, 2005-03 ,pp. :
On bracketing names and quantifiers in first-order logic
By Pasniczek J.
History and Philosophy of Logic, Vol. 20, Iss. 3-4, 1999-10 ,pp. :