| Publication | Date of Publication | Type |
|---|
Lewisian fixed points. I: Two incomparable constructions
| 2024-10-01 | Paper |
An algebraic glimpse at bunched implications and separation logic
Outstanding Contributions to Logic | 2024-03-25 | Paper |
Guard your daggers and traces: on the equational properties of guarded (co-)recursion
| 2021-06-10 | Paper |
G\"{o}del-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication
| 2021-05-05 | Paper |
Cheap CTL compassion in NuSMV
| 2020-08-05 | Paper |
scientific article; zbMATH DE number 7204446 (Why is no real title available?)
| 2020-05-26 | Paper |
COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS
The Review of Symbolic Logic | 2019-10-30 | Paper |
One modal logic to rule them all?
| 2019-07-24 | Paper |
Infinite populations, choice and determinacy
Studia Logica | 2018-10-31 | Paper |
Model theory and proof theory of coalgebraic predicate logic
| 2018-04-25 | Paper |
Lewis meets Brouwer: constructive strict implication
Indagationes Mathematicae. New Series | 2018-01-12 | Paper |
Guard your daggers and traces: properties of guarded (co-)recursion
Fundamenta Informaticae | 2017-11-10 | Paper |
A van Benthem/Rosen theorem for coalgebraic predicate logic
Journal Of Logic And Computation | 2017-05-17 | Paper |
Relational lattices: from databases to universal algebra
Journal of Logical and Algebraic Methods in Programming | 2016-06-22 | Paper |
Constructive modalities with provability smack
Leo Esakia on Duality in Modal and Intuitionistic Logics | 2015-06-19 | Paper |
The non-reflexive counterpart of Grz
| 2014-04-23 | Paper |
Relational Lattices
Relational and Algebraic Methods in Computer Science | 2014-04-16 | Paper |
Topological perspective on the hybrid proof rules
Electronic Notes in Theoretical Computer Science | 2013-12-20 | Paper |
Coalgebraic predicate logic: equipollence results and proof theory
Logic, Language, and Computation | 2013-04-12 | Paper |
Coalgebraic predicate logic
Automata, Languages, and Programming | 2012-11-01 | Paper |
Some modal aspects of XPath
Journal of Applied Non-Classical Logics | 2012-07-17 | Paper |
Stone Duality for Nominal Boolean Algebras with И
Algebra and Coalgebra in Computer Science | 2011-09-02 | Paper |
Complete axiomatizations for XPath fragments
Journal of Applied Logic | 2010-06-11 | Paper |
Completions of GBL-algebras: negative results
Algebra Universalis | 2009-01-29 | Paper |
Stability of the Blok theorem
Algebra Universalis | 2009-01-29 | Paper |
Isomorphism via translation
| 2008-07-01 | Paper |
Algebraization of Hybrid Logic with Binders
Relations and Kleene Algebra in Computer Science | 2008-04-24 | Paper |
scientific article; zbMATH DE number 5046360 (Why is no real title available?)
| 2006-08-15 | Paper |
All finitely axiomatizable tense logics of linear time flows are coNP-complete
Studia Logica | 2006-03-17 | Paper |
scientific article; zbMATH DE number 2114313 (Why is no real title available?)
| 2004-11-05 | Paper |
Modal incompleteness revisited
Studia Logica | 2004-08-06 | Paper |
scientific article; zbMATH DE number 1916522 (Why is no real title available?)
| 2004-03-01 | Paper |
"Lewis and Brouwer meet Strong L\""ob"
| N/A | Paper |
