GAMES AND CARDINALITIES IN INQUISITIVE FIRST-ORDER LOGIC

DOI10.1017/S1755020321000198OpenAlexW3155295210MaRDI QIDQ5880428

Gianluca Grilletti, Ivano A. Ciardelli

Publication date: 2 March 2023

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1755020321000198

zbMATH Keywords

quantificationinquisitive logiccardinality quantifiersEhrenfeucht-Fraïssé gamesgenerazlized quantifiers

Mathematics Subject Classification ID

Games involving topology, set theory, or logic (91A44) Other nonclassical logic (03B60) Logic of natural languages (03B65)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Weak negation in inquisitive semantics
• A generalization of inquisitive semantics
• Algebraic foundations for the semantic treatment of inquisitive content
• Inquisitive logic
• Upper and lower bounds for first order expressibility
• Propositional inquisitive logic: a survey
• Questions as information types
• Generalized quantifiers and pebble games on finite structures
• Disjunction and existence properties in inquisitive first-order logic
• A Multi-type Calculus for Inquisitive Logic
• On a generalization of quantifiers
• Back and Forth Between First-Order Kripke Models
• Monadic generalized spectra
• Inquisitive Semantics
• Submodels of Kripke models

This page was built for publication: GAMES AND CARDINALITIES IN INQUISITIVE FIRST-ORDER LOGIC