GAMES AND CARDINALITIES IN INQUISITIVE FIRST-ORDER LOGIC
DOI10.1017/S1755020321000198OpenAlexW3155295210MaRDI QIDQ5880428FDOQ5880428
Authors: 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
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
quantificationinquisitive logiccardinality quantifiersEhrenfeucht-Fraïssé gamesgenerazlized quantifiers
Other nonclassical logic (03B60) Logic of natural languages (03B65) Games involving topology, set theory, or logic (91A44)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Submodels of Kripke models
- Inquisitive logic
- Title not available (Why is that?)
- On a generalization of quantifiers
- Monadic generalized spectra
- Weak negation in inquisitive semantics
- Inquisitive semantics
- Algebraic foundations for the semantic treatment of inquisitive content
- A generalization of inquisitive semantics
- Title not available (Why is that?)
- Generalized quantifiers and pebble games on finite structures
- Upper and lower bounds for first order expressibility
- Propositional inquisitive logic: a survey
- Questions as information types
- A Multi-type Calculus for Inquisitive Logic
- Back and Forth Between First-Order Kripke Models
- Disjunction and existence properties in inquisitive first-order logic
Cited In (3)
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)
