Wild, Paul; Schröder, Lutz A quantified coalgebraic van Benthem theorem. (English) Zbl 07410443 Kiefer, Stefan (ed.) et al., Foundations of software science and computation structures. 24th international conference, FOSSACS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12650, 551-571 (2021). MSC: 68Nxx 68Qxx PDFBibTeX XMLCite \textit{P. Wild} and \textit{L. Schröder}, Lect. Notes Comput. Sci. 12650, 551--571 (2021; Zbl 07410443) Full Text: DOI
Ciardelli, Ivano; Otto, Martin Inquisitive bisimulation. (English) Zbl 07370807 J. Symb. Log. 86, No. 1, 77-109 (2021). MSC: 03B45 03B42 03C13 03C80 03B70 PDFBibTeX XMLCite \textit{I. Ciardelli} and \textit{M. Otto}, J. Symb. Log. 86, No. 1, 77--109 (2021; Zbl 07370807) Full Text: DOI arXiv
Lück, Martin On the complexity of linear temporal logic with team semantics. (English) Zbl 1477.68165 Theor. Comput. Sci. 837, 1-25 (2020). Reviewer: Giacomo Lenzi (Fisciano) MSC: 68Q60 03B44 PDFBibTeX XMLCite \textit{M. Lück}, Theor. Comput. Sci. 837, 1--25 (2020; Zbl 1477.68165) Full Text: DOI arXiv
Ciardelli, Ivano; Iemhoff, Rosalie; Yang, Fan Questions and dependency in intuitionistic logic. (English) Zbl 1453.03025 Notre Dame J. Formal Logic 61, No. 1, 75-115 (2020). Reviewer: Yaroslav Shramko (Kryvyi Rih) MSC: 03B65 03B60 03B20 PDFBibTeX XMLCite \textit{I. Ciardelli} et al., Notre Dame J. Formal Logic 61, No. 1, 75--115 (2020; Zbl 1453.03025) Full Text: DOI arXiv Euclid Link
Sano, Katsuhiko; Virtema, Jonni Characterising modal definability of team-based logics via the universal modality. (English) Zbl 1471.03050 Ann. Pure Appl. Logic 170, No. 9, 1100-1127 (2019). Reviewer: Alexandre Costa-Leite (Brasília) MSC: 03B45 PDFBibTeX XMLCite \textit{K. Sano} and \textit{J. Virtema}, Ann. Pure Appl. Logic 170, No. 9, 1100--1127 (2019; Zbl 1471.03050) Full Text: DOI arXiv
Lück, Martin; Vilander, Miikka On the succinctness of atoms of dependency. (English) Zbl 1509.03082 Log. Methods Comput. Sci. 15, No. 3, Paper No. 17, 28 p. (2019). MSC: 03B60 03B45 03B70 68Q25 PDFBibTeX XMLCite \textit{M. Lück} and \textit{M. Vilander}, Log. Methods Comput. Sci. 15, No. 3, Paper No. 17, 28 p. (2019; Zbl 1509.03082) Full Text: arXiv
Lück, Martin Canonical models and the complexity of modal team logic. (English) Zbl 1515.03101 Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 30, 23 p. (2018). MSC: 03B45 03D15 68Q17 68Q60 PDFBibTeX XMLCite \textit{M. Lück}, LIPIcs -- Leibniz Int. Proc. Inform. 119, Article 30, 23 p. (2018; Zbl 1515.03101) Full Text: DOI
Goranko, Valentin; Kuusisto, Antti Logics for propositional determinacy and independence. (English) Zbl 1522.03051 Rev. Symb. Log. 11, No. 3, 470-506 (2018). MSC: 03B45 03B60 03B65 PDFBibTeX XMLCite \textit{V. Goranko} and \textit{A. Kuusisto}, Rev. Symb. Log. 11, No. 3, 470--506 (2018; Zbl 1522.03051) Full Text: DOI arXiv
Durand, Arnaud; Hannula, Miika; Kontinen, Juha; Meier, Arne; Virtema, Jonni Approximation and dependence via multiteam semantics. (English) Zbl 1459.03032 Ann. Math. Artif. Intell. 83, No. 3-4, 297-320 (2018). MSC: 03B70 03B60 68Q17 PDFBibTeX XMLCite \textit{A. Durand} et al., Ann. Math. Artif. Intell. 83, No. 3--4, 297--320 (2018; Zbl 1459.03032) Full Text: DOI Link
Lück, Martin Axiomatizations of team logics. (English) Zbl 1469.03085 Ann. Pure Appl. Logic 169, No. 9, 928-969 (2018). MSC: 03B60 03B45 PDFBibTeX XMLCite \textit{M. Lück}, Ann. Pure Appl. Logic 169, No. 9, 928--969 (2018; Zbl 1469.03085) Full Text: DOI arXiv
Virtema, Jonni Complexity of validity for propositional dependence logics. (English) Zbl 1362.68114 Inf. Comput. 253, Part 2, 224-236 (2017). MSC: 68Q25 03B45 03B70 68Q17 PDFBibTeX XMLCite \textit{J. Virtema}, Inf. Comput. 253, Part 2, 224--236 (2017; Zbl 1362.68114) Full Text: DOI
Durand, Arnaud; Kontinen, Juha; Vollmer, Heribert Expressivity and complexity of dependence logic. (English) Zbl 1429.03114 Abramsky, Samson (ed.) et al., Dependence logic. Theory and applications. Selected papers based on the presentations at the Dagstuhl seminar on ‘Dependence logic: theory and applications’, Wadern, Germany, February 2013. Basel: Birkhäuser/Springer. 5-32 (2016). MSC: 03B60 68Q17 68Q60 PDFBibTeX XMLCite \textit{A. Durand} et al., in: Dependence logic. Theory and applications. Selected papers based on the presentations at the Dagstuhl seminar on `Dependence logic: theory and applications', Wadern, Germany, February 2013. Basel: Birkhäuser/Springer. 5--32 (2016; Zbl 1429.03114) Full Text: DOI
Sano, Katsuhiko; Virtema, Jonni Characterizing relative frame definability in team semantics via the universal modality. (English) Zbl 1478.03041 Väänänen, Jouko (ed.) et al., Logic, language, information, and computation. 23rd international workshop, WoLLIC 2016, Puebla, Mexico, August 16–19th, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9803, 392-409 (2016). MSC: 03B45 PDFBibTeX XMLCite \textit{K. Sano} and \textit{J. Virtema}, Lect. Notes Comput. Sci. 9803, 392--409 (2016; Zbl 1478.03041) Full Text: DOI arXiv
Sano, Katsuhiko; Virtema, Jonni Characterizing frame definability in team semantics via the universal modality. (English) Zbl 1465.03063 Paiva, Valeria (ed.) et al., Logic, language, information, and computation. 22nd international workshop, WoLLIC 2015, Bloomington, IN, USA, July 20–23, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9160, 140-155 (2015). MSC: 03B45 PDFBibTeX XMLCite \textit{K. Sano} and \textit{J. Virtema}, Lect. Notes Comput. Sci. 9160, 140--155 (2015; Zbl 1465.03063) Full Text: DOI arXiv
Hannula, Miika; Kontinen, Juha; Virtema, Jonni; Vollmer, Heribert Complexity of propositional independence and inclusion logic. (English) Zbl 1465.68104 Italiano, F. (ed.) et al., Mathematical foundations of computer science 2015. 40th international symposium, MFCS 2015, Milan, Italy, August 24–28, 2015. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 9234, 269-280 (2015). MSC: 68Q25 03B70 68Q55 68Q60 PDFBibTeX XMLCite \textit{M. Hannula} et al., Lect. Notes Comput. Sci. 9234, 269--280 (2015; Zbl 1465.68104) Full Text: DOI arXiv