Bohrer, Rose; Platzer, André Constructive game logic. (English) Zbl 1508.03065 Müller, Peter (ed.), Programming languages and systems. 29th European symposium on programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12075, 84-111 (2020). MSC: 03B70 68N30 91A80 PDFBibTeX XMLCite \textit{R. Bohrer} and \textit{A. Platzer}, Lect. Notes Comput. Sci. 12075, 84--111 (2020; Zbl 1508.03065) Full Text: DOI arXiv
van Benthem, Johan; Bezhanishvili, Nick; Enqvist, Sebastian A new game equivalence, its logic and algebra. (English) Zbl 1457.03046 J. Philos. Log. 48, No. 4, 649-684 (2019). MSC: 03B45 03B42 91A44 PDFBibTeX XMLCite \textit{J. van Benthem} et al., J. Philos. Log. 48, No. 4, 649--684 (2019; Zbl 1457.03046) Full Text: DOI
van Benthem, Johan; Bezhanishvili, Nick; Enqvist, Sebastian A propositional dynamic logic for instantial neighborhood semantics. (English) Zbl 07100700 Stud. Log. 107, No. 4, 719-751 (2019). MSC: 03B45 03B70 PDFBibTeX XMLCite \textit{J. van Benthem} et al., Stud. Log. 107, No. 4, 719--751 (2019; Zbl 07100700) Full Text: DOI
Klin, Bartek; Salamanca, Julian Iterated covariant powerset is not a monad. (English) Zbl 1528.18007 Staton, Sam (ed.), Proceedings of the 34th conference on the mathematical foundations of programming semantics (MFPS XXXIV), Dalhousie University, Halifax, Canada, June 6–9, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 341, 261-276 (2018). MSC: 18C15 18A99 PDFBibTeX XMLCite \textit{B. Klin} and \textit{J. Salamanca}, Electron. Notes Theor. Comput. Sci. 341, 261--276 (2018; Zbl 1528.18007) Full Text: DOI
van Benthem, Johan Computation as social agency: what, how and who. (English) Zbl 1395.68119 Inf. Comput. 261, Part 3, 519-535 (2018). MSC: 68Q01 03B42 68T27 91A80 91D30 PDFBibTeX XMLCite \textit{J. van Benthem}, Inf. Comput. 261, Part 3, 519--535 (2018; Zbl 1395.68119) Full Text: DOI Link