Logical operations and iterated infinitely deep languages (original) (raw)
Related papers
Logic and Games on Automatic Structures
Citeseer
General Logic Programs as Infinite Games
Games and Trees in Infinitary Logic: A Survey
Quantifiers: Logics, Models and Computation, 1995
Infinitary Logic and Inductive Definability over Finite Structures
Information and Computation, 1995
An Infinitary Model of Linear Logic
Lecture Notes in Computer Science, 2015
Generalized quantifiers and pebble games on finite structures
Annals of Pure and Applied Logic, 1995
Game Quantification on Automatic Structures and Hierarchical Model Checking Games
Computer Science Logic, 2006
A representation theorem for languages with generalized quantifiers through back-and-forth methods
Studia Logica, 1988
Definability and automorphisms in abstract logics
Archive for Mathematical Logic, 2004
Nondeterminacy and Recursion via Stacks and Games
Theoretical Computer Science, 1994
A definability theorem for first order logic
1997
Finite Presentations of Infinite Structures: Automata and Interpretations
Theory of Computing Systems, 2004
Chapter XVII: Set-Theoretic Definability of Logics
1985
Dominoes and the complexity of subclasses of logical theories
Annals of Pure and Applied Logic, 1989
Henkin quantifiers and the definability of truth
Journal of Philosophical Logic, 2000
Definability, automorphisms, and infinitary languages
Lecture Notes in Mathematics, 1968
First-Order Logic and Its Infinitary Quantifier Extensions over Countable Words
Fundamentals of Computation Theory, 2021
Communication, and concurrency with logic-based restriction inside a calculus of structures
2012
Strong equivalence of logic programs under the infinite-valued semantics
Information Processing Letters, 2009
A New Game Equivalence, its Logic and Algebra
Journal of Philosophical Logic
07441 Abstracts Collection--Algorithmic-Logical Theory of Infinite Structures}
A note on identity and higher-order quantification
Game-theoretic inductive definability
Annals of Pure and Applied Logic, 1993
On Non-Deterministic Quantification
Logica Universalis, 2014
Predicative Logic and Formal Arithmetic
Notre Dame Journal of Formal Logic, 1998
Quantifiers metamorphoses. Generalizations, variations, algorithmic semantics
The Poset of All Logics III: Finitely Presentable Logics
Studia Logica, 2020
On the construction of fully interpreted formal languages which posses their truth predicates
arXiv: Logic, 2015
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 1985
On the formal semantics of IF-like logics
Journal of Computer and System Sciences, 2010
An infinite-game semantics for well-founded negation in logic programming
Annals of Pure and Applied Logic, 2008