Haak, Anselm; Meier, Arne; Müller, Fabian; Vollmer, Heribert Enumerating teams in first-order team logics. (English) Zbl 07587335 Ann. Pure Appl. Logic 173, No. 10, Article ID 103163, 17 p. (2022). MSC: 03B70 05A15 68Q17 PDFBibTeX XMLCite \textit{A. Haak} et al., Ann. Pure Appl. Logic 173, No. 10, Article ID 103163, 17 p. (2022; Zbl 07587335) Full Text: DOI arXiv
Barbero, Fausto; Galliani, Pietro Embedding causal team languages into predicate logic. (English) Zbl 07587334 Ann. Pure Appl. Logic 173, No. 10, Article ID 103159, 42 p. (2022). MSC: 03C80 03B60 03B70 03B80 03B25 62-09 PDFBibTeX XMLCite \textit{F. Barbero} and \textit{P. Galliani}, Ann. Pure Appl. Logic 173, No. 10, Article ID 103159, 42 p. (2022; Zbl 07587334) Full Text: DOI
Punčochář, Vít Iterated team semantics for a hierarchy of informational types. (English) Zbl 07587333 Ann. Pure Appl. Logic 173, No. 10, Article ID 103156, 31 p. (2022). MSC: 03B60 PDFBibTeX XMLCite \textit{V. Punčochář}, Ann. Pure Appl. Logic 173, No. 10, Article ID 103156, 31 p. (2022; Zbl 07587333) Full Text: DOI
Wang, Haoyu; Wang, Yanjing; Wang, Yunsong Inquisitive logic as an epistemic logic of knowing how. (English) Zbl 07587332 Ann. Pure Appl. Logic 173, No. 10, Article ID 103145, 29 p. (2022). MSC: 03B55 03B45 03B42 03B20 03B60 PDFBibTeX XMLCite \textit{H. Wang} et al., Ann. Pure Appl. Logic 173, No. 10, Article ID 103145, 29 p. (2022; Zbl 07587332) Full Text: DOI arXiv
Quadrellaro, Davide Emilio On intermediate inquisitive and dependence logics: an algebraic study. (English) Zbl 07587331 Ann. Pure Appl. Logic 173, No. 10, Article ID 103143, 43 p. (2022). MSC: 03B60 03B55 03C05 03G10 06D20 08B05 PDFBibTeX XMLCite \textit{D. E. Quadrellaro}, Ann. Pure Appl. Logic 173, No. 10, Article ID 103143, 43 p. (2022; Zbl 07587331) Full Text: DOI arXiv
Rönnholm, Raine On definability of team relations with \(k\)-invariant atoms. (English) Zbl 07587330 Ann. Pure Appl. Logic 173, No. 10, Article ID 103136, 22 p. (2022). MSC: 03B15 03B70 03C13 03C52 03C80 PDFBibTeX XMLCite \textit{R. Rönnholm}, Ann. Pure Appl. Logic 173, No. 10, Article ID 103136, 22 p. (2022; Zbl 07587330) Full Text: DOI
Wilke, Richard On the Presburger fragment of logics with multiteam semantics. (English) Zbl 07587329 Ann. Pure Appl. Logic 173, No. 10, Article ID 103120, 15 p. (2022). MSC: 03B16 03B48 03B70 03C13 PDFBibTeX XMLCite \textit{R. Wilke}, Ann. Pure Appl. Logic 173, No. 10, Article ID 103120, 15 p. (2022; Zbl 07587329) Full Text: DOI
Hannula, Miika; Virtema, Jonni Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals. (English) Zbl 07587328 Ann. Pure Appl. Logic 173, No. 10, Article ID 103108, 30 p. (2022). MSC: 03B70 03B60 68Q19 03D15 68Q05 68T27 PDFBibTeX XMLCite \textit{M. Hannula} and \textit{J. Virtema}, Ann. Pure Appl. Logic 173, No. 10, Article ID 103108, 30 p. (2022; Zbl 07587328) Full Text: DOI
Hannula, Miika; Hirvonen, Minna; Kontinen, Juha On elementary logics for quantitative dependencies. (English) Zbl 07587327 Ann. Pure Appl. Logic 173, No. 10, Article ID 103104, 21 p. (2022). MSC: 03B60 03B70 03D15 68Q17 PDFBibTeX XMLCite \textit{M. Hannula} et al., Ann. Pure Appl. Logic 173, No. 10, Article ID 103104, 21 p. (2022; Zbl 07587327) Full Text: DOI arXiv
Albert, Rafael; Grädel, Erich Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence. (English) Zbl 1513.81002 Ann. Pure Appl. Logic 173, No. 10, Article ID 103088, 30 p. (2022). MSC: 81P10 81P13 81Q65 03B42 03B48 PDFBibTeX XMLCite \textit{R. Albert} and \textit{E. Grädel}, Ann. Pure Appl. Logic 173, No. 10, Article ID 103088, 30 p. (2022; Zbl 1513.81002) Full Text: DOI arXiv
Haase, Darion; Grädel, Erich; Wilke, Richard Separation logic and logics with team semantics. (English) Zbl 07587325 Ann. Pure Appl. Logic 173, No. 10, Article ID 103063, 13 p. (2022). MSC: 03B70 03B60 03C80 68Q60 PDFBibTeX XMLCite \textit{D. Haase} et al., Ann. Pure Appl. Logic 173, No. 10, Article ID 103063, 13 p. (2022; Zbl 07587325) Full Text: DOI