On the expressive power of inquisitive team logic and inquisitive first-order logic

Documenti analoghi

• Complexity of the Model Checking problem for inquisitive propositional and modal logic
  di: Grilletti, Gianluca, et al.
  Pubblicazione: (2024)
• On the expressive power of inquisitive epistemic logic
  di: Ciardelli, Ivano, et al.
  Pubblicazione: (2023)
• Inquisitive first-order logic is neither compact nor recursively axiomatizable
  di: Ciardelli, Ivano, et al.
  Pubblicazione: (2026)
• The flattening operator in team-based logics
  di: Durand, Arnaud, et al.
  Pubblicazione: (2025)
• On semantics of first-order justification logic with binding modalities
  di: Yavorskaya, Tatiana, et al.
  Pubblicazione: (2025)