| Publication | Date of Publication | Type |
|---|
Rethinking Talmudic temporal logic. I: Legal analysis functions without parallel histories
Journal of Applied Logics - IfCoLog Journal of Logics and their Applications | 2024-09-25 | Paper |
Rethinking Talmudic temporal logic. II: Two-dimensional perspectival logic in place of dual-time
Journal of Applied Logics - IfCoLog Journal of Logics and their Applications | 2024-09-25 | Paper |
| Defeasible description logic reasoning based on abstract syntax graph | 2024-03-22 | Paper |
Depth-bounded reasoning. Volume 1: classical propositional logic
Studies in Logic (London) | 2024-03-01 | Paper |
| Evolutionary temporal logic for modelling many-lives argumentation networks | 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
Journal Of Logic And Computation | 2023-03-30 | Paper |
| scientific article; zbMATH DE number 7659877 (Why is no real title available?) | 2023-03-06 | Paper |
| scientific article; zbMATH DE number 7655699 (Why is no real title available?) | 2023-02-21 | Paper |
Modal provability foundations for negation by failure
Extensions of Logic Programming | 2022-11-26 | Paper |
| scientific article; zbMATH DE number 7599958 (Why is no real title available?) | 2022-10-12 | Paper |
| What is negation in a system 2020? | 2022-10-12 | Paper |
| scientific article; zbMATH DE number 7594222 (Why is no real title available?) | 2022-09-28 | Paper |
| scientific article; zbMATH DE number 7593536 (Why is no real title available?) | 2022-09-27 | Paper |
| scientific article; zbMATH DE number 7593542 (Why is no real title available?) | 2022-09-27 | Paper |
| scientific article; zbMATH DE number 7582523 (Why is no real title available?) | 2022-09-07 | Paper |
Hypothetical updates, priority and inconsistency in a logic programming language
Logic Programming and Nonmonotonic Reasoning | 2022-08-30 | Paper |
| The degrees of monotony-dilemma in abstract argumentation | 2022-06-15 | Paper |
| A brief introduction to the Shkop approach to conflict resolution in formal argumentation | 2022-03-03 | Paper |
Ensuring reference independence and cautious monotony in abstract argumentation
International Journal of Approximate Reasoning | 2022-01-20 | Paper |
What Is Negation in a System 2020?
Outstanding Contributions to Logic | 2022-01-04 | Paper |
| Normative reasoning and consequence | 2021-06-15 | Paper |
| Argumentation as exogenous coordination | 2021-06-03 | Paper |
| scientific article; zbMATH DE number 7238902 (Why is no real title available?) | 2020-08-25 | Paper |
Principles of Talmudic logic
Handbook of Philosophical Logic | 2020-08-10 | Paper |
Normality, non-contamination and logical depth in classical natural deduction
Studia Logica | 2020-03-27 | Paper |
The Talmudic logic project, ongoing since 2008
Logica Universalis | 2020-02-20 | Paper |
A methodology for iterated theory change
Practical Reasoning | 2019-04-29 | Paper |
| scientific article; zbMATH DE number 7015111 (Why is no real title available?) | 2019-02-07 | Paper |
Fibred tableaux for multi-implication logics
Theorem Proving with Analytic Tableaux and Related Methods | 2019-01-10 | Paper |
Theory of disjunctive attacks, Part I
Logic Journal of the IGPL | 2019-01-08 | Paper |
The attack as intuitionistic negation
Logic Journal of the IGPL | 2019-01-08 | Paper |
The attack as strong negation. I
Logic Journal of the IGPL | 2019-01-08 | Paper |
| Elementary logic with applications. A procedural perspective for computer scientists | 2018-10-02 | Paper |
Topological aspects of matrix abduction. I
Studies in Universal Logic | 2017-08-28 | Paper |
Topological aspects of matrix abduction. II
Studies in Universal Logic | 2017-08-28 | Paper |
| Abduction and dialogical proof in argumentation and logic programming | 2017-07-18 | Paper |
Abduction and dialogical proof in argumentation and logic programming
(available as arXiv preprint) | 2017-07-18 | Paper |
Sequent and hypersequent calculi for abelian and łukasiewicz logics
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Theory of semi-instantiation in abstract argumentation
Logica Universalis | 2017-05-12 | Paper |
The handling of loops in argumentation networks
Journal Of Logic And Computation | 2017-01-31 | Paper |
| A New Perspective on Nonmonotonic Logics | 2016-12-14 | Paper |
Logical foundations for bipolar and tripolar argumentation networks: preliminary results
Journal of Logic and Computation | 2016-04-28 | Paper |
Equilibrium states in numerical argumentation networks
Logica Universalis | 2015-12-07 | Paper |
Probabilistic argumentation: an equational approach
Logica Universalis | 2015-09-25 | Paper |
Probabilistic argumentation: an equational approach
Logica Universalis | 2015-09-25 | Paper |
Intuitionistic basis for input/output logic
David Makinson on Classical Methods for Non-Classical Problems | 2015-05-19 | Paper |
When are two arguments the same? Equivalence in abstract argumentation
Outstanding Contributions to Logic | 2015-05-11 | Paper |
Reactive standard deontic logic
Journal Of Logic And Computation | 2015-02-26 | Paper |
Reactivity and grammars: an exploration
Lecture Notes in Computer Science | 2015-02-10 | Paper |
Sequential dynamic logic
Journal of Logic, Language and Information | 2015-02-09 | Paper |
An equational approach to the merging of argumentation networks
Journal Of Logic And Computation | 2015-01-19 | Paper |
Products of modal logics and tensor products of modal algebras
Journal of Applied Logic | 2014-11-20 | Paper |
Toward a linguistic interpretation of deontic paradoxes. Beth-Reichenbach semantics approach for a new analysis of the miners scenario
Deontic Logic and Normative Systems | 2014-09-08 | Paper |
| scientific article; zbMATH DE number 6296813 (Why is no real title available?) | 2014-05-19 | Paper |
A neural cognitive model of argumentation with application to legal inference and decision making
Journal of Applied Logic | 2014-04-24 | Paper |
The paradoxes of permission an action based solution
Journal of Applied Logic | 2014-04-24 | Paper |
Reasoning about delegation and revocation schemes in answer set programming
Journal Of Logic And Computation | 2014-04-01 | Paper |
The equational approach to contrary-to-duty obligations
Lecture Notes in Computer Science | 2014-03-31 | Paper |
Reactive Kripke semantics
Cognitive Technologies | 2013-12-06 | Paper |
Semantics and proof-theory of depth bounded Boolean logics
Theoretical Computer Science | 2013-11-29 | Paper |
Two dimensional standard deontic logic [including a detailed analysis of the 1985 Jones-Pörn deontic logic system]
Synthese | 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
International Journal of Approximate Reasoning | 2013-06-04 | Paper |
Future determination of entities in Talmudic public announcement logic
Journal of Applied Logic | 2013-05-02 | Paper |
Reactive Kripke models and contrary to duty obligations. Part A: Semantics
Journal of Applied Logic | 2013-05-02 | Paper |
| Delegation, count as, and security in Talmudic logic, a preliminary study | 2013-04-24 | Paper |
Dung's argumentation is essentially equivalent to classical propositional logic with the Peirce-Quine dagger
Logica Universalis | 2013-03-21 | Paper |
Embedding and automating conditional logics in classical higher-order logic
Annals of Mathematics and Artificial Intelligence | 2013-02-18 | Paper |
Introducing reactive Kripke semantics and arc accessibility
Annals of Mathematics and Artificial Intelligence | 2013-02-18 | Paper |
Modelling defeasible and prioritized support in bipolar argumentation
Annals of Mathematics and Artificial Intelligence | 2013-02-18 | Paper |
Completeness theorems for reactive modal logics
Annals of Mathematics and Artificial Intelligence | 2013-02-18 | Paper |
Introducing reactive modal tableaux
Annals of Mathematics and Artificial Intelligence | 2013-02-18 | Paper |
Causal dynamic inference
Annals of Mathematics and Artificial Intelligence | 2013-02-18 | Paper |
Overview on the connection between reactive Kripke models and argumentation networks
Annals of Mathematics and Artificial Intelligence | 2013-02-18 | Paper |
Global view on reactivity: switch graphs and their logics
Annals of Mathematics and Artificial Intelligence | 2013-02-18 | Paper |
A logic of argumentation for specification and verification of abstract argumentation frameworks
Annals of Mathematics and Artificial Intelligence | 2013-02-18 | Paper |
Discussion paper: Changing norms is changing obligation change
Lecture Notes in Computer Science | 2012-11-02 | Paper |
Temporal deontic logic for the generalised Chisholm set of contrary to duty obligations
Lecture Notes in Computer Science | 2012-11-02 | Paper |
Bipolar argumentation frames and contrary to duty obligations, preliminary report
Lecture Notes in Computer Science | 2012-09-21 | Paper |
A numerical approach to the merging of argumentation networks
Lecture Notes in Computer Science | 2012-09-21 | Paper |
What is negation as failure?
Logic Programs, Norms and Action | 2012-07-23 | Paper |
An equational approach to logic programming
Correct Reasoning | 2012-07-23 | Paper |
Semantic interpolation
Journal of Applied Non-Classical Logics | 2012-07-17 | Paper |
| The functional interpretation of logical deduction | 2011-09-13 | Paper |
Logical analysis of the Talmudic rules of general and specific (Klalim-u-Praṭim)
History and Philosophy of Logic | 2011-07-29 | Paper |
Uncertainty rules in Talmudic reasoning
History and Philosophy of Logic | 2011-07-29 | Paper |
Introducing equational semantics for argumentation networks
Lecture Notes in Computer Science | 2011-06-29 | Paper |
Arguing about the trustworthiness of the information sources
Lecture Notes in Computer Science | 2011-06-29 | Paper |
Reactive intuitionistic tableaux
Synthese | 2011-06-08 | Paper |
| Probability in the law: a plea for not making do | 2011-05-31 | Paper |
| Network modalities: an exploration paper | 2011-05-18 | Paper |
| Higher-order coalition logic | 2011-05-11 | Paper |
Reactive automata
Information and Computation | 2011-04-28 | Paper |
| Modal access control logic. Axiomatization, semantics and FOL theorem proving | 2011-04-12 | Paper |
Conditionals and modularity in general logics
Cognitive Technologies | 2011-03-21 | Paper |
The norm implementation problem in normative multi-agent systems
Specification and Verification of Multi-agent Systems | 2010-11-11 | Paper |
Obligations and prohibitions in Talmudic deontic logic
Lecture Notes in Computer Science | 2010-09-29 | Paper |
Modal and temporal argumentation networks
Time for Verification | 2010-09-07 | Paper |
Cumulativity without closure of the domain under finite unions
The Review of Symbolic Logic | 2010-08-13 | Paper |
Belief revision in non-classical logics
The Review of Symbolic Logic | 2010-08-13 | Paper |
Revision, acceptability and context. Theoretical and algorithmic aspects.
Cognitive Technologies | 2010-08-03 | Paper |
| scientific article; zbMATH DE number 5728686 (Why is no real title available?) | 2010-06-29 | Paper |
A comment on work by Booth and co-authors
Studia Logica | 2010-05-07 | Paper |
Preface for Studia Logica special issue (2)
Studia Logica | 2010-03-17 | Paper |
Annotation theories over finite graphs
Studia Logica | 2010-03-17 | Paper |
A logical account of formal argumentation
Studia Logica | 2010-03-17 | Paper |
Modal logics of reactive frames
Studia Logica | 2010-03-17 | Paper |
Semantics for higher level attacks in extended argumentation frames. I: Overview
Studia Logica | 2010-03-17 | Paper |
Meta-argumentation modelling. I: Methodology and techniques
Studia Logica | 2010-03-17 | Paper |
Fibring argumentation frames
Studia Logica | 2010-03-17 | Paper |
Modal provability foundations for argumentation networks
Studia Logica | 2010-03-17 | Paper |
Complete extensions in argumentation coincide with 3-valued stable models in logic programming
Studia Logica | 2010-03-17 | Paper |
Logical modes of attack in argumentation networks
Studia Logica | 2010-03-17 | Paper |
A theory of hierarchical consequence and conditionals
Journal of Logic, Language and Information | 2010-03-05 | Paper |
Modelling evolvable component systems. I: A logical framework
Logic Journal of the IGPL | 2009-12-18 | Paper |
Logical tools for handling change in agent-based systems
(available as arXiv preprint) | 2009-12-01 | Paper |
Roadmap for preferential logics
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
Independence -- revision and defaults
Studia Logica | 2009-11-16 | Paper |
Analysis of the Talmudic argumentum a fortiori inference rule (Kal Vachomer) using matrix abduction
Studia Logica | 2009-11-16 | Paper |
Voting by eliminating quantifiers
Studia Logica | 2009-11-16 | Paper |
Fibred security language
Studia Logica | 2009-11-16 | Paper |
A meta-model of access control in a fibred security language
Studia Logica | 2009-11-16 | Paper |
Quantification in nonclassical logic. Volume I.
Studies in Logic and the Foundations of Mathematics | 2009-10-08 | Paper |
REACTIVE PREFERENTIAL STRUCTURES AND NONMONOTONIC CONSEQUENCE
The Review of Symbolic Logic | 2009-08-26 | Paper |
SIZE AND LOGIC
The Review of Symbolic Logic | 2009-08-26 | Paper |
| Fallacies as cognitive virtues | 2009-04-14 | Paper |
Defeasible inheritance systems and reactive diagrams
Logic Journal of the IGPL | 2009-03-11 | Paper |
Proof theory for fuzzy logics
Applied Logic Series | 2009-01-26 | Paper |
A Sound and Complete Deductive System for CTL* Verification
Logic Journal of the IGPL | 2009-01-21 | Paper |
Cut-Based Abduction
Logic Journal of the IGPL | 2009-01-21 | Paper |
| scientific article; zbMATH DE number 5377428 (Why is no real title available?) | 2008-12-04 | Paper |
| Second-order quantifier elimination. Foundations, computational aspects and applications | 2008-12-04 | Paper |
Reactive Kripke Models and Contrary to Duty Obligations
Lecture Notes in Computer Science | 2008-08-28 | Paper |
Resource-origins of nonmonotonicity
Studia Logica | 2008-07-30 | Paper |
Neural-Symbolic Cognitive Reasoning
Cognitive Technologies | 2008-07-23 | Paper |
Introducing Reactive Kripke Semantics and Arc Accessibility
Pillars of Computer Science | 2008-03-25 | Paper |
Analysis and synthesis of logics. How to cut and paste reasoning systems
Applied Logic Series | 2008-02-07 | Paper |
Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs
Logic Journal of the IGPL | 2008-01-18 | Paper |
Second-order quantifier elimination in higher-order contexts with applications to the semantical analysis of conditionals
Studia Logica | 2007-12-03 | Paper |
Abductive reasoning in neural-symbolic systems
Topoi | 2007-11-14 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2007-06-21 | Paper |
Fuzzy logics based on \([0,1)\)-continuous uninorms
Archive for Mathematical Logic | 2007-06-07 | Paper |
Connectionist modal logic: representing modalities in neural networks
Theoretical Computer Science | 2007-03-12 | Paper |
Advice on Abductive Logic
Logic Journal of the IGPL | 2006-11-30 | Paper |
Cut and pay
Journal of Logic, Language and Information | 2006-11-17 | Paper |
Algebras of measurements: the logical structure of quantum mechanics
International Journal of Theoretical Physics | 2006-09-28 | Paper |
Connectionist computations of intuitionistic reasoning
Theoretical Computer Science | 2006-09-14 | Paper |
Context-dependent abduction and relevance
Journal of Philosophical Logic | 2006-08-14 | Paper |
Value-based Argumentation Frameworks as Neural-symbolic Learning Systems
Journal Of Logic And Computation | 2006-02-21 | Paper |
Łukasiewicz Logic: From Proof Systems To Logic Programming
Logic Journal of the IGPL | 2006-01-18 | Paper |
Mechanizing Mathematical Reasoning
Lecture Notes in Computer Science | 2006-01-10 | Paper |
| scientific article; zbMATH DE number 2236612 (Why is no real title available?) | 2005-12-08 | Paper |
| scientific article; zbMATH DE number 2222017 (Why is no real title available?) | 2005-11-02 | Paper |
| scientific article; zbMATH DE number 2209172 (Why is no real title available?) | 2005-09-28 | Paper |
| scientific article; zbMATH DE number 2209173 (Why is no real title available?) | 2005-09-28 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2005-08-22 | Paper |
| scientific article; zbMATH DE number 2184446 (Why is no real title available?) | 2005-06-30 | Paper |
| scientific article; zbMATH DE number 2177629 (Why is no real title available?) | 2005-06-21 | Paper |
Analytic calculi for product logics
Archive for Mathematical Logic | 2005-02-11 | Paper |
| scientific article; zbMATH DE number 2101986 (Why is no real title available?) | 2004-09-22 | Paper |
Normative Models of Rational Agency: The Theoretical Disutility of Certain Approaches
Logic Journal of the IGPL | 2004-05-27 | Paper |
Many-dimensional modal logics: theory and applications
Studies in Logic and the Foundations of Mathematics | 2004-02-17 | Paper |
Belief Contraction, Anti-formulae and Resource Overdraft: Part I Deletion in Resource Bounded Logics
Logic Journal of the IGPL | 2003-10-16 | Paper |
| scientific article; zbMATH DE number 1950262 (Why is no real title available?) | 2003-07-17 | Paper |
Controlled Revision - An Algorithmic Approach for Belief Revision
Journal Of Logic And Computation | 2003-06-23 | Paper |
| scientific article; zbMATH DE number 1911276 (Why is no real title available?) | 2003-05-15 | Paper |
Products of modal logics. III. Products of modal and temporal logics
Studia Logica | 2003-03-12 | Paper |
| scientific article; zbMATH DE number 1794699 (Why is no real title available?) | 2002-11-25 | Paper |
| scientific article; zbMATH DE number 1827446 (Why is no real title available?) | 2002-11-13 | Paper |
| scientific article; zbMATH DE number 1827456 (Why is no real title available?) | 2002-11-13 | Paper |
| scientific article; zbMATH DE number 1790421 (Why is no real title available?) | 2002-11-12 | Paper |
| scientific article; zbMATH DE number 1735877 (Why is no real title available?) | 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
Journal of Philosophical Logic | 2002-08-20 | Paper |
Labelled Natural Deduction for Conditional Logics of Normality
Logic Journal of the IGPL | 2002-08-08 | Paper |
The new logic
Logic Journal of the IGPL | 2002-04-30 | Paper |
Naming worlds in modal and temporal logic
Journal of Logic, Language and Information | 2002-04-11 | Paper |
Interpolation in practical formal development
Logic Journal of the IGPL | 2002-03-11 | Paper |
Quantum logic, Hilbert space, revision theory
Artificial Intelligence | 2002-03-03 | Paper |
Goal-directed proof theory
Applied Logic Series | 2002-02-25 | Paper |
More on non-cooperation in dialogue logic
Logic Journal of the IGPL | 2002-01-31 | Paper |
Labelled resolution for classical and non-classical logics
Studia Logica | 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
Oxford Logic Guides | 2001-10-29 | Paper |
Non-cooperation in dialogue logic
Synthese | 2001-10-14 | Paper |
Symbolic knowledge extraction from trained neural networks: A sound approach
Artificial Intelligence | 2001-08-20 | Paper |
| scientific article; zbMATH DE number 1552271 (Why is no real title available?) | 2001-06-25 | Paper |
Algorithmic proof methods and cut elimination for implicational logics. I: Modal implication
Studia Logica | 2001-06-13 | Paper |
| Fibred modal tableaux | 2001-03-12 | Paper |
On modal logics characterized by models with relative accessibility relations. I
Studia Logica | 2001-02-25 | Paper |
| scientific article; zbMATH DE number 1568685 (Why is no real title available?) | 2001-02-22 | Paper |
On modal logics characterized by models with relative accessibility relations. II
Studia Logica | 2001-02-18 | Paper |
| scientific article; zbMATH DE number 1421197 (Why is no real title available?) | 2001-02-05 | Paper |
| scientific article; zbMATH DE number 1420875 (Why is no real title available?) | 2000-11-05 | Paper |
Products of modal logics, part 1
Logic Journal of the IGPL | 2000-07-30 | Paper |
Products of modal logics. Part 2: relativised quantifiers in classical logic
Logic Journal of the IGPL | 2000-07-27 | Paper |
Conditional reasoning in logic programming
The Journal of Logic Programming | 2000-05-25 | Paper |
| scientific article; zbMATH DE number 1406801 (Why is no real title available?) | 2000-02-28 | Paper |
| scientific article; zbMATH DE number 1301606 (Why is no real title available?) | 2000-02-28 | Paper |
| scientific article; zbMATH DE number 1405889 (Why is no real title available?) | 2000-02-23 | Paper |
Calendar Logic
Journal of Applied Non-Classical Logics | 2000-02-08 | Paper |
| scientific article; zbMATH DE number 1241671 (Why is no real title available?) | 1999-11-29 | Paper |
| scientific article; zbMATH DE number 1341468 (Why is no real title available?) | 1999-09-22 | Paper |
| scientific article; zbMATH DE number 1330424 (Why is no real title available?) | 1999-09-02 | Paper |
| scientific article; zbMATH DE number 1222484 (Why is no real title available?) | 1999-08-31 | Paper |
| scientific article; zbMATH DE number 935035 (Why is no real title available?) | 1999-08-31 | Paper |
| scientific article; zbMATH DE number 1256282 (Why is no real title available?) | 1999-07-07 | Paper |
Agents in proactive environments
Journal Of Logic And Computation | 1999-06-28 | Paper |
| scientific article; zbMATH DE number 1219632 (Why is no real title available?) | 1998-11-04 | Paper |
| scientific article; zbMATH DE number 1140670 (Why is no real title available?) | 1998-10-01 | Paper |
| scientific article; zbMATH DE number 1189097 (Why is no real title available?) | 1998-08-13 | Paper |
| scientific article; zbMATH DE number 1163389 (Why is no real title available?) | 1998-06-11 | Paper |
Grafting modalities onto substructural implication systems
Studia Logica | 1998-05-11 | Paper |
Parsing natural language using LDS: a prototype
Logic Journal of the IGPL | 1998-03-12 | Paper |
Introduction to the special issue on combining logics I
Studia Logica | 1997-10-26 | Paper |
Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics
Journal of Symbolic Logic | 1997-10-05 | Paper |
| scientific article; zbMATH DE number 972578 (Why is no real title available?) | 1997-04-21 | Paper |
A proof theoretical approach to default reasoning I: tableaux for default logic
Journal Of Logic And Computation | 1997-04-07 | Paper |
Language and proof theory. Preface to the special issue on ``Proof theory and natural language
Journal of Logic, Language and Information | 1997-03-19 | Paper |
| scientific article; zbMATH DE number 935032 (Why is no real title available?) | 1997-03-19 | Paper |
Fibred semantics for feature-based grammar logic
Journal of Logic, Language and Information | 1997-03-17 | Paper |
Combining temporal logic systems
Notre Dame Journal of Formal Logic | 1997-03-11 | Paper |
| scientific article; zbMATH DE number 980412 (Why is no real title available?) | 1997-02-19 | Paper |
| scientific article; zbMATH DE number 928020 (Why is no real title available?) | 1997-01-02 | Paper |
| scientific article; zbMATH DE number 932649 (Why is no real title available?) | 1996-10-08 | Paper |
| scientific article; zbMATH DE number 847943 (Why is no real title available?) | 1996-08-15 | Paper |
| scientific article; zbMATH DE number 877745 (Why is no real title available?) | 1996-07-08 | Paper |
On the Logic of Information Flow
Logic Journal of the IGPL | 1996-02-20 | Paper |
The Functional Interpretation of the Existential Quantifier
Logic Journal of the IGPL | 1996-02-18 | Paper |
| scientific article; zbMATH DE number 820415 (Why is no real title available?) | 1996-01-07 | Paper |
| scientific article; zbMATH DE number 753774 (Why is no real title available?) | 1995-11-09 | Paper |
| scientific article; zbMATH DE number 512976 (Why is no real title available?) | 1995-05-01 | Paper |
| scientific article; zbMATH DE number 747023 (Why is no real title available?) | 1995-04-24 | Paper |
A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics
Journal of Automated Reasoning | 1995-02-22 | Paper |
Towards automating duality
Computers & Mathematics with Applications | 1995-02-02 | Paper |
| scientific article; zbMATH DE number 868086 (Why is no real title available?) | 1995-01-01 | Paper |
Direct deductive computation on discourse representation structures
Linguistics and Philosophy | 1994-11-10 | Paper |
Adding a temporal dimension to a logic system
Journal of Logic, Language and Information | 1994-11-03 | Paper |
| scientific article; zbMATH DE number 510780 (Why is no real title available?) | 1994-08-28 | Paper |
| scientific article; zbMATH DE number 510781 (Why is no real title available?) | 1994-04-04 | Paper |
Computation with run time skolemisation (N-Prolog part 3)
Journal of Applied Non-Classical Logics | 1994-02-01 | Paper |
Undecidability of modal and intermediate first-order logics with two individual variables
Journal of Symbolic Logic | 1994-01-19 | Paper |
Extending the Curry-Howard interpretation to linear, relevant and other resource logics
Journal of Symbolic Logic | 1993-04-01 | Paper |
| scientific article; zbMATH DE number 140386 (Why is no real title available?) | 1993-03-28 | Paper |
| scientific article; zbMATH DE number 65739 (Why is no real title available?) | 1992-09-27 | Paper |
A family of goal directed theorem provers based on conjunction and implication. I
Journal of Automated Reasoning | 1992-06-27 | Paper |
An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
Journal Of Logic And Computation | 1992-06-25 | Paper |
| scientific article; zbMATH DE number 4041878 (Why is no real title available?) | 1988-01-01 | Paper |
Preservation of expressive completeness in temporal models
Information and Computation | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4081517 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4119669 (Why is no real title available?) | 1987-01-01 | Paper |
Negation as inconsistency. I
The Journal of Logic Programming | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3930376 (Why is no real title available?) | 1985-01-01 | Paper |
N-Prolog: An extension of prolog with hypothetical implication. II. Logical foundations, and negation as failure
The Journal of Logic Programming | 1985-01-01 | Paper |
N-Prolog: An extension of Prolog with hypothetical implications. I.
The Journal of Logic Programming | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3755914 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3827831 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3821688 (Why is no real title available?) | 1981-01-01 | Paper |
Semantical investigations in Heyting's intuitionistic logic
Synthese Library | 1981-01-01 | Paper |
What is a Classical Connective?
Mathematical Logic Quarterly | 1978-01-01 | Paper |
On some new intuitionistic propositional connectives. I
Studia Logica | 1977-01-01 | Paper |
Craig interpolation theorem for intuitionistic logic and extensions Part III
Journal of Symbolic Logic | 1977-01-01 | Paper |
Undecidability of intuitionistic theories formulated with the apartness relation
Fundamenta Mathematicae | 1977-01-01 | Paper |
A new version of Beth semantics for intuitionistic logic
Journal of Symbolic Logic | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3607999 (Why is no real title available?) | 1977-01-01 | Paper |
Completeness properties of heyting's predicate calculus with respect to re models
Journal of Symbolic Logic | 1976-01-01 | Paper |
A normal logic that is complete for neighborhood frames but not for Kripke frames
Theoria | 1976-01-01 | Paper |
On Kreisel's notion of validity in Post systems
Studia Logica | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3588628 (Why is no real title available?) | 1976-01-01 | Paper |
Investigations in modal and tense logics with applications to problems in philosophy and linguistics
Synthese Library | 1976-01-01 | Paper |
Decidability results in non-classical logics
Annals of Mathematical Logic | 1975-01-01 | Paper |
Model theory for tense logics
Annals of Mathematical Logic | 1975-01-01 | Paper |
The decision problem for some finite extensions of the intuitionistic theory of abelian groups
Studia Logica | 1975-01-01 | Paper |
On 2nd order intuitionistic propositional calculus with full comprehension
Archiv für Mathematische Logik und Grundlagenforschung | 1974-01-01 | Paper |
A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property
Journal of Symbolic Logic | 1974-01-01 | Paper |
Applications of Scott's notion of consequence to the study of general binary intensional connectives and entailment
Journal of Philosophical Logic | 1973-01-01 | Paper |
The undecidability of intuitionistic theories of algebraically closed fields and real closed fields
Journal of Symbolic Logic | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3368607 (Why is no real title available?) | 1972-01-01 | Paper |
A general theory of the conditional in terms of a ternary operator
Theoria | 1972-01-01 | Paper |
Decidability of some intuitionistic predicate theories
Journal of Symbolic Logic | 1972-01-01 | Paper |
Sufficient conditions for the undecidability of intuitionistic theories with applications
Journal of Symbolic Logic | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3361852 (Why is no real title available?) | 1972-01-01 | Paper |
Tense systems with discrete moments of time. I
Journal of Philosophical Logic | 1972-01-01 | Paper |
Applications of trees to intermediate logics
Journal of Symbolic Logic | 1972-01-01 | Paper |
A general filtration method for modal logics
Journal of Philosophical Logic | 1972-01-01 | Paper |
Model Theory for Intuitionistic Logic
Mathematical Logic Quarterly | 1972-01-01 | Paper |
Montague Type Semantics for Modal Logics with Propositional Quantifiers
Mathematical Logic Quarterly | 1971-01-01 | Paper |
On decidable, finitely axiomatizable, modal and tense logics without the finite model property. I, II
Israel Journal of Mathematics | 1971-01-01 | Paper |
Decidability results in non-classical logic. III: Systems with statability operators
Israel Journal of Mathematics | 1971-01-01 | Paper |
Selective filtration in modal logic Part A. Semantic tableaux method
Theoria | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3370308 (Why is no real title available?) | 1971-01-01 | Paper |
The decidability of the Kreisel-Putnam system
Journal of Symbolic Logic | 1971-01-01 | Paper |
