Items where Author is "Enqvist, Sebastian"

Pre-print

PP-2017-04: Enqvist, Sebastian and Seifan, Fatemeh and Venema, Yde (2017) Completeness for mu-calculi: a coalgebraic approach. [Pre-print] (Unpublished)

PP-2017-05: Enqvist, Sebastian and Venema, Yde (2017) Disjunctive bases: normal forms for modal logics. [Pre-print] (Submitted)

PP-2020-08: Bezhanishvili, Nick and Enqvist, Sebastian and de Groot, Jim (2020) Duality for instantial neighbourhood logic via coalgebra. [Pre-print]

PP-2023-08: Afshari, Bahareh and Enqvist, Sebastian and Leigh, Graham E. (2023) Herbrand Schemes for Cyclic Proofs. [Pre-print]

PP-2023-07: Afshari, Bahareh and Enqvist, Sebastian and Leigh, Graham E. (2023) Herbrand Schemes for First-order Logic. [Pre-print] (Submitted)

PP-2017-23: van Benthem, Johan and Bezhanishvili, Nick and Enqvist, Sebastian (2017) IPDL: a new modal logic of computation. [Pre-print] (Submitted)

PP-2017-25: van Benthem, Johan and Bezhanishvili, Nick and Enqvist, Sebastian (2017) A New Game Equivalence and Its Modal Logic. [Pre-print]

PP-2023-03: Afshari, Bahareh and Enqvist, Sebastian and Leigh, Graham E. and Marti, Johannes and Venema, Yde (2023) Proof Systems for Two-way Modal mu-Calculus. [Pre-print] (Submitted)

PP-2018-06: van Benthem, Johan and Bezhanishvili, Nick and Enqvist, Sebastian (2018) A new game equivalence, its logic and algebra. [Pre-print]

PP-2018-01: van Benthem, Johan and Bezhanishvili, Nick and Enqvist, Sebastian (2018) A propositional dynamic logic for instantial neighborhood semantics. [Pre-print]

Report

PP-2016-33: Enqvist, Sebastian and Seifan, Fatemeh and Venema, Yde (2016) Completeness for the modal mu-calculus: separating the combinatorics from the dynamics. [Report]

PP-2016-33: Enqvist, Sebastian and Seifan, Fatemeh and Venema, Yde (2016) Completeness for the modal mu-calculus: separating the combinatorics from the dynamics. [Report]

X-2016-01: Ciná, Giovanni and Enqvist, Sebastian (2016) Bisimulation and path logic for sheaves: contextuality and beyond. [Report]

PP-2015-17: van Benthem, Johan and Bezhanishvili, Nick and Enqvist, Sebastian and Yu, Junhua (2015) Instantial neighbourhood logic. [Report]