GAMES AND CARDINALITIES IN INQUISITIVE FIRST-ORDER LOGIC

DOI10.1017/S1755020321000198MaRDI QIDQ5880428zbMATH OpenOpenAlexFDO

Authors Gianluca Grilletti, Ivano A. Ciardelli

Publication date 2 March 2023

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

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

quantificationinquisitive logiccardinality quantifiersEhrenfeucht-Fraïssé gamesgenerazlized quantifiers

Mathematics Subject Classification ID

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

Recommendations

• An Ehrenfeucht-Fraïssé game for inquisitive first-order logic
• Disjunction and existence properties in inquisitive first-order logic
• Coherence in inquisitive first-order logic
• An extension of the Ehrenfeucht-Fraïssé game for first order logics augmented with Lindström quantifiers
• INQUISITIVE BISIMULATION

Cites work

• scientific article; zbMATH DE number 5853298 (Why is no real title available?)
• scientific article; zbMATH DE number 6003856 (Why is no real title available?)
• scientific article; zbMATH DE number 3115890 (Why is no real title available?)
• scientific article; zbMATH DE number 1007358 (Why is no real title available?)
• A Multi-type Calculus for Inquisitive Logic
• A generalization of inquisitive semantics
• Algebraic foundations for the semantic treatment of inquisitive content
• Back and Forth Between First-Order Kripke Models
• Disjunction and existence properties in inquisitive first-order logic
• Generalized quantifiers and pebble games on finite structures
• Inquisitive logic
• Inquisitive semantics
• Monadic generalized spectra
• On a generalization of quantifiers
• Propositional inquisitive logic: a survey
• Questions as information types
• Submodels of Kripke models
• Upper and lower bounds for first order expressibility
• Weak negation in inquisitive semantics

Cited in

(4)

• An Ehrenfeucht-Fraïssé game for inquisitive first-order logic
• Generalized quantifiers and pebble games on finite structures
• The Succinctness of First-order Logic over Modal Logic via a Formula Size Game
• Disjunction and existence properties in inquisitive first-order logic

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5880428)