Author： Demri Stéphane Nivelle Hans
Publisher： Springer Publishing Company
ISSN： 0925-8531
Source： Journal of Logic, Language and Information, Vol.14, Iss.3, 2005-06, pp. : 289-329
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
ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse
By Nguyen Linh
Studia Logica, Vol. 98, Iss. 3, 2011-08 ,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. :