| Publication | Date of Publication | Type |
|---|
Polynomial-time checking of generalized Sahlqvist syntactic shape
Theoretical Computer Science | 2024-11-18 | Paper |
| Non-distributive description logic | 2024-05-17 | Paper |
Modal reduction principles: a parametric shift to graphs
Journal of Applied Non-Classical Logics | 2024-05-06 | Paper |
Algebraic proof theory for LE-logics
ACM Transactions on Computational Logic | 2024-04-26 | Paper |
Rough concepts
Information Sciences | 2023-10-25 | Paper |
Labelled calculi for the logics of rough concepts
Logic and Its Applications | 2023-08-17 | Paper |
Labelled calculi for lattice-based modal logics
Logic and Its Applications | 2023-08-17 | Paper |
Subordination algebras as semantic environment of input/output logic
Logic, Language, Information, and Computation | 2023-06-02 | Paper |
Subordination algebras as semantic environment of input/output logic
Logic, Language, Information, and Computation | 2023-06-02 | Paper |
Linear Logic Properly Displayed
ACM Transactions on Computational Logic | 2023-04-05 | Paper |
Syntactic Completeness of Proper Display Calculi
ACM Transactions on Computational Logic | 2022-12-08 | Paper |
Vector spaces as Kripke frames
(available as arXiv preprint) | 2022-09-28 | Paper |
Non-normal modal logics and conditional logics: semantic analysis and proof theory
Information and Computation | 2022-06-13 | Paper |
| Unified inverse correspondence for DLE-Logics | 2022-03-17 | Paper |
Slanted canonicity of analytic inductive inequalities
ACM Transactions on Computational Logic | 2022-02-24 | Paper |
| Toward an epistemic-logical theory of categorization | 2021-12-14 | Paper |
Toward an epistemic-logical theory of categorization
(available as arXiv preprint) | 2021-12-14 | Paper |
Non-distributive logics: from semantics to meaning
(available as arXiv preprint) | 2021-08-03 | Paper |
Modelling socio-political competition
Fuzzy Sets and Systems | 2021-06-24 | Paper |
| First order logic properly displayed | 2021-05-14 | Paper |
Semi De Morgan logic properly displayed
Studia Logica | 2021-04-27 | Paper |
Toward a Dempster-Shafer theory of concepts
International Journal of Approximate Reasoning | 2020-10-22 | Paper |
| Non-normal logics: semantic analysis and proof theory (extended version) | 2020-09-29 | Paper |
scientific article; zbMATH DE number 7243670 (Why is no real title available?)
(available as arXiv preprint) | 2020-09-04 | Paper |
| scientific article; zbMATH DE number 7243670 (Why is no real title available?) | 2020-09-04 | Paper |
Non normal logics: semantic analysis and proof theory
(available as arXiv preprint) | 2020-03-04 | Paper |
Modelling informational entropy
(available as arXiv preprint) | 2020-03-04 | Paper |
Logics for rough concept analysis
(available as arXiv preprint) | 2020-01-14 | Paper |
Probabilistic Epistemic Updates on Algebras
ACM Transactions on Computational Logic | 2019-11-22 | Paper |
Probabilistic Epistemic Updates on Algebras
ACM Transactions on Computational Logic | 2019-11-22 | Paper |
Proper multi-type display calculi for rough algebras
(available as arXiv preprint) | 2019-11-13 | Paper |
Bilattice logic properly displayed
Fuzzy Sets and Systems | 2019-10-16 | Paper |
Bilattice logic properly displayed
Fuzzy Sets and Systems | 2019-10-16 | Paper |
Residuation algebras with functional duals
Algebra Universalis | 2019-09-27 | Paper |
Residuation algebras with functional duals
Algebra Universalis | 2019-09-27 | Paper |
Algorithmic correspondence and canonicity for non-distributive logics
Annals of Pure and Applied Logic | 2019-09-18 | Paper |
| The logic of vague categories | 2019-08-13 | Paper |
| Modelling competing theories | 2019-05-28 | Paper |
Modelling informational entropy
(available as arXiv preprint) | 2019-03-29 | Paper |
Non normal logics: semantic analysis and proof theory
(available as arXiv preprint) | 2019-03-12 | Paper |
Sahlqvist via translation
(available as arXiv preprint) | 2019-02-25 | Paper |
Unified correspondence as a proof-theoretic tool
Journal Of Logic And Computation | 2019-01-31 | Paper |
Unified correspondence as a proof-theoretic tool
Journal Of Logic And Computation | 2019-01-31 | Paper |
Logics for Rough Concept Analysis
(available as arXiv preprint) | 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
(available as arXiv preprint) | 2018-09-20 | Paper |
THE LOGIC OF RESOURCES AND CAPABILITIES
The Review of Symbolic Logic | 2018-08-07 | Paper |
| Kleene algebras, adjunction and structural control | 2018-05-19 | Paper |
Constructive canonicity for lattice-based fixed point logics
(available as arXiv preprint) | 2017-12-20 | Paper |
Lattice logic properly displayed
(available as arXiv preprint) | 2017-12-20 | Paper |
| Multi-type display calculus for semi De Morgan logic | 2017-12-20 | Paper |
Algebraic modal correspondence: Sahlqvist and beyond
Journal of Logical and Algebraic Methods in Programming | 2017-08-31 | Paper |
Sahlqvist theory for impossible worlds
Journal Of Logic And Computation | 2017-05-17 | Paper |
Jónsson-style canonicity for ALBA-inequalities
Journal Of Logic And Computation | 2017-05-17 | Paper |
Dual characterizations for finite lattices via correspondence theory for monotone modal logic
Journal Of Logic And Computation | 2017-05-17 | Paper |
A proof-theoretic semantic analysis of dynamic epistemic logic
Journal Of Logic And Computation | 2017-01-31 | Paper |
Multi-type display calculus for dynamic epistemic logic
Journal Of Logic And Computation | 2017-01-31 | Paper |
Multi-type display calculus for propositional dynamic logic
Journal Of Logic And Computation | 2017-01-31 | Paper |
| Multi-type Sequent Calculi | 2016-09-17 | Paper |
A Multi-type Calculus for Inquisitive Logic
Logic, Language, Information, and Computation | 2016-09-09 | Paper |
Categories: how I learned to stop worrying and love two sorts
Logic, Language, Information, and Computation | 2016-09-09 | Paper |
Algebraic modal correspondence: Sahlqvist and beyond
(available as arXiv preprint) | 2016-06-22 | Paper |
Constructive Canonicity of Inductive Inequalities
(available as arXiv preprint) | 2016-03-28 | Paper |
Sahlqvist via Translation
(available as arXiv preprint) | 2016-03-27 | Paper |
An Abstract Algebraic Logic View on Judgment Aggregation
Logic, Rationality, and Interaction | 2015-12-17 | Paper |
Generalized ultraproduct and Kirman-Sondermann correspondence for vote abstention
Logic, Rationality, and Interaction | 2015-12-17 | Paper |
Probabilistic Epistemic Updates on Algebras
Logic, Rationality, and Interaction | 2015-12-17 | Paper |
Unified correspondence
Outstanding Contributions to Logic | 2015-05-11 | Paper |
Algorithmic correspondence for intuitionistic modal mu-calculus
Theoretical Computer Science | 2014-12-16 | Paper |
Proof systems for Moss' coalgebraic logic
Theoretical Computer Science | 2014-08-27 | Paper |
Algebraic semantics and model completeness for intuitionistic public announcement logic
Annals of Pure and Applied Logic | 2014-01-24 | Paper |
Epistemic updates on algebras
Logical Methods in Computer Science | 2014-01-08 | Paper |
Dynamic epistemic logic displayed
Logic, Rationality, and Interaction | 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
Electronic Notes in Theoretical Computer Science | 2013-08-15 | Paper |
\(\Delta_1\)-completions of a poset.
Order | 2013-03-20 | Paper |
Relational representation of groupoid quantales
Order | 2013-03-20 | Paper |
Algorithmic correspondence and canonicity for distributive modal logic
Annals of Pure and Applied Logic | 2012-04-13 | Paper |
Algebraic semantics and model completeness for intuitionistic public announcement logic
Logic, Rationality, and Interaction | 2011-10-19 | Paper |
Canonical extensions for congruential logics with the deduction theorem
Annals of Pure and Applied Logic | 2011-08-26 | Paper |
Groupoid quantales: A non-étale setting
Journal of Pure and Applied Algebra | 2011-05-10 | Paper |
| scientific article; zbMATH DE number 5872402 (Why is no real title available?) | 2011-03-30 | Paper |
Topological groupoid quantales
Studia Logica | 2010-12-01 | Paper |
Editorial. Coalgebra and logic: a brief overview
Journal Of Logic And Computation | 2010-11-11 | Paper |
Nabla Algebras and Chu Spaces
Algebra and Coalgebra in Computer Science | 2009-03-10 | Paper |
| Referential semantics: duality and applications | 2008-02-15 | Paper |
Canonical extensions and relational completeness of some substructural logics
Journal of Symbolic Logic | 2006-01-16 | Paper |
A coalgebraic view on positive modal logic
Theoretical Computer Science | 2005-01-11 | Paper |
Normal Gentzen deductions in the classical case
Logic Journal of the IGPL | 2001-03-15 | Paper |
Non-distributive description logic
(available as arXiv preprint) | N/A | Paper |
Generating proof systems for three-valued propositional logics
(available as arXiv preprint) | N/A | Paper |
Labelled calculi for lattice-based modal logics
(available as arXiv preprint) | N/A | Paper |
Labelled calculi for the logics of rough concepts
(available as arXiv preprint) | N/A | Paper |
Obligations and permissions on selfextensional logics
(available as arXiv preprint) | N/A | Paper |
Obligations and permissions, algebraically
(available as arXiv preprint) | N/A | Paper |
Unified inverse correspondence for LE-logics
(available as arXiv preprint) | N/A | Paper |
