Graduate studies at Western
Journal of Logic, Language and Information 13 (1):61-110 (2004)
|Abstract||We develop a variant of Least Fixed Point logic based on First Orderlogic with a relaxed version of guarded quantification. We develop aGame Theoretic Semantics of this logic, and find that under reasonableconditions, guarding quantification does not reduce the expressibilityof Least Fixed Point logic. But we also find that the guarded version ofa least fixed point algorithm may have a greater time complexity thanthe unguarded version, by a linear factor.|
|Keywords||game representations of logics game theoretic semantics guarded quantification least fixed point logic positive elementary induction|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Martin Otto (1996). The Expressive Power of Fixed-Point Logic with Counting. Journal of Symbolic Logic 61 (1):147-176.
Ian Hodkinson (2002). Loosely Guarded Fragment of First-Order Logic has the Finite Model Property. Studia Logica 70 (2):205 - 240.
Philip Kremer (2009). Comparing Fixed-Point and Revision Theories of Truth. Journal of Philosophical Logic 38 (4):363 - 403.
Dirk Leinders, Maarten Marx, Jerzy Tyszkiewicz & Jan Van den Bussche (2005). The Semijoin Algebra and the Guarded Fragment. Journal of Logic, Language and Information 14 (3):331-343.
Anuj Dawar & Yuri Gurevich (2002). Fixed Point Logics. Bulletin of Symbolic Logic 8 (1):65-88.
Johan van Benthem (2005). Guards, Bounds, and Generalized Semantics. Journal of Logic, Language and Information 14 (3):263-279.
Per Lindström (2006). Note on Some Fixed Point Constructions in Provability Logic. Journal of Philosophical Logic 35 (3):225 - 230.
Philip Kremer (2008). Supervaluation Fixed-Point Logics of Truth. Journal of Philosophical Logic 37 (5):407 - 440.
Max Kubierschky (2000). Yet Another Hierarchy Theorem. Journal of Symbolic Logic 65 (2):627-640.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Recent downloads (6 months)0
How can I increase my downloads?