| Publication | Date of Publication | Type |
|---|
| Propositional type theory of indeterminacy | 2024-11-25 | Paper |
| Relating Kleene algebras with pseudo uninorms | 2024-06-05 | Paper |
| Boolean dynamics revisited through feedback interconnections | 2024-02-09 | Paper |
| Relation-changing models meet paraconsistency | 2023-06-19 | Paper |
| Introducing fuzzy reactive graphs: a simple application on biology | 2022-11-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5869599 | 2022-09-28 | Paper |
| Adding proof calculi to epistemic logics with structured knowledge | 2022-06-17 | Paper |
| Exorcising the phantom zone | 2022-06-13 | Paper |
| Graded epistemic logic with public announcement | 2022-03-09 | Paper |
| Essay on modality across different logics | 2022-03-01 | Paper |
| Non-dual modal operators as a basis for 4-valued accessibility relations in hybrid logic | 2021-08-03 | Paper |
| Reversal fuzzy switch graphs | 2021-07-08 | Paper |
| A note on reactive transitions and Reo connectors | 2021-06-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5855501 | 2021-03-18 | Paper |
| A fuzzy modal logic for fuzzy transition systems | 2021-01-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5141780 | 2020-12-18 | Paper |
| A four-valued hybrid logic with non-dual modal operators | 2020-07-08 | Paper |
| Rigid first-order hybrid logic | 2020-03-04 | Paper |
| Asymmetric Combination of Logics is Functorial: A Survey | 2020-01-16 | Paper |
| Completeness in equational hybrid propositional type theory | 2019-12-11 | Paper |
| Epistemic logics with structured knowledge | 2019-11-13 | Paper |
| A family of graded epistemic logics | 2019-11-12 | Paper |
| Hierarchical hybrid logic | 2019-11-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5226735 | 2019-08-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4554399 | 2018-11-14 | Paper |
| On interval dynamic logic | 2018-09-27 | Paper |
| A logic for the stepwise development of reactive systems | 2018-09-24 | Paper |
| A short overview of Hidden Logic | 2018-09-13 | Paper |
| Paraconsistency in hybrid logic | 2018-02-13 | Paper |
| Applying differential dynamic logic to reconfigurable biological networks | 2017-10-20 | Paper |
| Dynamic Logic with Binders and Its Application to the Development of Reactive Systems | 2016-12-21 | Paper |
| An exercise on the generation of many-valued dynamic logics | 2016-12-15 | Paper |
| Continuity as a computational effect | 2016-12-15 | Paper |
| A Tableau System for Quasi-Hybrid Logic | 2016-09-05 | Paper |
| Refinement by Interpretation in a General Setting | 2016-08-01 | Paper |
| Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach | 2016-06-30 | Paper |
| A Dynamic Logic for Every Season | 2016-04-01 | Paper |
| Completeness and Decidability Results for Hybrid(ised) Logics | 2016-04-01 | Paper |
| Refinement in hybridised institutions | 2015-07-23 | Paper |
| Malinowski modalization, modalization through fibring and the Leibniz hierarchy | 2015-02-27 | Paper |
| A Hilbert-style axiomatisation for equational hybrid logic | 2015-02-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5173183 | 2015-02-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5411465 | 2014-04-23 | Paper |
| Boilerplates for Reconfigurable Systems: A Language and Its Semantics | 2014-04-16 | Paper |
| Deduction-detachment theorem in hidden k-logics | 2014-04-01 | Paper |
| The role of logical interpretations in program development | 2014-01-22 | Paper |
| On a coalgebraic view on Logic | 2013-11-21 | Paper |
| A coalgebraic perspective on logical interpretations | 2013-09-23 | Paper |
| Hybridisation at Work | 2013-09-13 | Paper |
| Hybrid Specification of Reactive Systems: An Institutional Approach | 2011-10-28 | Paper |
| Hybridization of Institutions | 2011-09-02 | Paper |
| Behavioral algebraization of logics | 2009-03-17 | Paper |
| Behavioural reasoning for conditional equations | 2007-12-12 | Paper |
| Closure properties for the class of behavioral models | 2007-07-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3435249 | 2007-04-25 | Paper |
