| Publication | Date of Publication | Type |
|---|
Some applications of propositional calculus
Boletim da Sociedade Portuguesa de Matemática | 2026-02-23 | Paper |
| Graded relation updates in modal logic | 2026-01-13 | Paper |
Labeled fuzzy reactive graphs
Fuzzy Sets and Systems | 2025-11-06 | Paper |
| The institution of many-logics modal logic | 2025-10-29 | Paper |
| Lattices for \textit{many-logics} modal logic: constructions and representations | 2025-10-14 | Paper |
Modality across different logics
Logic Journal of the IGPL | 2025-09-30 | Paper |
Aggregation-based operations for reversal fuzzy switch graphs
Fuzzy Sets and Systems | 2025-05-25 | Paper |
Hybrid partial type theory
The Journal of Symbolic Logic | 2025-05-06 | Paper |
Propositional type theory of indeterminacy
Studia Logica | 2024-11-25 | Paper |
| Relating Kleene algebras with pseudo uninorms | 2024-06-05 | Paper |
Boolean dynamics revisited through feedback interconnections
Natural Computing | 2024-02-09 | Paper |
Relation-changing models meet paraconsistency
Journal of Logical and Algebraic Methods in Programming | 2023-06-19 | Paper |
Introducing fuzzy reactive graphs: a simple application on biology
Soft Computing | 2022-11-21 | Paper |
| On Herbrand's theorem for hybrid logic | 2022-09-28 | Paper |
| Adding proof calculi to epistemic logics with structured knowledge | 2022-06-17 | Paper |
Exorcising the phantom zone
Information and Computation | 2022-06-13 | Paper |
Graded epistemic logic with public announcement
Journal of Logical and Algebraic Methods in Programming | 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
Journal of Logical and Algebraic Methods in Programming | 2021-08-03 | Paper |
| Reversal fuzzy switch graphs | 2021-07-08 | Paper |
| A note on reactive transitions and Reo connectors | 2021-06-03 | Paper |
| scientific article; zbMATH DE number 7325814 (Why is no real title available?) | 2021-03-18 | Paper |
| A fuzzy modal logic for fuzzy transition systems | 2021-01-19 | Paper |
| scientific article; zbMATH DE number 7288882 (Why is no real title available?) | 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
Recent Trends in Algebraic Development Techniques | 2020-01-16 | Paper |
Completeness in equational hybrid propositional type theory
Studia Logica | 2019-12-11 | Paper |
| Epistemic logics with structured knowledge | 2019-11-13 | Paper |
| Hierarchical hybrid logic | 2019-11-12 | Paper |
| A family of graded epistemic logics | 2019-11-12 | Paper |
| Inconsistency measures in hybrid logics | 2019-08-01 | Paper |
| scientific article; zbMATH DE number 6979315 (Why is no real title available?) | 2018-11-14 | Paper |
| On interval dynamic logic | 2018-09-27 | Paper |
A logic for the stepwise development of reactive systems
Theoretical Computer Science | 2018-09-24 | Paper |
A short overview of hidden logic
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science | 2018-09-13 | Paper |
Paraconsistency in hybrid logic
Journal Of Logic And Computation | 2018-02-13 | Paper |
Applying differential dynamic logic to reconfigurable biological networks
Mathematical Biosciences | 2017-10-20 | Paper |
Dynamic logic with binders and its application to the development of reactive systems
Theoretical Aspects of Computing – ICTAC 2016 | 2016-12-21 | Paper |
Continuity as a computational effect
Journal of Logical and Algebraic Methods in Programming | 2016-12-15 | Paper |
An exercise on the generation of many-valued dynamic logics
Journal of Logical and Algebraic Methods in Programming | 2016-12-15 | Paper |
A tableau system for quasi-hybrid logic
Automated Reasoning | 2016-09-05 | Paper |
Refinement by Interpretation in a General Setting
Electronic Notes in Theoretical Computer Science | 2016-08-01 | Paper |
Behavioral equivalence of hidden k-logics: an abstract algebraic approach
Journal of Applied Logic | 2016-06-30 | Paper |
A dynamic logic for every season
Lecture Notes in Computer Science | 2016-04-01 | Paper |
Completeness and decidability results for hybrid(ised) logics
Lecture Notes in Computer Science | 2016-04-01 | Paper |
Refinement in hybridised institutions
Formal Aspects of Computing | 2015-07-23 | Paper |
Malinowski modalization, modalization through fibring and the Leibniz hierarchy
Logic Journal of the IGPL | 2015-02-27 | Paper |
| scientific article; zbMATH DE number 6399373 (Why is no real title available?) | 2015-02-09 | Paper |
A Hilbert-style axiomatisation for equational hybrid logic
Journal of Logic, Language and Information | 2015-02-09 | Paper |
| scientific article; zbMATH DE number 6287618 (Why is no real title available?) | 2014-04-23 | Paper |
Boilerplates for reconfigurable systems: a language and its semantics
Programming Languages | 2014-04-16 | Paper |
Deduction-detachment theorem in hidden k-logics
Journal Of Logic And Computation | 2014-04-01 | Paper |
The role of logical interpretations in program development
Logical Methods in Computer Science | 2014-01-22 | Paper |
On a coalgebraic view on logic
Journal of Logic and Computation | 2013-11-21 | Paper |
A coalgebraic perspective on logical interpretations
Studia Logica | 2013-09-23 | Paper |
Hybridisation at work
Algebra and Coalgebra in Computer Science | 2013-09-13 | Paper |
Hybrid specification of reactive systems: an institutional approach
Software Engineering and Formal Methods | 2011-10-28 | Paper |
Hybridization of institutions
Algebra and Coalgebra in Computer Science | 2011-09-02 | Paper |
Behavioral algebraization of logics
Studia Logica | 2009-03-17 | Paper |
Behavioural reasoning for conditional equations
Mathematical Structures in Computer Science | 2007-12-12 | Paper |
Closure properties for the class of behavioral models
Theoretical Computer Science | 2007-07-16 | Paper |
| On the injectivity of the Leibniz operator | 2007-04-25 | Paper |
