Author： Mayer Marta Limongelli Carla Orlandini Andrea Poggioni Valentina
Publisher： Springer Publishing Company
ISSN： 0925-8531
Source： Journal of Logic, Language and Information, Vol.16, Iss.1, 2007-01, pp. : 63-89
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
A Labelled Natural Deduction System for Linear Temporal Logic
Studia Logica, Vol. 75, Iss. 3, 2003-12 ,pp. :
Access to resources
Recommend
Axiomatising First-Order Temporal Logic: Until and Since over Linear Time
By Reynolds M.
Studia Logica, Vol. 57, Iss. 2-3, 1996-10 ,pp. :
Logic Semantics with the Potential Infinite
History and Philosophy of Logic, Vol. 31, Iss. 2, 2010-05 ,pp. :
Probability Semantics for Quantifier Logic
By Hailperin T.
Journal of Philosophical Logic, Vol. 29, Iss. 2, 2000-04 ,pp. :
Semantics for the Logic of Essence
By Fine K.
Journal of Philosophical Logic, Vol. 29, Iss. 6, 2000-12 ,pp. :