Coherence in inquisitive first-order logic

&
Annals of Pure and Applied Logic 173 (9):103155 (2022)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2022.103155

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,963

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Games and Cardinalities in Inquisitive First-Order Logic.Gianluca Grilletti & Ivano Ciardelli - 2023 - Review of Symbolic Logic 16 (1):241-267.
Disjunction and Existence Properties in Inquisitive First-Order Logic.Gianluca Grilletti - 2019 - Studia Logica 107 (6):1199-1234.
Disjunction and Existence Properties in Inquisitive First-Order Logic.Gianluca Grilletti - 2019 - Studia Logica 107 (6):1199-1234.
Inquisitive Logic.Ivano Ciardelli & Floris Roelofsen - 2011 - Journal of Philosophical Logic 40 (1):55-94.
Inquisitive bisimulation.Ivano Ciardelli & Martin Otto - 2021 - Journal of Symbolic Logic 86 (1):77-109.
Completeness for the Classical Antecedent Fragment of Inquisitive First-Order Logic.Gianluca Grilletti - 2021 - Journal of Logic, Language and Information 30 (4):725-751.
A First-order Inquisitive Semantics.Ivano Ciardelli - 2010 - In Maria Aloni, Harald Bastiaanse, Tikitu Jager & Katrin Schulz (eds.), Logic, Language, and Meaning: Selected Papers From the Seventeenth Amsterdam Colloquium. Springer. pp. 234–243.
Inquisitive Intuitionistic Logic.Wesley H. Holliday - 2020 - In Nicola Olivetti & Rineke Verbrugge (eds.), Advances in Modal Logic, Vol. 11. College Publications. pp. 329-348.
Algebraic and topological semantics for inquisitive logic via choice-free duality.Nick Bezhanishvili, Gianluca Grilletti & Wesley H. Holliday - 2019 - In Rosalie Iemhoff, Michael Moortgat & Ruy de Queiroz (eds.), Logic, Language, Information, and Computation. WoLLIC 2019. Lecture Notes in Computer Science, Vol. 11541. Springer. pp. 35-52.
Questions and Dependency in Intuitionistic Logic.Ivano Ciardelli, Rosalie Iemhoff & Fan Yang - 2020 - Notre Dame Journal of Formal Logic 61 (1):75-115.
A Generalization of Inquisitive Semantics.Vít Punčochář - 2016 - Journal of Philosophical Logic 45 (4):399-428.
Modalities in the Realm of Questions: Axiomatizing Inquisitive Epistemic Logic.Ivano Ciardelli - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 94-113.
Weak Negation in Inquisitive Semantics.Vít Punčochář - 2015 - Journal of Logic, Language and Information 24 (3):323-355.
Proof-Theoretic Semantics and Inquisitive Logic.Will Stafford - 2021 - Journal of Philosophical Logic 50 (5):1199-1229.
Inquisitive Heyting Algebras.Vít Punčochář - 2021 - Studia Logica 109 (5):995-1017.

Analytics

Added to PP
2022-06-24

Downloads
32 (#500,226)

6 months
13 (#195,076)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

Compositional semantics for a language of imperfect information.W. Hodges - 1997 - Logic Journal of the IGPL 5 (4):539-563.
Dependence and Independence.Erich Grädel & Jouko Väänänen - 2013 - Studia Logica 101 (2):399-410.
Inquisitive Logic.Ivano Ciardelli & Floris Roelofsen - 2011 - Journal of Philosophical Logic 40 (1):55-94.

View all 14 references / Add more references