| Publication | Date of Publication | Type |
|---|
| Rethinking Talmudic temporal logic. I: Legal analysis functions without parallel histories | 2024-09-25 | Paper |
| Rethinking Talmudic temporal logic. II: Two-dimensional perspectival logic in place of dual-time | 2024-09-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6119650 | 2024-03-22 | Paper |
| Depth-bounded reasoning. Volume 1: classical propositional logic | 2024-03-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6181449 | 2024-01-02 | Paper |
| The burden of persuasion in abstract argumentation | 2023-03-31 | Paper |
| A comprehensive account of the burden of persuasion in abstract argumentation | 2023-03-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5880830 | 2023-03-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5878363 | 2023-02-21 | Paper |
| Modal provability foundations for negation by failure | 2022-11-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5039138 | 2022-10-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5039152 | 2022-10-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5869683 | 2022-09-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5869205 | 2022-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5869212 | 2022-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5102451 | 2022-09-07 | Paper |
| Hypothetical updates, priority and inconsistency in a logic programming language | 2022-08-30 | Paper |
| The degrees of monotony-dilemma in abstract argumentation | 2022-06-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5037675 | 2022-03-03 | Paper |
| Ensuring reference independence and cautious monotony in abstract argumentation | 2022-01-20 | Paper |
| What Is Negation in a System 2020? | 2022-01-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4993609 | 2021-06-15 | Paper |
| Argumentation as exogenous coordination | 2021-06-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5116403 | 2020-08-25 | Paper |
| Principles Of Talmudic Logic | 2020-08-10 | Paper |
| Normality, non-contamination and logical depth in classical natural deduction | 2020-03-27 | Paper |
| The Talmudic logic project, ongoing since 2008 | 2020-02-20 | Paper |
| A methodology for iterated theory change | 2019-04-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4619817 | 2019-02-07 | Paper |
| Fibred tableaux for multi-implication logics | 2019-01-10 | Paper |
| The attack as strong negation, part I | 2019-01-08 | Paper |
| Theory of disjunctive attacks, Part I | 2019-01-08 | Paper |
| The attack as intuitionistic negation | 2019-01-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4686538 | 2018-10-02 | Paper |
| Topological Aspects of Matrix Abduction 1 | 2017-08-28 | Paper |
| Topological Aspects of Matrix Abduction 2 | 2017-08-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5282962 | 2017-07-18 | Paper |
| Sequent and hypersequent calculi for abelian and łukasiewicz logics | 2017-07-12 | Paper |
| Theory of semi-instantiation in abstract argumentation | 2017-05-12 | Paper |
| The handling of loops in argumentation networks | 2017-01-31 | Paper |
| A New Perspective on Nonmonotonic Logics | 2016-12-14 | Paper |
| Logical foundations for bipolar and tripolar argumentation networks: preliminary results | 2016-04-28 | Paper |
| Equilibrium states in numerical argumentation networks | 2015-12-07 | Paper |
| Probabilistic argumentation: an equational approach | 2015-09-25 | Paper |
| Intuitionistic Basis for Input/Output Logic | 2015-05-19 | Paper |
| When are Two Arguments the Same? Equivalence in Abstract Argumentation | 2015-05-11 | Paper |
| Reactive standard deontic logic | 2015-02-26 | Paper |
| Reactivity and Grammars: An Exploration | 2015-02-10 | Paper |
| Sequential dynamic logic | 2015-02-09 | Paper |
| An equational approach to the merging of argumentation networks | 2015-01-19 | Paper |
| Products of modal logics and tensor products of modal algebras | 2014-11-20 | Paper |
| Toward a Linguistic Interpretation of Deontic Paradoxes | 2014-09-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5416170 | 2014-05-19 | Paper |
| The paradoxes of permission an action based solution | 2014-04-24 | Paper |
| A neural cognitive model of argumentation with application to legal inference and decision making | 2014-04-24 | Paper |
| Reasoning about delegation and revocation schemes in answer set programming | 2014-04-01 | Paper |
| The Equational Approach to Contrary-to-duty Obligations | 2014-03-31 | Paper |
| Reactive Kripke Semantics | 2013-12-06 | Paper |
| Semantics and proof-theory of depth bounded Boolean logics | 2013-11-29 | Paper |
| Two dimensional standard deontic logic [including a detailed analysis of the 1985 Jones-Pörn deontic logic system] | 2013-11-25 | Paper |
| Nonmonotonicity and holicity in quantum logic | 2013-10-04 | Paper |
| Sampling logic and argumentation networks: a manifesto | 2013-10-04 | Paper |
| A socio-cognitive model of trust using argumentation theory | 2013-06-04 | Paper |
| Future determination of entities in Talmudic public announcement logic | 2013-05-02 | Paper |
| Reactive Kripke models and contrary to duty obligations. Part A: Semantics | 2013-05-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4918403 | 2013-04-24 | Paper |
| Dung's argumentation is essentially equivalent to classical propositional logic with the Peirce-Quine dagger | 2013-03-21 | Paper |
| A logic of argumentation for specification and verification of abstract argumentation frameworks | 2013-02-18 | Paper |
| Embedding and automating conditional logics in classical higher-order logic | 2013-02-18 | Paper |
| Introducing reactive Kripke semantics and arc accessibility | 2013-02-18 | Paper |
| Modelling defeasible and prioritized support in bipolar argumentation | 2013-02-18 | Paper |
| Completeness theorems for reactive modal logics | 2013-02-18 | Paper |
| Introducing reactive modal tableaux | 2013-02-18 | Paper |
| Causal dynamic inference | 2013-02-18 | Paper |
| Overview on the connection between reactive Kripke models and argumentation networks | 2013-02-18 | Paper |
| Global view on reactivity: switch graphs and their logics | 2013-02-18 | Paper |
| Discussion Paper: Changing Norms Is Changing Obligation Change | 2012-11-02 | Paper |
| Temporal Deontic Logic for the Generalised Chisholm Set of Contrary to Duty Obligations | 2012-11-02 | Paper |
| A Numerical Approach to the Merging of Argumentation Networks | 2012-09-21 | Paper |
| Bipolar Argumentation Frames and Contrary to Duty Obligations, Preliminary Report | 2012-09-21 | Paper |
| An Equational Approach to Logic Programming | 2012-07-23 | Paper |
| What Is Negation as Failure? | 2012-07-23 | Paper |
| Semantic interpolation | 2012-07-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3091729 | 2011-09-13 | Paper |
| Logical Analysis of the Talmudic Rules of General and Specific (Klalim-u-Pratim) | 2011-07-29 | Paper |
| Uncertainty Rules in Talmudic Reasoning | 2011-07-29 | Paper |
| Introducing Equational Semantics for Argumentation Networks | 2011-06-29 | Paper |
| Arguing about the Trustworthiness of the Information Sources | 2011-06-29 | Paper |
| Reactive intuitionistic tableaux | 2011-06-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3003831 | 2011-05-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2999896 | 2011-05-18 | Paper |
| Higher-Order Coalition Logic | 2011-05-11 | Paper |
| Reactive automata | 2011-04-28 | Paper |
| Modal Access Control LogicAxiomatization, Semantics and FOL Theorem Proving | 2011-04-12 | Paper |
| Conditionals and Modularity in General Logics | 2011-03-21 | Paper |
| The Norm Implementation Problem in Normative Multi-Agent Systems | 2010-11-11 | Paper |
| Obligations and Prohibitions in Talmudic Deontic Logic | 2010-09-29 | Paper |
| Modal and Temporal Argumentation Networks | 2010-09-07 | Paper |
| BELIEF REVISION IN NON-CLASSICAL LOGICS | 2010-08-13 | Paper |
| CUMULATIVITY WITHOUT CLOSURE OF THE DOMAIN UNDER FINITE UNIONS | 2010-08-13 | Paper |
| Revision, Acceptability and Context | 2010-08-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3571949 | 2010-06-29 | Paper |
| A comment on work by Booth and co-authors | 2010-05-07 | Paper |
| A logical account of formal argumentation | 2010-03-17 | Paper |
| Modal logics of reactive frames | 2010-03-17 | Paper |
| Semantics for higher level attacks in extended argumentation frames. I: Overview | 2010-03-17 | Paper |
| Meta-argumentation modelling. I: Methodology and techniques | 2010-03-17 | Paper |
| Fibring argumentation frames | 2010-03-17 | Paper |
| Modal provability foundations for argumentation networks | 2010-03-17 | Paper |
| Complete extensions in argumentation coincide with 3-valued stable models in logic programming | 2010-03-17 | Paper |
| Logical modes of attack in argumentation networks | 2010-03-17 | Paper |
| Preface for Studia Logica special issue (2) | 2010-03-17 | Paper |
| Annotation theories over finite graphs | 2010-03-17 | Paper |
| A theory of hierarchical consequence and conditionals | 2010-03-05 | Paper |
| Modelling evolvable component systems: Part I: A logical framework | 2009-12-18 | Paper |
| Logical tools for handling change in agent-based systems | 2009-12-01 | Paper |
| Roadmap for preferential logics | 2009-11-30 | Paper |
| A meta-model of access control in a fibred security language | 2009-11-16 | Paper |
| Independence -- revision and defaults | 2009-11-16 | Paper |
| Analysis of the Talmudic argumentum a fortiori inference rule (Kal Vachomer) using matrix abduction | 2009-11-16 | Paper |
| Voting by eliminating quantifiers | 2009-11-16 | Paper |
| Fibred security language | 2009-11-16 | Paper |
| Quantification in nonclassical logic. Volume I. | 2009-10-08 | Paper |
| SIZE AND LOGIC | 2009-08-26 | Paper |
| REACTIVE PREFERENTIAL STRUCTURES AND NONMONOTONIC CONSEQUENCE | 2009-08-26 | Paper |
| Fallacies as cognitive virtues | 2009-04-14 | Paper |
| Defeasible inheritance systems and reactive diagrams | 2009-03-11 | Paper |
| Proof theory for fuzzy logics | 2009-01-26 | Paper |
| A Sound and Complete Deductive System for CTL* Verification | 2009-01-21 | Paper |
| Cut-Based Abduction | 2009-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3543575 | 2008-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3543581 | 2008-12-04 | Paper |
| Reactive Kripke Models and Contrary to Duty Obligations | 2008-08-28 | Paper |
| Resource-origins of nonmonotonicity | 2008-07-30 | Paper |
| Neural-Symbolic Cognitive Reasoning | 2008-07-23 | Paper |
| Introducing Reactive Kripke Semantics and Arc Accessibility | 2008-03-25 | Paper |
| Analysis and synthesis of logics. How to cut and paste reasoning systems | 2008-02-07 | Paper |
| Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs | 2008-01-18 | Paper |
| Second-order quantifier elimination in higher-order contexts with applications to the semantical analysis of conditionals | 2007-12-03 | Paper |
| Abductive reasoning in neural-symbolic systems | 2007-11-14 | Paper |
| Computer Science Logic | 2007-06-21 | Paper |
| Fuzzy logics based on \([0,1)\)-continuous uninorms | 2007-06-07 | Paper |
| Connectionist modal logic: representing modalities in neural networks | 2007-03-12 | Paper |
| Advice on Abductive Logic | 2006-11-30 | Paper |
| Cut and pay | 2006-11-17 | Paper |
| Algebras of measurements: the logical structure of quantum mechanics | 2006-09-28 | Paper |
| Connectionist computations of intuitionistic reasoning | 2006-09-14 | Paper |
| Context-dependent abduction and relevance | 2006-08-14 | Paper |
| Value-based Argumentation Frameworks as Neural-symbolic Learning Systems | 2006-02-21 | Paper |
| Łukasiewicz Logic: From Proof Systems To Logic Programming | 2006-01-18 | Paper |
| Mechanizing Mathematical Reasoning | 2006-01-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5711861 | 2005-12-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5702666 | 2005-11-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5692269 | 2005-09-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5692270 | 2005-09-28 | Paper |
| Computer Science Logic | 2005-08-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3022776 | 2005-06-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3021911 | 2005-06-21 | Paper |
| Analytic calculi for product logics | 2005-02-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4817212 | 2004-09-22 | Paper |
| Normative Models of Rational Agency: The Theoretical Disutility of Certain Approaches | 2004-05-27 | Paper |
| Many-dimensional modal logics: theory and applications | 2004-02-17 | Paper |
| Belief Contraction, Anti-formulae and Resource Overdraft: Part I Deletion in Resource Bounded Logics | 2003-10-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4412860 | 2003-07-17 | Paper |
| Controlled Revision - An Algorithmic Approach for Belief Revision | 2003-06-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4806970 | 2003-05-15 | Paper |
| Products of modal logics. III. Products of modal and temporal logics | 2003-03-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4552504 | 2002-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4781247 | 2002-11-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4781258 | 2002-11-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4549486 | 2002-11-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4329238 | 2002-10-15 | Paper |
| Encoding two-valued nonclassical logics in classical logic | 2002-09-16 | Paper |
| Labelled abduction. Compiled labelled abductive systems | 2002-09-09 | Paper |
| A theory of hypermodal logics: Mode shifting in modal logic | 2002-08-20 | Paper |
| Labelled Natural Deduction for Conditional Logics of Normality | 2002-08-08 | Paper |
| The new logic | 2002-04-30 | Paper |
| Naming worlds in modal and temporal logic | 2002-04-11 | Paper |
| Interpolation in practical formal development | 2002-03-11 | Paper |
| Quantum logic, Hilbert space, revision theory | 2002-03-03 | Paper |
| Goal-directed proof theory | 2002-02-25 | Paper |
| More on non-cooperation in dialogue logic | 2002-01-31 | Paper |
| Labelled resolution for classical and non-classical logics | 2001-11-25 | Paper |
| Negation and contradiction | 2001-11-23 | Paper |
| Tableau methods for substructural logics | 2001-11-14 | Paper |
| Temporal logic. Vol. 2. Mathematical foundations and computational aspects | 2001-10-29 | Paper |
| Non-cooperation in dialogue logic | 2001-10-14 | Paper |
| Symbolic knowledge extraction from trained neural networks: A sound approach | 2001-08-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4524510 | 2001-06-25 | Paper |
| Algorithmic proof methods and cut elimination for implicational logics. I: Modal implication | 2001-06-13 | Paper |
| Fibred modal tableaux | 2001-03-12 | Paper |
| On modal logics characterized by models with relative accessibility relations. I | 2001-02-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4762205 | 2001-02-22 | Paper |
| On modal logics characterized by models with relative accessibility relations. II | 2001-02-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4946226 | 2001-02-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4944944 | 2000-11-05 | Paper |
| Products of modal logics, part 1 | 2000-07-30 | Paper |
| Products of modal logics. Part 2: relativised quantifiers in classical logic | 2000-07-27 | Paper |
| Conditional reasoning in logic programming | 2000-05-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4940717 | 2000-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4246800 | 2000-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4938885 | 2000-02-23 | Paper |
| Calendar Logic | 2000-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4225121 | 1999-11-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4263007 | 1999-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4261065 | 1999-09-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4218015 | 1999-08-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4895423 | 1999-08-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4229946 | 1999-07-07 | Paper |
| Agents in proactive environments | 1999-06-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4217280 | 1998-11-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4385435 | 1998-10-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3838804 | 1998-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4394918 | 1998-06-11 | Paper |
| Grafting modalities onto substructural implication systems | 1998-05-11 | Paper |
| Parsing natural language using LDS: a prototype | 1998-03-12 | Paper |
| Introduction to the special issue on combining logics I | 1997-10-26 | Paper |
| Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics | 1997-10-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5691489 | 1997-04-21 | Paper |
| A proof theoretical approach to default reasoning I: tableaux for default logic | 1997-04-07 | Paper |
| Language and proof theory. Preface to the special issue on ``Proof theory and natural language | 1997-03-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4895420 | 1997-03-19 | Paper |
| Fibred semantics for feature-based grammar logic | 1997-03-17 | Paper |
| Combining temporal logic systems | 1997-03-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4333374 | 1997-02-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4893673 | 1997-01-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4894942 | 1996-10-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4866989 | 1996-08-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4877438 | 1996-07-08 | Paper |
| On the Logic of Information Flow | 1996-02-20 | Paper |
| The Functional Interpretation of the Existential Quantifier | 1996-02-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4857158 | 1996-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4698607 | 1995-11-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4281686 | 1995-05-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3835817 | 1995-04-24 | Paper |
| A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics | 1995-02-22 | Paper |
| Towards automating duality | 1995-02-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4873969 | 1995-01-01 | Paper |
| Direct deductive computation on discourse representation structures | 1994-11-10 | Paper |
| Adding a temporal dimension to a logic system | 1994-11-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4281253 | 1994-08-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4281254 | 1994-04-04 | Paper |
| Computation with run time skolemisation (N-Prolog part 3) | 1994-02-01 | Paper |
| Undecidability of modal and intermediate first-order logics with two individual variables | 1994-01-19 | Paper |
| Extending the Curry-Howard interpretation to linear, relevant and other resource logics | 1993-04-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4028793 | 1993-03-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4010350 | 1992-09-27 | Paper |
| A family of goal directed theorem provers based on conjunction and implication. I | 1992-06-27 | Paper |
| An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers | 1992-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3781074 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3812209 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4733441 | 1987-01-01 | Paper |
| Preservation of expressive completeness in temporal models | 1987-01-01 | Paper |
| Negation as inconsistency. I | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3703316 | 1985-01-01 | Paper |
| N-Prolog: An extension of prolog with hypothetical implication. II. Logical foundations, and negation as failure | 1985-01-01 | Paper |
| N-Prolog: An extension of Prolog with hypothetical implications. I. | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3939274 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3669373 | 1981-01-01 | Paper |
| Semantical investigations in Heyting's intuitionistic logic | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3674621 | 1981-01-01 | Paper |
| What is a Classical Connective? | 1978-01-01 | Paper |
| On some new intuitionistic propositional connectives. I | 1977-01-01 | Paper |
| Craig interpolation theorem for intuitionistic logic and extensions Part III | 1977-01-01 | Paper |
| Undecidability of intuitionistic theories formulated with the apartness relation | 1977-01-01 | Paper |
| A new version of Beth semantics for intuitionistic logic | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4173345 | 1977-01-01 | Paper |
| Investigations in modal and tense logics with applications to problems in philosophy and linguistics | 1976-01-01 | Paper |
| Completeness properties of heyting's predicate calculus with respect to re models | 1976-01-01 | Paper |
| A normal logic that is complete for neighborhood frames but not for Kripke frames | 1976-01-01 | Paper |
| On Kreisel's notion of validity in Post systems | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4156411 | 1976-01-01 | Paper |
| Decidability results in non-classical logics | 1975-01-01 | Paper |
| Model theory for tense logics | 1975-01-01 | Paper |
| The decision problem for some finite extensions of the intuitionistic theory of abelian groups | 1975-01-01 | Paper |
| A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property | 1974-01-01 | Paper |
| On 2nd order intuitionistic propositional calculus with full comprehension | 1974-01-01 | Paper |
| Applications of Scott's notion of consequence to the study of general binary intensional connectives and entailment | 1973-01-01 | Paper |
| The undecidability of intuitionistic theories of algebraically closed fields and real closed fields | 1973-01-01 | Paper |
| Applications of trees to intermediate logics | 1972-01-01 | Paper |
| A general filtration method for modal logics | 1972-01-01 | Paper |
| Model Theory for Intuitionistic Logic | 1972-01-01 | Paper |
| Tense systems with discrete moments of time. I | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5641128 | 1972-01-01 | Paper |
| A general theory of the conditional in terms of a ternary operator | 1972-01-01 | Paper |
| Decidability of some intuitionistic predicate theories | 1972-01-01 | Paper |
| Sufficient conditions for the undecidability of intuitionistic theories with applications | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5635424 | 1972-01-01 | Paper |
| Selective filtration in modal logic Part A. Semantic tableaux method | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5642540 | 1971-01-01 | Paper |
| The decidability of the Kreisel-Putnam system | 1971-01-01 | Paper |
| Montague Type Semantics for Modal Logics with Propositional Quantifiers | 1971-01-01 | Paper |
| On decidable, finitely axiomatizable, modal and tense logics without the finite model property. I, II | 1971-01-01 | Paper |
| Decidability results in non-classical logic. III: Systems with statability operators | 1971-01-01 | Paper |
