Connecting state-based and team-based inquisitive logic

DOI10.1093/LOGCOM/EXAG032MaRDI QIDQ7322994zbMATH OpenFDO

Authors Ivano A. Ciardelli, Simone Conti

Publication date 1 September 2026

Published in Journal of Logic and Computation (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1093/LOGCOM/EXAG032

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cites work

• Axiomatizing first-order consequences in dependence logic
• Coherence and computational complexity of quantifier-free dependence logic formulas
• Coherence in inquisitive first-order logic
• COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES
• Completeness for the classical antecedent fragment of inquisitive first-order logic
• Compositional semantics for a language of imperfect information
• Dependence and independence
• Dependence logic. A new approach to independence friendly logic
• Dependency as question entailment
• Describing neighborhoods in inquisitive modal logic
• GAMES AND CARDINALITIES IN INQUISITIVE FIRST-ORDER LOGIC
• Global supervenience in inquisitive modal logic
• Hierarchies in Dependence Logic
• scientific article; zbMATH DE number 1086489 (Why is no real title available?)
• Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
• INQUISITIVE BISIMULATION
• Inquisitive dynamic epistemic logic
• Inquisitive Logic
• Negation and partial axiomatizations of dependence and independence logic revisited
• On definability in dependence logic
• Propositional logics of dependence
• Questions and dependency in intuitionistic logic

This page was built for publication: Connecting state-based and team-based inquisitive logic

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