| Publication | Date of Publication | Type |
|---|
| Polynomial-time checking of generalized Sahlqvist syntactic shape | 2024-11-18 | Paper |
| Non-distributive description logic | 2024-05-17 | Paper |
| Modal reduction principles: a parametric shift to graphs | 2024-05-06 | Paper |
| Algebraic proof theory for LE-logics | 2024-04-26 | Paper |
| Rough concepts | 2023-10-25 | Paper |
| Labelled calculi for the logics of rough concepts | 2023-08-17 | Paper |
| Labelled calculi for lattice-based modal logics | 2023-08-17 | Paper |
| Subordination algebras as semantic environment of input/output logic | 2023-06-02 | Paper |
| Linear Logic Properly Displayed | 2023-04-05 | Paper |
| Syntactic Completeness of Proper Display Calculi | 2022-12-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5869716 | 2022-09-28 | Paper |
| Non-normal modal logics and conditional logics: semantic analysis and proof theory | 2022-06-13 | Paper |
| Unified inverse correspondence for DLE-Logics | 2022-03-17 | Paper |
| Slanted Canonicity of Analytic Inductive Inequalities | 2022-02-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3384065 | 2021-12-14 | Paper |
| Non-distributive logics: from semantics to meaning | 2021-08-03 | Paper |
| Modelling socio-political competition | 2021-06-24 | Paper |
| First order logic properly displayed | 2021-05-14 | Paper |
| Semi De Morgan logic properly displayed | 2021-04-27 | Paper |
| Toward a Dempster-Shafer theory of concepts | 2020-10-22 | Paper |
| Non-normal logics: semantic analysis and proof theory (extended version) | 2020-09-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5119388 | 2020-09-04 | Paper |
| Non normal logics: semantic analysis and proof theory | 2020-03-04 | Paper |
| Modelling informational entropy | 2020-03-04 | Paper |
| Logics for rough concept analysis | 2020-01-14 | Paper |
| Probabilistic Epistemic Updates on Algebras | 2019-11-22 | Paper |
| Proper multi-type display calculi for rough algebras | 2019-11-13 | Paper |
| Bilattice logic properly displayed | 2019-10-16 | Paper |
| Residuation algebras with functional duals | 2019-09-27 | Paper |
| Algorithmic correspondence and canonicity for non-distributive logics | 2019-09-18 | Paper |
| The logic of vague categories | 2019-08-13 | Paper |
| Modelling competing theories | 2019-05-28 | Paper |
| Modelling informational entropy | 2019-03-29 | Paper |
| Non normal logics: semantic analysis and proof theory | 2019-03-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4625704 | 2019-02-25 | Paper |
| Unified correspondence as a proof-theoretic tool | 2019-01-31 | Paper |
| Logics for Rough Concept Analysis | 2018-11-17 | Paper |
| Software tool support for modular reasoning in modal logics of actions | 2018-10-04 | Paper |
| Goldblatt-Thomason for LE-logics | 2018-09-21 | Paper |
| Semi De Morgan logic properly displayed | 2018-09-20 | Paper |
| THE LOGIC OF RESOURCES AND CAPABILITIES | 2018-08-07 | Paper |
| Kleene algebras, adjunction and structural control | 2018-05-19 | Paper |
| Constructive canonicity for lattice-based fixed point logics | 2017-12-20 | Paper |
| Lattice logic properly displayed | 2017-12-20 | Paper |
| Multi-type display calculus for semi De Morgan logic | 2017-12-20 | Paper |
| Algebraic modal correspondence: Sahlqvist and beyond | 2017-08-31 | Paper |
| Sahlqvist theory for impossible worlds | 2017-05-17 | Paper |
| Jónsson-style canonicity for ALBA-inequalities | 2017-05-17 | Paper |
| Dual characterizations for finite lattices via correspondence theory for monotone modal logic | 2017-05-17 | Paper |
| A proof-theoretic semantic analysis of dynamic epistemic logic | 2017-01-31 | Paper |
| Multi-type display calculus for dynamic epistemic logic | 2017-01-31 | Paper |
| Multi-type display calculus for propositional dynamic logic | 2017-01-31 | Paper |
| Multi-type Sequent Calculi | 2016-09-17 | Paper |
| A Multi-type Calculus for Inquisitive Logic | 2016-09-09 | Paper |
| Categories: How I Learned to Stop Worrying and Love Two Sorts | 2016-09-09 | Paper |
| Algebraic modal correspondence: Sahlqvist and beyond | 2016-06-22 | Paper |
| Constructive Canonicity of Inductive Inequalities | 2016-03-28 | Paper |
| Sahlqvist via Translation | 2016-03-27 | Paper |
| An Abstract Algebraic Logic View on Judgment Aggregation | 2015-12-17 | Paper |
| Generalized Ultraproduct and Kirman-Sondermann Correspondence for Vote Abstention | 2015-12-17 | Paper |
| Probabilistic Epistemic Updates on Algebras | 2015-12-17 | Paper |
| Unified Correspondence | 2015-05-11 | Paper |
| Algorithmic correspondence for intuitionistic modal mu-calculus | 2014-12-16 | Paper |
| Proof systems for Moss' coalgebraic logic | 2014-08-27 | Paper |
| Algebraic semantics and model completeness for intuitionistic public announcement logic | 2014-01-24 | Paper |
| Epistemic updates on algebras | 2014-01-08 | Paper |
| Dynamic Epistemic Logic Displayed | 2013-11-06 | Paper |
| Coalgebras and modal expansions of logics | 2013-09-11 | Paper |
| Coalgebraic semantics for positive modal logic | 2013-08-23 | Paper |
| Abstract logics as dialgebras | 2013-08-15 | Paper |
| \(\Delta_1\)-completions of a poset. | 2013-03-20 | Paper |
| Relational representation of groupoid quantales | 2013-03-20 | Paper |
| Algorithmic correspondence and canonicity for distributive modal logic | 2012-04-13 | Paper |
| Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic | 2011-10-19 | Paper |
| Canonical extensions for congruential logics with the deduction theorem | 2011-08-26 | Paper |
| Groupoid quantales: A non-étale setting | 2011-05-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3086937 | 2011-03-30 | Paper |
| Topological groupoid quantales | 2010-12-01 | Paper |
| Coalgebra and Logic: A Brief Overview | 2010-11-11 | Paper |
| Nabla Algebras and Chu Spaces | 2009-03-10 | Paper |
| Referential semantics: duality and applications | 2008-02-15 | Paper |
| Canonical extensions and relational completeness of some substructural logics | 2006-01-16 | Paper |
| A coalgebraic view on positive modal logic | 2005-01-11 | Paper |
| Normal Gentzen deductions in the classical case | 2001-03-15 | Paper |
| Non-distributive description logic | N/A | Paper |
| Generating proof systems for three-valued propositional logics | N/A | Paper |
| Labelled calculi for lattice-based modal logics | N/A | Paper |
| Labelled calculi for the logics of rough concepts | N/A | Paper |
| Obligations and permissions on selfextensional logics | N/A | Paper |
| Obligations and permissions, algebraically | N/A | Paper |
| Unified inverse correspondence for LE-logics | N/A | Paper |
