Author： Degtyarev A. Fisher M. Lisitsa A.
Publisher： Springer Publishing Company
ISSN： 0039-3215
Source： Studia Logica, Vol.72, Iss.2, 2002-11, pp. : 147-156
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
Axiomatising First-Order Temporal Logic: Until and Since over Linear Time
By Reynolds M.
Studia Logica, Vol. 57, Iss. 2-3, 1996-10 ,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. :