Model theory of monadic predicate logic with the infinity quantifier
From MaRDI portal
Publication:2144617
DOI10.1007/s00153-021-00797-0OpenAlexW3211223274WikidataQ114231463 ScholiaQ114231463MaRDI QIDQ2144617
Facundo Carreiro, Alessandro Facchini, Fabio Zanasi, Yde Venema
Publication date: 14 June 2022
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1809.03262
continuitypreservation theoreminfinity quantifiercharacterisation theoremgeneralised quantifiermonadic first-order logic
Logic with extra quantifiers and operators (03C80) Interpolation, preservation, definability (03C40)
Related Items (2)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- An interpolation theorem in the predicate calculus
- On extensions of \(L_{\omega\omega}(Q_1)\)
- Automata, logics, and infinite games. A guide to current research
- Directions in generalized quantifier theory
- Solvable cases of the decision problem
- On a generalization of quantifiers
- An application of games to the completeness problem for formalized theories
- Automata for the modal μ-calculus and related results
- DECOMPOSING GENERALIZED QUANTIFIERS
- Monadic second order logic on tree-like structures
- Weak MSO
- PDL Is the Bisimulation-Invariant Fragment of Weak Chain Logic
- Logical questions concerning the μ-calculus: Interpolation, Lyndon and Łoś-Tarski
- The Power of the Weak
- The characterization of monadic logic
- Expressiveness Modulo Bisimilarity: A Coalgebraic Perspective
- A Characterization Theorem for the Alternation-Free Fragment of the Modal µ-Calculus
- Finite Model Theory
- On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic
This page was built for publication: Model theory of monadic predicate logic with the infinity quantifier
