Model theory of monadic predicate logic with the infinity quantifier
type: Item
instance of: scholarly article
title: Model theory of monadic predicate logic with the infinity quantifier
author: Facundo Carreiro
author: Alessandro Facchini
author: Yde Venema
author: Fabio Zanasi
published in: Archive for Mathematical Logic
publication date: 2022-06-14T00:00:00Z
full work available at URL: https://arxiv.org/abs/1809.03262
Mathematics Subject Classification ID: 03C80
Mathematics Subject Classification ID: 03C40
zbMATH DE Number: 7541620
zbMATH Keywords: monadic first-order logic
zbMATH Keywords: generalised quantifier
zbMATH Keywords: infinity quantifier
zbMATH Keywords: characterisation theorem
zbMATH Keywords: preservation theorem
zbMATH Keywords: continuity
MaRDI profile type: Publication
OpenAlex ID: W3211223274
Wikidata QID: Q114231463
cites work: Solvable cases of the decision problem
cites work: Directions in generalized quantifier theory
cites work: On extensions of \(L_{\omega\omega}(Q_1)\)
cites work: PDL Is the Bisimulation-Invariant Fragment of Weak Chain Logic
cites work: Weak MSO
cites work: The Power of the Weak
cites work: Logical questions concerning the μ-calculus: Interpolation, Lyndon and Łoś-Tarski
cites work: Finite Model Theory
cites work: An application of games to the completeness problem for formalized theories
cites work: A Characterization Theorem for the Alternation-Free Fragment of the Modal &#x00B5;-Calculus
cites work: Q4603451
cites work: Automata, logics, and infinite games. A guide to current research
cites work: Q4003410
cites work: Automata for the modal μ-calculus and related results
cites work: On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic
cites work: Q4105652
cites work: Q3113046
cites work: An interpolation theorem in the predicate calculus
cites work: On a generalization of quantifiers
cites work: Q5591508
cites work: The characterization of monadic logic
cites work: Q4161292
cites work: Q4355676
cites work: Q3078324
cites work: Q3086936
cites work: Expressiveness Modulo Bisimilarity: A Coalgebraic Perspective
cites work: Monadic second order logic on tree-like structures
cites work: DECOMPOSING GENERALIZED QUANTIFIERS
DOI: 10.1007/S00153-021-00797-0
description: scientific article; zbMATH DE number 7541620