Two strong undefinability results in inquisitive and team semantics
Fausto Barbero
TL;DR
This paper establishes two significant undefinability results in inquisitive and team semantics, demonstrating limits of expressiveness in extended propositional logics related to intuitionistic implication and global disjunction.
Contribution
It introduces two strong undefinability theorems for extended propositional inquisitive and dependence logics, highlighting their expressive boundaries.
Findings
Intuitionistic implication is undefinable in extended propositional inquisitive logic with tensor.
Global disjunction is undefinable in extended propositional dependence logic.
The results clarify the expressive limitations of these extended logics.
Abstract
We prove two (strong) undefinability results for logics based on inquisitive semantics (or its variant, team semantics). Namely: 1) we show the undefinability of intuitionistic implication in extended propositional inquisitive logic with tensor; 2) we show the undefinability of global disjunction in extended propositional dependence logic.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsSemantic Web and Ontologies · Logic, Reasoning, and Knowledge · Multi-Agent Systems and Negotiation