Back to matchesWe found a matchYour institution may have access to this item. Find your institution then sign in to continue.TitleA note on unbounded metric temporal logic over dense time domains.AuthorsBaratella, Stefano; Masini, AndreaAbstractWe investigate the consequences of removing the infinitary axiom and rules from a previously defined proof system for a fragment of propositional metric temporal logic over dense time (see [1]). (© 2006 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)SubjectsTIME-domain analysis; MATHEMATICAL logic; CALCULUS; ALGEBRAIC logic; FUNCTIONAL analysis; AXIOMATIC set theory; FOUNDATIONS of mathematical analysisPublicationMathematical Logic Quarterly, 2006, Vol 52, Issue 5, p450ISSN0942-5616Publication typeArticleDOI10.1002/malq.200510043