| Publication | Date of Publication | Type |
|---|
| Choice-free topological duality for implicative lattices and Heyting algebras | 2024-01-04 | Paper |
| Duality for normal lattice expansions and sorted residuated frames with relations | 2023-02-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5100002 | 2022-08-26 | Paper |
| Stone duality for lattice expansions | 2022-08-10 | Paper |
| Duality for Normal Lattice Expansions and Sorted, Residuated Frames with Relations | 2021-10-13 | Paper |
| Reconciliation of Approaches to the Semantics of Logics without Distribution | 2021-09-23 | Paper |
| Reasoning with Incomplete Information in Generalized Galois Logics Without Distribution: The Case of Negation and Modal Operators | 2020-08-07 | Paper |
| Modal translation of substructural logics | 2020-02-24 | Paper |
| A Characterization Result for Non-Distributive Logics | 2020-01-01 | Paper |
| Game-theoretic semantics for non-distributive logics | 2019-11-04 | Paper |
| Representation of Lattices with Modal Operators in Two-Sorted Frames | 2019-06-14 | Paper |
| Duality results for (co)residuated lattices | 2019-05-31 | Paper |
| Lattice logic as a fragment of (2-sorted) residuated modal logic | 2019-05-28 | Paper |
| Discrete duality for lattices with modal operators | 2019-03-01 | Paper |
| Order-dual relational semantics for non-distributive propositional logics | 2019-01-08 | Paper |
| Modal and temporal extensions of non-distributive propositional logics | 2019-01-08 | Paper |
| Canonical extensions and Kripke-Galois semantics for non-distributive logics | 2018-12-12 | Paper |
| First-order frames for orthomodular quantum logic | 2018-09-12 | Paper |
| Order-dual relational semantics for non-distributive propositional logics: a general framework | 2018-03-01 | Paper |
| Reasoning about types of action and agent capabilities | 2015-02-27 | Paper |
| On the dynamic logic of agency and action | 2014-09-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4218935 | 1999-02-14 | Paper |
| Stone duality for lattices | 1998-11-23 | Paper |
| Full abstractness for a functional/concurrent language with higher-order value-passing | 1998-11-10 | Paper |
| Duality for modal \(\mu\)-logics | 1998-08-13 | Paper |
| A fixpoint approach to finite delay and fairness | 1998-08-13 | Paper |
| Semantics for finite delay | 1998-07-23 | Paper |
| An algebraic theory of structured objects | 1998-06-14 | Paper |
| Duality for lattice-ordered algebras and for normal algebraizable logics | 1998-05-10 | Paper |
| Pretopology semantics for bimodal intuitionistic linear logic | 1998-02-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5691489 | 1997-04-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4870814 | 1996-11-17 | Paper |
| On the Logic of Information Flow | 1996-02-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2751048 | 1996-01-01 | Paper |
| Choice-free Dualities for Lattice Expansions: Application to Logics with a Negation Operator | 0001-01-03 | Paper |
