Journal of Logic, Language and Information 1 (3):203-233 (1992)
|Abstract||We introduce a methodology whereby an arbitrary logic system L can be enriched with temporal features to create a new system T(L). The new system is constructed by combining L with a pure propositional temporal logic T (such as linear temporal logic with Since and Until) in a special way. We refer to this method as adding a temporal dimension to L or just temporalising L. We show that the logic system T(L) preserves several properties of the original temporal logic like soundness, completeness, decidability, conservativeness and separation over linear flows of time. We then focus on the temporalisation of first-order logic, and a comparison is make with other first-order approaches to the handling of time.|
|Keywords||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
Marcelo Finger & Dov Gabbay (1996). Combining Temporal Logic Systems. Notre Dame Journal of Formal Logic 37 (2):204-232.
V. V. Rybakov (2005). Logical Consecutions in Discrete Linear Temporal Logic. Journal of Symbolic Logic 70 (4):1137 - 1149.
Takashi Yagisawa (2002). Primitive Worlds. Acta Analytica 17 (1):19-37.
D. M. Gabbay & G. Malod (2002). Naming Worlds in Modal and Temporal Logic. Journal of Logic, Language and Information 11 (1):29-65.
Mark Brown & Valentin Goranko (1999). An Extended Branching-Time Ockhamist Temporal Logic. Journal of Logic, Language and Information 8 (2):143-166.
Heinrich Wansing & Norihiro Kamide (2011). Synchronized Linear-Time Temporal Logic. Studia Logica 99 (1-3):365-388.
Joeri Engelfriet, Catholijn M. Jonker & Jan Treur (2002). Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic. Journal of Logic, Language and Information 11 (2):195-225.
Joshua Sack (2008). Temporal Languages for Epistemic Programs. Journal of Logic, Language and Information 17 (2).
Andrzej Indrzejczak (2003). A Labelled Natural Deduction System for Linear Temporal Logic. Studia Logica 75 (3):345 - 376.
Mark Reynolds (1996). Axiomatising First-Order Temporal Logic: Until and Since Over Linear Time. Studia Logica 57 (2-3):279 - 302.
Added to index2009-01-28
Total downloads12 ( #93,475 of 549,694 )
Recent downloads (6 months)1 ( #63,425 of 549,694 )
How can I increase my downloads?