Compactness in team semantics

DOI10.1002/MALQ.202200072MaRDI QIDQ6589156zbMATH OpenFDO

Authors Joni Puljujärvi, Davide Emilio Quadrellaro

Publication date 19 August 2024

Published in Mathematical Logic Quarterly (MLQ) (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1002/MALQ.202200072

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites work

• A double team semantics for generalized quantifiers
• COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES
• Compositional semantics for a language of imperfect information
• Dependence and independence
• Dependence logic. A new approach to independence friendly logic
• Expressing second-order sentences in intuitionistic dependence logic
• Finite partially-ordered quantification
• Finite Partially‐Ordered Quantifiers
• From IF to BI. A tale of dependence and separation
• scientific article; zbMATH DE number 6680142 (Why is no real title available?)
• scientific article; zbMATH DE number 3898274 (Why is no real title available?)
• 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
• Model theory.
• On definability in dependence logic
• On Extensions of Elementary Logic
• On strongly first-order dependencies
• Team Logic and Second-Order Logic

Cited in

(2)

• Axiomatizing modal inclusion logic and its variants
• On the model theory of second-order objects

This page was built for publication: Compactness in team semantics

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