Publication | Date of Publication | Type |
---|
What is a logical theory? On theories containing assertions and denials | 2023-12-14 | Paper |
Axiomatizing non-deterministic many-valued generalized consequence relations | 2023-12-14 | Paper |
Some more theorems on structural entailment relations and non-deterministic semantics | 2023-10-04 | Paper |
AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS | 2023-01-17 | Paper |
Computational properties of finite PNmatrices | 2023-01-04 | Paper |
Computational properties of partial non-deterministic matrices and their logics | 2022-07-01 | Paper |
Modular many-valued semantics for combined logics | 2022-02-04 | Paper |
On Axioms and Rexpansions | 2022-01-04 | Paper |
On the index of convergence of a class of Boolean matrices with structural properties | 2021-10-20 | Paper |
On axioms and rexpansions | 2021-02-10 | Paper |
Plug and Play Negations | 2020-08-06 | Paper |
Analytic calculi for monadic PNmatrices | 2020-03-04 | Paper |
https://portal.mardi4nfdi.de/entity/Q5212292 | 2020-01-28 | Paper |
Combining fragments of classical logic: when are interaction principles needed? | 2019-08-12 | Paper |
https://portal.mardi4nfdi.de/entity/Q5224785 | 2019-07-24 | Paper |
Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities | 2019-06-25 | Paper |
Probabilistic logic over equations and domain restrictions | 2019-05-27 | Paper |
Decidability and complexity of fibred logics without shared connectives | 2019-01-08 | Paper |
Characterizing finite-valuedness | 2018-10-16 | Paper |
https://portal.mardi4nfdi.de/entity/Q4583680 | 2018-09-03 | Paper |
Generalized probabilistic satisfiability | 2018-04-23 | Paper |
On the characterization of fibred logics, with applications to conservativity and finite-valuedness | 2018-02-13 | Paper |
Merging fragments of classical logic | 2018-01-04 | Paper |
Disjoint fibring of non-deterministic matrices | 2017-12-20 | Paper |
Compositional meaning in logic | 2017-11-29 | Paper |
Deciding Theoremhood in Fibred Logics Without Shared Connectives | 2017-08-28 | Paper |
Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics | 2015-10-12 | Paper |
An Equation-Based Classical Logic | 2015-09-24 | Paper |
https://portal.mardi4nfdi.de/entity/Q5416169 | 2014-05-19 | Paper |
https://portal.mardi4nfdi.de/entity/Q2848475 | 2013-09-26 | Paper |
https://portal.mardi4nfdi.de/entity/Q2848036 | 2013-09-25 | Paper |
Abstract valuation semantics | 2013-09-23 | Paper |
On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators | 2013-04-08 | Paper |
Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics | 2012-09-21 | Paper |
https://portal.mardi4nfdi.de/entity/Q5389067 | 2012-04-24 | Paper |
Hierarchical logical consequence | 2012-03-07 | Paper |
Towards a Behavioral Algebraic Theory of Logical Valuations | 2011-11-22 | Paper |
Distributed temporal logic for the analysis of security protocol models | 2011-07-18 | Paper |
https://portal.mardi4nfdi.de/entity/Q3007251 | 2011-06-21 | Paper |
Recent Trends in Algebraic Development Techniques | 2010-04-20 | Paper |
Labelled Tableaux for Distributed Temporal Logic | 2010-01-14 | Paper |
Behavioral algebraization of da Costa's C-systems | 2009-11-30 | Paper |
Algebraic Valuations as Behavioral Logical Matrices | 2009-07-02 | Paper |
Classic-Like Analytic Tableaux for Finite-Valued Logics | 2009-07-02 | Paper |
Behavioral algebraization of logics | 2009-03-17 | Paper |
Combining Classical and Intuitionistic Implications | 2008-09-16 | Paper |
https://portal.mardi4nfdi.de/entity/Q3520840 | 2008-08-26 | Paper |
https://portal.mardi4nfdi.de/entity/Q3520845 | 2008-08-26 | Paper |
On the Algebraization of Many-Sorted Logics | 2007-09-10 | Paper |
Quantum Institutions | 2007-09-07 | Paper |
From fibring to cryptofibring. A solution to the collapsing problem | 2007-04-10 | Paper |
On the semantics of Alice \& Bob specifications of security protocols | 2007-01-09 | Paper |
Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis | 2006-03-30 | Paper |
Recent Trends in Algebraic Development Techniques | 2005-11-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q5311058 | 2005-08-22 | Paper |
https://portal.mardi4nfdi.de/entity/Q5311062 | 2005-08-22 | Paper |
https://portal.mardi4nfdi.de/entity/Q4471713 | 2004-07-30 | Paper |
Fibring non-truth-functional logics: Completeness preservation | 2003-04-27 | Paper |
https://portal.mardi4nfdi.de/entity/Q2782494 | 2002-08-05 | Paper |
Deriving liveness goals from temporal logic specifications | 2001-11-25 | Paper |
Fibring of logics as a categorial construction | 2000-08-23 | Paper |
Specifying communication in distributed information systems | 2000-05-09 | Paper |
https://portal.mardi4nfdi.de/entity/Q4941925 | 2000-03-19 | Paper |
Denotational semantics of object specification | 1998-09-10 | Paper |
https://portal.mardi4nfdi.de/entity/Q4400803 | 1998-08-02 | Paper |
https://portal.mardi4nfdi.de/entity/Q4373557 | 1998-05-10 | Paper |
Synchronization of logics | 1997-11-13 | Paper |