Dov Gabbay

Q: What Schools Are Affiliated With Dov Gabbay

Dov Gabbay is affiliated with the following schools: Bar-Ilan University, Imperial College London, University of Luxembourg, Hebrew University of Jerusalem, Stanford University, King's College London

Dov Gabbay's AcademicInfluence.com Rankings

Dov Gabbay

Philosophy

#632

World Rank

#1232

Historical Rank

Logic

#83

World Rank

#224

Historical Rank

philosophy Degrees

Download Badge

Philosophy

Why Is Dov Gabbay Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Dov M. Gabbay is an Israeli logician. He is Augustus De Morgan Professor Emeritus of Logic at the Group of Logic, Language and Computation, Department of Computer Science, King's College London. Work Gabbay has authored over four hundred and fifty research papers and over thirty research monographs. He is editor of several international journals, and of many reference works and handbooks of logic, including the Handbook of Philosophical Logic , the Handbook of Logic in Computer Science] , and the Handbook of Logic in Artificial Intelligence and Logic Programming .

(See a Problem?)

Dov Gabbay's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Handbook of Philosophical Logic (2002) (1211)
Handbook of logic in computer science. (1992) (909)
Handbook of logic in artificial intelligence and logic programming (vol. 1) (1993) (843)
On the temporal analysis of fairness (1980) (773)
Many-Dimensional Modal Logics: Theory and Applications (2003) (636)
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning (1994) (579)
Theoretical Foundations for Non-Monotonic Reasoning in Expert Systems (1989) (423)
Temporal Logic Mathematical Foundations and Computational Aspects (1994) (415)
Inconsistency Handling in Multperspective Specifications (1994) (381)
What Is Negation as Failure? (2012) (347)
Handbook of defeasible reasoning and uncertainty management systems: volume 2: reasoning with actual and potential contradictions (1998) (346)
The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems (1987) (330)
Handbook of the history of logic (2004) (320)
Dynamic syntax - the flow of language understanding (2000) (317)
Inconsistency Handling in Multi-Perspective Specifications (1993) (315)
A Logical Account of Formal Argumentation (2009) (298)
Neural-symbolic learning systems - foundations and applications (2012) (266)
Handbook of tableau methods (1999) (250)
Semantical investigations in Heyting's intuitionistic logic (1981) (239)
Inconsistency Handling in Multiperspective Specifications (1994) (232)
Symbolic knowledge extraction from trained neural networks: A sound approach (2001) (224)
Adding a temporal dimension to a logic system (1992) (218)
N-Prolog: An Extension of Prolog with Hypothetical Implications I (1984) (215)
Products of Modal Logics, Part 1 (1998) (205)
Handbook of Quantum logic and Quantum Structures (2007) (201)
Handbook of Philosophical Logic, Volume II. Extensions of Classical Logic (1986) (200)
Chapter 13 – Labelled Deductive Systems (2003) (199)
Quantifier Elimination in Second-Order Predicate Logic (1992) (185)
METATEM: A Framework for Programming in Temporal Logic (1989) (185)
Proof Theory for Fuzzy Logics (2008) (181)
Handbook of Temporal Reasoning in Artificial Intelligence (2005) (179)
Interpolation and Definability: Modal and Intuitionistic Logic (2005) (154)
Neural-Symbolic Cognitive Reasoning (2008) (151)
An Irreflexivity Lemma with Applications to Axiomatizations of Conditions on Tense Frames (1981) (145)
Temporal logic (vol. 1): mathematical foundations and computational aspects (1994) (140)
The imperative future: principles of executable temporal logic (1996) (140)
Making inconsistency respectable: a logical framework for inconsistency in reasoning (1991) (133)
Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics (1996) (122)
Support in Abstract Argumentation (2010) (121)
The reach of abduction : insight and trial (2005) (119)
Handbook of deontic logic and normative systems (2013) (115)
An Axiomitization of the Temporal Logic with Until and Since over the Real Numbers (1990) (115)
Labelled Deductive Systems: Volume 1 (1996) (113)
Modal and temporal logic programming (1987) (109)
Handbook of logic in artificial intelligence and logic programming (Vol. 4): epistemic and temporal reasoning (1995) (108)
N-Prolog: An Extension of Prolog with Hypothetical Implication II - Logical Foundations, and Negation as Failure (1985) (104)
Investigations in modal and tense logics with applications to problems in philosophy and linguistics (1976) (104)
What is Negation (1999) (101)
Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology (2005) (100)
Handbook of Quantum Logic and Quantum Structures: Quantum Logic (2009) (99)
What is a logical system (1994) (97)
Complete Extensions in Argumentation Coincide with 3-Valued Stable Models in Logic Programming (2009) (90)
EXPRESSIVE FUNCTIONAL COMPLETENESS IN TENSE LOGIC (1981) (88)
Second-Order Quantifier Elimination - Foundations, Computational Aspects and Applications (2008) (86)
On the Temporal Basis of Fairness. (1980) (86)
Nonmonotonic reasoning and uncertain reasoning (1994) (83)
The New Logic (2001) (82)
A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property (1974) (77)
Fibring Argumentation Frames (2009) (75)
Interpolation and definability (2005) (75)
The Many Valued and Nonmonotonic Turn in Logic (2007) (75)
Fuzzy logics based on [0,1)-continuous uninorms (2007) (75)
The Reach of Abduction (2005) (74)
Sequent and hypersequent calculi for abelian and łukasiewicz logics (2002) (73)
Temporal Logic: Mathematical Foundations and Computational Aspects: Volume 2 (1994) (72)
Combining Temporal Logic Systems (1996) (71)
Encoding Two-Valued Nonclassical Logics in Classical Logic (2001) (71)
Extending the Curry-Howard interpretation to linear, relevant and other resource logics (1992) (67)
MetateM: An introduction (1995) (67)
Handbook of paraconsistency (2007) (62)
The Reach of Abduction: Insight and Trial (A Practical Logic of Cognitive Systems, vol. 2) (2005) (61)
Meta-Argumentation Modelling I: Methodology and Techniques (2009) (59)
Advances in Temporal Logic (2000) (58)
Quantification in Nonclassical Logic (2009) (55)
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems (2008) (55)
Making Inconsistency Respectable: Part 2 - Meta-level handling of inconsistency (1993) (55)
Semantics for Higher Level Attacks in Extended Argumentation Frames Part 1: Overview (2009) (55)
Logic and the Modalities in the Twentieth Century (2006) (52)
The Rise of Modern Logic: From Leibniz to Frege (2004) (52)
Advice on Abductive Logic (2006) (52)
Temporal Logic & Historical Databases (1991) (51)
Meta-Reasoning in Executable Temporal Logic (1991) (51)
Handbook of Quantum Logic and Quantum Structures: Quantum Structures (2007) (50)
Expressive Functional Completeness in Tense Logic (Preliminary report) (1981) (50)
On the Logic of Information Flow (1995) (49)
Intuitonistic Basis for Non-Monotonic Logic (1982) (49)
Value-based Argumentation Frameworks as Neural-symbolic Learning Systems (2005) (48)
Equational approach to argumentation networks (2012) (48)
Credulous vs. Sceptical Semantics for Ordered Logic Programs (1991) (48)
BELIEF REVISION IN NON-CLASSICAL LOGICS (2008) (47)
Connectionist modal logic: Representing modalities in neural networks (2007) (47)
Craig's interpolation theorem for modal logics (1972) (47)
More on Non-Cooperation in Dialogue Logic (2001) (47)
An Overview of Fibred Semantics and the Combination of Logics (1996) (46)
Handbook of logic in computer science. Volume 4. Semantic modelling (1995) (46)
Qualitative and Quantitative Practical Reasoning (1997) (45)
Mathematical Problems from Applied Logic I (2006) (43)
On 2nd order intuitionistic propositional calculus with full comprehension (1974) (41)
LDS - Labelled Deductive Systems: Volume 1 - Foundations (1994) (41)
Goal-Directed Proof Theory (2000) (41)
Handbook of Temporal Reasoning in Artificial Intelligence (Foundations of Artificial Intelligence (Elsevier)) (2005) (40)
Handbook of logic in computer science. Volume 3. Semantic Structures (1995) (40)
Proof theory for fuzzy logics. Applied Logic Series, vol. 36 (2010) (39)
Applications of trees to intermediate logics (1972) (38)
Logic: A History of its Central Concepts (2012) (38)
Extensions of Classical Logic (1989) (37)
The decidability of the Kreisel-Putnam system (1970) (37)
Arguing about the Trustworthiness of the Information Sources (2011) (37)
A general filtration method for modal logics (1972) (37)
Calendar Logic (1998) (37)
Handbook of the Logic of Argument and Inference: The Turn Towards the Practical (2002) (37)
On some new intuitionistic propositional connectives. I (1977) (37)
Handbook of Philosophical Logic Vol. 10 (2001) (36)
A Practical Logic of Cognitive Systems, Volume 2: The Reach of Abduction: Insight and Trial (2005) (36)
Logical Modes of Attack in Argumentation Networks (2009) (36)
Background : computational structures (1992) (36)
Controlled Revision - An algorithmic approach for belief revision (2003) (36)
Reactive Kripke Models and Contrary to Duty Obligations (2008) (36)
Probabilistic Argumentation: An Equational Approach (2015) (36)
Fibring Neural Networks (2004) (35)
Labelled deduction (2000) (35)
Agenda Relevance: A Study in Formal Pragmatics (2013) (35)
Reactive Kripke Semantics and Arc Accessibility (2007) (34)
Modelling defeasible and prioritized support in bipolar argumentation (2012) (34)
Non-Cooperation In Dialogue Logic (2001) (33)
Analysis of the Talmudic Argumentum A Fortiori Inference Rule (Kal Vachomer) using Matrix Abduction (2009) (32)
Semantics and proof-theory of depth bounded Boolean logics (2013) (31)
Quantum logic, Hilbert space, revision theory (2002) (31)
Negation as inconsistency .I (1986) (31)
Theoretical Foundations for Non-Monotonic Reasoning Part 2: Structured Non-Monotonic Theories (1991) (31)
Handbook of logic in computer science. Volume 2. Background: Computational structures (1993) (31)
Equilibrium States in Numerical Argumentation Networks (2014) (31)
Handbook of Philosophical Logic. Volume 1 (1989) (30)
Labelled deductive systems: a position paper (1993) (30)
BRANCHING QUANTIFIERS, ENGLISH, AND MONTAGUE-GRAMMAR (1974) (30)
Introducing Equational Semantics for Argumentation Networks (2011) (30)
A Proof Theoretical Approach to Default Reasoning I: Tableaux for Default Logic (1996) (29)
Cut-free proof systems for logics of weak excluded middle (1999) (29)
Undecidability of modal and intermediate first-order logics with two individual variables (1993) (29)
Natural-Language Content: A Proof-Theoretic Perspective (1992) (29)
Analysis and Synthesis of Logics (2008) (28)
Fibred Semantics and the Weaving of Logics (2012) (28)
A socio-cognitive model of trust using argumentation theory (2013) (28)
Direct deductive computation on discourse representation structures (1994) (28)
A Numerical Approach to the Merging of Argumentation Networks (2012) (28)
A generalization of analytic deduction via labelled deductive systems. Part I: Basic substructural logics (1994) (28)
Sameness and Individuation (1973) (28)
From Runtime Verification to Evolvable Systems (2007) (27)
MODEL THEORY FOR TENSE LOGICS (1975) (27)
Negation as Inconsistency I (1986) (27)
A connectionist inductive learning system for modal logic programming (2002) (27)
Interpolation in Practical Formal Development (2001) (26)
Abduction in Labelled Deductive Systems - A Conceptual Abstract (1991) (26)
Interpolation and Definability in Modal Logics (Oxford Logic Guides) (2005) (26)
ON THE SEMANTICS AND PRAGMATICS OF SPECIFIC AND NON-SPECIFIC INDEFINITE EXPRESSIONS (1976) (26)
Analytic Calculi for Product Logics (2004) (26)
A General Theory of Structured Consequence Relations (1995) (26)
Neural-Symbolic Learning Systems (2002) (25)
Decidability of some intuitionistic predicate theories (1972) (25)
Modal Provability Foundations for Negation by Failure (1991) (25)
Classical vs non-classical logics (the universality of classical logic) (1994) (25)
Fibring Semantic Tableaux (1998) (24)
Epistemic and temporal reasoning (1995) (24)
Proceedings of 16th European Conference on Artificial Intelligence, ECAI 2004 (2004) (24)
Handbook of logic in computer science. Volume 1. Background: Mathematical structures (1993) (24)
Handbook of Philosophical Logic, Vol. Iii (1986) (24)
Fibred semantics for feature-based grammar logic (1996) (24)
The Functional Interpretation of Logical Deduction (2011) (24)
Abductive reasoning in neural-symbolic systems (2007) (23)
What is Negation in a System (1987) (23)
Chapter 2 - The Practical Logic of Cognitive Systems (2003) (23)
Products of modal logics. Part 2: Relativised quantifiers in classical logic (2000) (22)
Normative Models of Rational Agency: The Theoretical Disutility of Certain Approaches (2003) (22)
Temporal expressive completeness in the presence of gaps (1993) (22)
Reactive automata (2011) (22)
Sets and Extensions in the Twentieth Century (2012) (22)
Second-order Quantifier Elimination (2008) (21)
Tableau Methods for Substructural Logics (1999) (21)
Verbs, events, and the flow of time (1980) (21)
The Practical Turn in Logic (2005) (21)
Conditional reasoning in logic programming (2000) (21)
Abduction and Dialogical Proof in Argumentation and Logic Programming (2014) (20)
Embedding and automating conditional logics in classical higher-order logic (2011) (20)
Decidability results in non-classical logics: Part I (1975) (20)
Cut and Pay (2006) (20)
Intuitionistic Basis for Input/Output Logic (2014) (20)
Labelled abduction and relevance reasoning (1994) (19)
Modal Logics of Reactive Frames (2009) (19)
A Theory of Hypermodal Logics: Mode Shifting in Modal Logic (2002) (19)
Compiled Labelled Deductive Systems: A Uniform Presentation of Non-Classical Logics (2004) (19)
Temporal, numerical and meta-level dynamics in argumentation networks (2012) (19)
Logic, Language, and Reasoning Essays in Honour of Dov Gabbay (1999) (19)
Grafting Modalities onto Substructural Implication Systems (1997) (19)
Roadmap for preferential logics (2008) (19)
Handbook of Defeasible Reasoning and Uncertainty Management Systems, Vol 3 (1998) (19)
Recursive Causality in Bayesian Networks and Self-Fibring Networks (2004) (19)
Introducing reactive Kripke semantics and arc accessibility (2012) (19)
The Functional Interpretation of the Existential Quantifier (1995) (18)
Revision by Translation (2000) (18)
Semantic Proof of The Craig Interpolation Theorem for Intuitionistic Logic and Extensions. Part I (1971) (18)
Temporal Dynamics of Argumentation Networks (2005) (18)
A Sound and Complete Deductive System for CTL* Verification (2008) (18)
The Equational Approach to CF2 Semantics (2012) (18)
Obligations and prohibitions in Talmudic deontic logic (2010) (18)
Adding a temporal dimension to a logic (1992) (18)
What's on My Mind (1999) (18)
Applying connectionist modal logics to distributed knowledge representation problems (2004) (17)
Fibred Security Language (2009) (17)
Multi-sorted Argumentation (2011) (17)
Connectionist computations of intuitionistic reasoning (2006) (17)
British Logic in the Nineteenth Century (2008) (17)
The Functional Interpretation of Modal Necessity (1997) (17)
Dung’s Argumentation is Essentially Equivalent to Classical Propositional Logic with the Peirce–Quine Dagger (2011) (17)
Conditional Labelling for Abstract Argumentation (2011) (17)
Abductive reasoning and learning (2000) (17)
Negation and contradiction (1999) (16)
Products of Modal Logics. Part 3: Products of Modal and Temporal Logics (2002) (16)
Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs (2007) (16)
Naming Worlds in Modal and Temporal Logic (2002) (16)
Logical Tools for Handling Change in Agent-Based Systems (2008) (16)
Handbook of Philosophical Logic, 2nd Edition (2012) (16)
An intuitionistic basis for non-monotonic reasoning (1988) (16)
Temporal Logic in the Context of Databases (2007) (16)
Logical foundations for bipolar and tripolar argumentation networks: preliminary results (2016) (16)
Goal-Directed Calculli for Gödel-Dummett Logics (2003) (16)
The Norm Implementation Problem in Normative Multi-Agent Systems (2009) (16)
Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language (1995) (16)
Algorithmic Proof with Diminishing Resources, Part 1 (1990) (15)
Elementary logics - a procedural perspective (1998) (15)
Research on Language and Computation (2003) (15)
Labelled Natural Deduction for Conditional Logics of Normality (2002) (15)
Craig interpolation theorem for intuitionistic logic and extensions Part III (1977) (15)
A neural cognitive model of argumentation with application to legal inference and decision making (2014) (15)
Model Theory for Intuitionistic Logic (1972) (15)
Towards a computational treatment of time (1995) (15)
On decidable, finitely axiomatizable, modal and tense logics without the finite model property Part I (1971) (15)
Proceedings of the International Conference on Formal and Applied Practical Reasoning (1996) (15)
Lukasiewicz Logic: From Proof Systems To Logic Programming (2005) (15)
Mathematical Problems from Applied Logic II: Logics for the XXIst Century (2007) (15)
TENSE LOGICS AND THE TENSES OF ENGLISH (1975) (15)
Annals of Mathematics and Artificial Intelligence (2004) (15)
Handbook of defeasible reasoning and uncertainty management systems: Volume 4 abductive reasoning and learning (2000) (14)
Laws and Models of Science (2004) (14)
Philosophy of Physics (Handbook of the Philosophy of Science) 2 volume set (2006) (14)
Restricted Access Logics for Inconsistent Information (1993) (14)
REACTIVE PREFERENTIAL STRUCTURES AND NONMONOTONIC CONSEQUENCE (2008) (14)
How to Construct a Logic for Your Application (1992) (14)
Modal Provability Foundations for Argumentation Networks (2009) (14)
Neural-Symbolic Intuitionistic Reasoning (2003) (14)
Interest Group in Pure and Applied Logics (1995) (14)
Modal and temporal argumentation networks (2012) (14)
Background : mathematical structures (1992) (14)
Goal Oriented Deductions (2002) (14)
Fibred modal tableaux (2000) (14)
Compromise Update and Revision: A Position Paper (1999) (13)
Algebras of Measurements: The Logical Structure of Quantum Mechanics (2005) (13)
Normative Reasoning and Consequence (2013) (13)
Computation with run time skolemisation (N-Prolog part 3) (1993) (13)
Belief Contraction, Anti-formulae and Resource Overdraft: Part I Deletion in Resource bounded Logics (2002) (13)
Montague Type Semantics for Modal Logics with Propositional Quantifiers (1971) (13)
Revision, Acceptability and Context - Theoretical and Algorithmic Aspects (2010) (13)
A Structural Property on Modal Frames Characterizing Default Logic (1996) (13)
Analytic Sequent Calculi for Abelian and ukasiewicz Logics (2002) (13)
Logic and The Practical Turn (2002) (12)
Hypersequents and fuzzy logic. (2004) (12)
Conditionals and Modularity in General Logics (2010) (12)
Structured Contexts with Fibred Semantics (2000) (12)
Belief revision, belief merging and voting (2006) (12)
Sufficient conditions for the undecidability of intuitionistic theories with applications (1972) (12)
A general theory of the conditional in terms of a ternary operator (2008) (12)
Information Flow and the Lambek Calculus (1994) (12)
A Methodology for Iterated Theory Change (1996) (12)
Labelled Natural Deduction (1999) (12)
A Logical Framework for Monitoring and Evolving Software Components (2007) (12)
Resource-origins of Nonmonotonicity (2008) (11)
The paradoxes of permission an action based solution (2014) (11)
Interest Group in Pure and Applied Logics (IGPL) (1995) (11)
A Theory of Hierarchical Consequence and Conditionals (2008) (11)
The Handling of Loops in Talmudic Logic, with Application to Odd and Even Loops in Argumentation (2014) (11)
Towards Automating Duality (1994) (11)
Temporal Deontic Logic for the Generalised Chisholm Set of Contrary to Duty Obligations (2012) (11)
Connections between Belief Revision, Belief Merging and Social Choice (2009) (11)
Elements of algorithmic proof (1993) (11)
Dealing with label dependent deontic modalities (1998) (11)
Conditional logic programming (1994) (11)
Defeasible inheritance systems and reactive diagrams (2008) (11)
Interpolable Formulas in Equilibrium Logic and Answer Set Programming (2011) (10)
Special issue on Combining Probability and Logic (2003) (10)
Higher-Order Coalition Logic (2010) (10)
SIZE AND LOGIC (2009) (10)
Fibred Tableaux for Multi-Implication Logics (1996) (10)
Reactive Kripke Semantics (2013) (10)
Handbook of philosophical logic. Vol. 1, Elements of classicallogic (1994) (10)
An equational approach to the merging of argumentation networks (2014) (10)
The attack as strong negation, part I (2015) (10)
Discovering World with Fuzzy Logic: Perspectives and Approaches to Formalization of Human-Consistent Logical Systems (10)
Global view on reactivity: switch graphs and their logics (2012) (10)
Algorithmic Proof Methods and Cut Elimination for Implicational Logics Part I: Modal Implication (1998) (10)
A Language for Handling Hypothetical Updates and Inconsistency (1996) (10)
CUMULATIVITY WITHOUT CLOSURE OF THE DOMAIN UNDER FINITE UNIONS (2008) (10)
Structured Belief Bases: A Practical Approach to Prioritised Base Revision (1997) (9)
Proceedings of the First International Conference on Temporal Logic (1994) (9)
The handling of loops in argumentation networks (2016) (9)
Theory of disjunctive attacks, Part I (2016) (9)
Alternatives of classical logic (1986) (9)
Bipolar Argumentation Frames and Contrary to Duty Obligations, Preliminary Report (2012) (9)
Tense systems with discrete moments of time, part I (1972) (9)
Chapter 7 – Agenda Relevance (2003) (9)
Philosophy of economics (2012) (9)
Forgetting an Argument (2020) (9)
The undecidability of intuitionistic theories of algebraically closed fields and real closed fields (1973) (9)
Conditional implications and non-monotonic consequence (1996) (9)
Quantification in Nonclassical Logic (Studies in Logic and the Foundations of Mathematics) (2007) (9)
Logic and the Law: Crossing the Lines of Discipline (2011) (8)
Logic from Russell to Church (2009) (8)
Cut-Based Abduction (2008) (8)
Distributed Knowledge Representation in Neural-Symbolic Learning Systems: A Case Study (2003) (8)
The Semantic Basis (2009) (8)
Information, Uncertainty and Fusion (2000) (8)
Non-Monotonicity and Holicity in Quantum Logic (2009) (8)
The Reduction Method (1964) (8)
Completeness properties of heyting's predicate calculus with respect to re models (1976) (8)
The rule-based systems project: Using confirmation theory and non-monotonic logics for incremental learning (1992) (8)
Introduction to Labelled Deductive Systems (2014) (8)
On Modal Logics Characterized by Models with Relative Accessibility Relations: Part I (2000) (8)
Labelled Resolution for Classical and Non-classical Logics (1997) (8)
Elements of classical logic (1994) (8)
Logical Analysis of the Talmudic Rules of General and Specific (Klalim-u-Pratim) (2011) (7)
Topics in the philosophy of language (1989) (7)
Fallacies as Cognitive Virtues (2009) (7)
Fibred Tableaux for Multi-Implication Logic (1996) (7)
Annotation Theories over Finite Graphs (2009) (7)
Greek, Indian and Arabic Logic (2004) (7)
Logic for Artificial Intelligence and Information Technology (2007) (7)
Argumentation Neural Networks (2004) (7)
Selective filtration in modal logic Part A. Semantic tableaux method (2008) (7)
Chapter 4 – Formal Pragmatics (2003) (7)
Two dimensional Standard Deontic Logic [including a detailed analysis of the 1985 Jones–Pörn deontic logic system] (2012) (7)
Mining and Using Key-Words and Key-Phrases to Identify the Era of an Anonymous Text (2017) (7)
FUTURE Executable Temporal Logic for Interactive Systems (1987) (7)
Indefinites as Epsilon Terms: A Labelled Deduction Account (1997) (7)
Formal approaches to practical reasoning: A survey (2002) (7)
Preservation of Expressive Completeness in Temporal Models (1987) (7)
Reasoning about delegation and revocation schemes in answer set programming (2014) (7)
Reactive Kripke models and contrary to duty obligations. Part A: Semantics (2013) (7)
Normality, Non-contamination and Logical Depth in Classical Natural Deduction (2019) (7)
Interactive logic: selected papers from the 7th Augustus de Morgan workshop, London (2008) (7)
A unified compilation style labelled deductive system for modal, substructural and fuzzy logics (2000) (7)
Intelligent evaluation of evidence using Wigmore diagrams (2011) (7)
Abduction in labelled deductive systems (2000) (7)
Decidability results in non-classical logic. III (1971) (7)
INTRODUCTION AND DISCUSSION (2005) (7)
Handbook of the history of logic. Vol. 1, Greek, Indian and Arabic logic (2004) (6)
Theory of Semi-Instantiation in Abstract Argumentation (2015) (6)
When are Two Arguments the Same? Equivalence in Abstract Argumentation (2014) (6)
On decidable, finitely axiomatizable, modal and tense logics without the finite model property Part II (1971) (6)
Do We Really Need Tenses Other Than Future and Past (1979) (6)
Philosophy of Psychology and Cognitive Science (2006) (6)
Parsing Natural Language using LDS: A Prototype (1997) (6)
A revision-based logical framework for evolvable software (2007) (6)
Arguing about Trust in Multiagent Systems (2010) (6)
Philosophy of Mathematics (2009) (6)
What is a logical system? An evolutionary view: 1964-2014 (2014) (6)
Language Understanding: A Procedural Perspective (1996) (6)
Reactive intuitionistic tableaux (2011) (6)
Contrary to time conditionals in Talmudic logic (2012) (6)
DEMO --- A Demo of Epistemic Modelling (2007) (6)
From A Hilbert Calculus to its Model Theoretic Semantics (1992) (6)
Towards the MEDLAR Framework (1991) (6)
Second-Order Quantifier Elimination in Higher-Order Contexts with Applications to the Semantical Analysis of Conditionals (2007) (6)
Discussion Paper: Changing Norms Is Changing Obligation Change (2012) (6)
Cooperate with your logic ancestors (1999) (6)
Relevance in the Law (2011) (6)
Completeness theorems for reactive modal logics (2012) (6)
A New Perspective on Nonmonotonic Logics (2016) (6)
A New Approach to Quantum Logic (2007) (6)
Future determination of entities in Talmudic public announcement logic (2013) (5)
Approaches to Legal Rationality (2011) (5)
A Meta-model of Access Control in a Fibred Security Language (2009) (5)
Handbook of philosophical logic. Vol. 3, Alternatives ofclassical logic (1994) (5)
Abduction and Creative Inferences in Science (2004) (5)
Further Applications of the Gabbay-Rodrigues Iteration Schema in Argumentation and Revision Theories (2016) (5)
Quantification in Non-classical Logics (2009) (5)
Languages, Meta-languages and METATEM, A Discussion Paper (1996) (5)
Critical analysis of the Carmo-Jones system of Contrary-to-Duty obligations (2010) (5)
A semantics for obligations (2008) (5)
Executing Temporal Logic: Review and Prospects (Abstract) (1988) (5)
Modelling evolvable component systems: Part I: A logical framework (2009) (5)
Metalevel priorities and neural networks (2005) (5)
An Analysis of Defeasible Inheritance Systems (2010) (5)
Advanced Tense Logic (2002) (5)
Two Dimensional Propositional Tense Logics (1976) (5)
Language and proof theory (1996) (5)
The attack as intuitionistic negation (2015) (5)
A new version of Beth semantics for intuitionistic logic (1977) (5)
What is a Classical Connective? (1978) (5)
Logical Handling of Inconsistent and Default Information (1996) (5)
Toward a Linguistic Interpretation of Deontic Paradoxes - Beth-Reichenbach Semantics Approach for a New Analysis of the Miners Scenario (2014) (5)
Logical Handling of Default and Inconsistent Information (1997) (5)
Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996 : proceedings (1996) (5)
Using the Temporal Logic RDL for Design Specifications (1991) (5)
Semantic interpolation (2009) (4)
When Text Authors Lived Using Undated Citations (2014) (4)
Syntactic computation as labelled deduction: WH a case study (2000) (4)
Goal-Directed Methods for Lukasiewicz Logic (2004) (4)
Applications of scott's notion of consequence to the study of general binary intensional connectives and entailment (1973) (4)
The Talmudic Logic Project, Ongoing Since 2008 (2019) (4)
The Laws of Evidence and Labelled Deduction (2003) (4)
Introducing reactive modal tableaux (2012) (4)
Editorial comment about "On the Difference between ABA and AA" (2015) (4)
A self-correcting iteration schema for argumentation networks (2014) (4)
Handbook of logic in computer science. Volume 5. Logic and Algebraic Methods (2000) (4)
Resolution of conflicts and normative loops in the Talmud (2011) (4)
Degrees of "in", "out" and "undecided" in Argumentation Networks (2016) (4)
A logic of argumentation for specification and verification of abstract argumentation frameworks (2012) (4)
Modal Varieties of Temporal Logic (2005) (4)
Dznamics of Practical Reasoning: A Position Paper (1998) (4)
How to make your logic fuzzy (1996) (4)
A normal logic that is complete for neighborhood frames but not for Kripke frames (2008) (4)
Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings (1994) (4)
Crossover: a unified view (1998) (4)
Mediaeval and Renaissance Logic (2008) (4)
Sequential Dynamic Logic (2012) (4)
The Equational Approach to Contrary-to-duty Obligations (2014) (4)
Repetition as a Context Selection Constraint : A Study in the Cognitive Underpinnings of Persuasion (2016) (4)
Reactive standard deontic logic (2015) (4)
Coalition Formation via Negotiation in Multiagent Systems with Voluntary Attacks (2010) (4)
Key-Phrases as Means to Estimate Birth and Death Years of Jewish Text Authors (2015) (4)
Products of modal logics and tensor products of modal algebras (2014) (4)
Introduction to the special issue on Loops in Argumentation (2016) (4)
The Law of Evidence and Labelled Deduction: A Position Paper (2011) (4)
Halfway between points and intervals. A temporal logic based on ordered trees (2003) (4)
A Survey of Decidability Results for Modal, Tense and Intermediate Logics1 (1973) (3)
Connectionist Non-classical Logics: Distributed Reasoning & Learning in Neural Networks (2008) (3)
Semantical Correspondence Properties of Some Modal Systems of Logic (1993) (3)
Principles of Talmudic Logic (2013) (3)
Algorithms in cognition, informatics and logic: A position manifesto (2010) (3)
Introducing Bayesian Argumentation Networks (2016) (3)
A Normative View on the Blocks World (2008) (3)
Interpolation and Definability, Volume 1: Modal and Intuitionistic Logic (2005) (3)
When Are Two Arguments the Same ? Invariance in Abstract Argumentation (2012) (3)
Text Mining for Evaluating Authors' Birth and Death Years (2019) (3)
Overview on the connection between reactive Kripke models and argumentation networks (2012) (3)
The Finite Model Property (1976) (3)
Reasoning Schemes, Expert Opinion and Critical Questions. Sex Offenders Case Study (2017) (3)
On Kreisel's notion of validity in post systems (1976) (3)
Journal of Applied Logic Special Volume on Neural-Symbolic Systems (2004) (3)
Common Foundations for belief revision, belief merging and voting (2007) (3)
Logic and algebraic methods (2000) (3)
Causal dynamic inference (2012) (3)
Proceedings of the First International Joint Conference on Qualitative and Quantitative Practical Reasoning (1997) (3)
Modal Access Control Logic - Axiomatization, Semantics and FOL Theorem Proving (2010) (3)
Modal Foundations for Argumentation Networks (2009) (3)
Homogeneous And Heterogeneous Logical Proportions: An Introduction (2018) (2)
Neural-Symbolic Integration: The Road Ahead (2002) (2)
Representation of the Montague Semantics as a Form of the Suppes Semantics with Applications to the Problem of the Introduction of the Passive Voice, the Tenses, and Negation as Transformations (1973) (2)
Argument Revival in Annotated Argumentation Networks (2013) (2)
Report from Dagstuhl Perspectives Workshop 15362 Present and Future of Formal Argumentation (2016) (2)
A generalization of the concept of intensional semantics (1974) (2)
Philosophy of Logic (2006) (2)
Present and Future of Formal Argumentation (Dagstuhl Perspectives Workshop 15362) (2018) (2)
Independence — Revision and Defaults (2009) (2)
A Theory of Hierarchical Conditionals (2009) (2)
Reasoning under the Influence of Universal Distortion. Sex Offenders Case Study (2017) (2)
Present and Future of Formal Argumentation (Dagstuhl Perpectives Workshop 15362) (2015) (2)
Modelling evolvable component systems (2009) (2)
REVIEWS-Many-dimensional modal logics: Theory and applications (2005) (2)
Handbook of Temporal Reasoning in AI (2005) (2)
A Connectionist Model for Constructive Modal Reasoning (2005) (2)
The Imperative Future: Past Successes ⇒ Future Actions (1992) (2)
Goal Directed Mechanisms: Proofs, Interpolation and Abduction Procedures (2000) (2)
On Modal Logics Characterized by Models with Relative Accessibility Relations: Part II (2000) (2)
Uncertainty Rules in Talmudic Reasoning (2011) (2)
Handbook of Philosophical Logic: Volume 15 (2010) (2)
Kripke Saul A.. Semantical considerations for modal logics. Proceedings of a Colloquium on Modal and Many-valued Logics, Helsinki, 23-26 August, 1962 , Acta Philosophica Fennica 1963, pp. 83–94. (1969) (2)
CLDS for Propositional Intuitionistic Logic (1999) (2)
The Degrees of Monotony-Dilemma in Abstract Argumentation (2021) (2)
Conditonal Logic Programming (1994) (2)
Review: Saul A. Kripke, Semantical Considerations for Modal Logics (1969) (2)
FSL - Fibred Security Language (2009) (2)
An Equational Approach to Logic Programming (2012) (2)
Undecidability of intuitionistic theories formulated with the apartness relation (1977) (2)
Combining Logic II - Introduction (1997) (2)
Topological Aspects of Matrix Abduction 1 (2015) (2)
An introduction to temporal logic (1996) (2)
Fibred Modal Tableaux ( preliminary report ) (1998) (2)
Updating Atomic Information in Labelled Database Systems (1992) (2)
The decision problem for some finite extensions of the intuitionistic theory of abelian groups (1975) (2)
Towards DiArg: An Argumentation-based Dialogue Reasoning Engine (2020) (2)
Handbook of the History of Logic, volume 3 (2004) (2)
The Formalization Of Pratical Reasoning: Problems And Prospects (2018) (2)
Agents in Proactive Environments (1997) (2)
Labelled abduction: compiled labelled abductive systems (2000) (2)
Philosophy of Psychology and Cognitive Science: A Volume of the Handbook of the Philosophy of Science Series (Handbook of the Philosophy of Science) (2006) (2)
Machine Argumentation. Can We Replace Taxi Drivers by Robots (2019) (2)
What is Negation in a System? Negation in Structured Consequence Relations (1996) (2)
How to Make Your Logic Fuzzy: Fibred Semantics and the Weaving of Logics (1999) (2)
Belief Contraction, Anti-Formulae and Resource Overdraft: Part II Deletion In Resource Unbounded Logics (2004) (2)
Logic Finite Automata (1995) (2)
Deletion in Resource Unbounded Logics --- Belief Contraction, Anti-Formulae and Resource Overdraft: Part II (2004) (2)
Second-order quantifier elimination, logic programming and argumentation networks (2009) (2)
Temporal logic in a stochastic environment (1995) (2)
Argumentation modelling of the Toulmin scheme (2009) (2)
Chapter 10 Deontic Logic (2012) (1)
MODAL AND SUPERINTUITIONISTIC LOGICS: BASIC CONCEPTS (2005) (1)
Extracting and Tagging Unstructured Citation of a Hebrew Religious Document (2019) (1)
Interpolation in goal directed proof systems 1 (2005) (1)
Knowledge Extraction from Trained Networks (2002) (1)
RDL: an executable temporal logic for the specification and design of real-time systems (1990) (1)
A family of goal directed theorem provers based on conjunction and implication: Part 1 (1991) (1)
Talmudic Norms Approach to Mixtures with a Solution to the Paradox of the Heap: A Position Paper (2020) (1)
Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional Case (2010) (1)
What is Negation in a System 2020? (2021) (1)
Formal Methods and Tools for the Development of Distributed and Real Time Systems: SPEC -- Esprit Project 3096 (Extended Abstract) (1990) (1)
Chapter 3 – Logic as a Description of a Logical Agent (2003) (1)
Explainable Reasoning in Face of Contradictions: From Humans to Machines (2021) (1)
A Meta-level Rewrite Language for Non-linear Planning (1991) (1)
FURTHER RESULTS AND DISCUSSION (2005) (1)
Systems of Interacting Argumentation Networks (2014) (1)
Some Decidability Results (1976) (1)
Towards a Connectionist Argumentation Framework (2004) (1)
Attack-Defence Frameworks: Argumentation-Based Semantics for Attack-Defence Trees (2020) (1)
Getting possibilities from the impossible (2006) (1)
Handbook of philosophical logic. Vol. 4, Topics in thephilosophy of language (1990) (1)
Sampling Labeled Deductive Systems (2007) (1)
Introducing Revision Theory (2010) (1)
Handbook of philosophical logic. Vol. 2, Exstensions ofclassical logic (1994) (1)
Structured Databases: a framework to reason about Belief Change (1996) (1)
A Comment on Work by Booth and Co-authors (2010) (1)
Temporal Logic: Proceedings of the 1st International Conference on Temporal Logic (1994) (1)
Temporal Logic and Quantifier Translations (2002) (1)
DOV GABBAY AND ANTHONY HUNTER NEGATION AND CONTRADICTION (1995) (1)
INTERPOLATION IN (INTUITIONISTIC) LOGIC PROGRAMMING (2005) (1)
Extending the Curry {Howard {Tait interpretation to linear, relevant and other logics (1992) (1)
Normality and Non-Contamination in Depth-Bounded Natural Deduction for Classical Propositional Logic (2017) (1)
Introducing Abstract Argumentation with Many Lives (2020) (1)
Proceedings of the Seventh Conference on Logic and the Foundations of Games and Decision Theory (LOFT06) (2006) (1)
Argumentative Agents Negotiating on Potential Attacks (2011) (1)
Identity Merging and Identity Revision in Talmudic Logic: An Outline Paper (2016) (1)
Reiter Defaults and Autoepistemic Logic (2016) (1)
Prague Stringology Conference (2010) (1)
The Functional Interpretation of Logical Deduction (Advances in Logic) (2011) (1)
Network Modalities : an exploration paper (2007) (1)
INTERPOLATION AND DEFINABILITY IN QUANTIFIED LOGICS (2005) (1)
A geometrical view of I/O logic (2019) (1)
Argumentation and Reasoned Action Proceedings of the 1 st European Conference on Argumentation (2016) (1)
Controlled revision - A preliminary account (2003) (1)
Mistakes of Reason (2006) (1)
Information frames, implication systems and modalities (1996) (1)
Formal methods and tools for the development of distributed and real time systems : Esprit Project 3096 (SPEC) (1990) (1)
Logic Made Reasonable (1992) (1)
The Burden of Persuasion in Abstract Argumentation (2021) (1)
Speed with Quality (1994) (1)
WinKE: A Pedagogical Tool for Teaching Logic and Reasoning (1998) (1)
Quantum States and Disjunctive Attacks in Talmudic Logic (2016) (1)
Philosophy of Physics (2006) (1)
TEMPORA: a temporal database transaction system (1990) (1)
Handling Inconsistencies in Neural Networks (2002) (0)
KER volume 10 issue 4 Cover and Back matter (1995) (0)
Deontic Logic, Contrary-to-Duty Obligations (2016) (0)
Editorial (2005) (0)
Editorial (1984) (0)
INTERPOLATION, DEFINABILITY, AMALGAMATION (2005) (0)
The Interpolation Theorem (1976) (0)
A Multimodal view on Access Control and Trust Management: Fibred Security Language (2009) (0)
REVIEWS-Fibring logics (2004) (0)
Foundations of Bayesianism (2001) (0)
Preface (2004) (0)
Basic Tense Systems (1976) (0)
Theories in HPC 2 (1981) (0)
Preferential Structures – Part I (2010) (0)
The Decision Problem for Predicate Systems (1976) (0)
Proceedings of the 11th Workshop on Nonmonotic Reasoning (2006) (0)
Monotone and Antitone Semantic and Syntactic Interpolation (2011) (0)
Probabilistic and Abstract Independence (2016) (0)
Reactive Links to Save Automata States (2010) (0)
A real time process logic (2005) (0)
Algorithmic Deduction Based on Labelled Tableaux Project Gr/j14745 -final Report for Epsrc (2007) (0)
Dynamics and Management of Reasoning Processes (2001) (0)
Towards Connectionist Argumentation Frameworks (2004) (0)
Knowledge extraction from trained neural networks: a position paper (1999) (0)
Logical Analysis of Cyber Vulnerability and Protection (2017) (0)
Soft computing, labelling and granulation (1998) (0)
Chapter 10 - Objective Relevance (2003) (0)
Compiled Labelled Deductive Systems for Modal and Conditional Logics (2004) (0)
Special issue on trees in linguistics, logic and computer science (2003) (0)
Combining Logic I - Introduction (1997) (0)
Second Order Propositional Calculus (1981) (0)
Summing-up and outlook (2008) (0)
Fibring non-truth functional logics (2008) (0)
Editorial (1999) (0)
Preface of an Anthology of Universal Logic (2012) (0)
Report from Dagstuhl Seminar 14381 Neural-Symbolic Learning and Reasoning (2015) (0)
If You Want to Smoke, Don't Buy Cigarettes: Near-Anankastics, Contexts, and Hyper Modality (2021) (0)
Argumentation as information input (2019) (0)
University of Groningen Historical overview of formal argumentation (2017) (0)
Contrary to time conditionals in Talmudic logic (2012) (0)
Voting by Eliminating Quantifiers (2009) (0)
Editorial (2005) (0)
Normalisation for the Equality Fragment (2011) (0)
Fibring higher-order logics (2008) (0)
Overview on the connection between reactive Kripke models and argumentation networks (2012) (0)
Completeness of HPC with Respect to RE and Post Structures (1981) (0)
An Appendix on Propositional Statability Operators (1976) (0)
Proceedings of 19th National Conference on Artificial Itnelligence (2004) (0)
Restart as a Computational Rule (2004) (0)
INTERPOLATION IN MODAL INFINITE SLICE LOGICS CONTAINING THE LOGIC K4 (2005) (0)
Proceedings International Conference on Formal and Applied Practical Reasoning (FAPR 2000) (2000) (0)
Case-Based Reasoning via Comparing the Strength Order of Features (2022) (0)
Heyting’s Propositional Calculus and Extensions (1981) (0)
Max-planck-institut F Ur Informatik Killer Transformations (1994) (0)
Splicing logics: Syntactic fibring (2008) (0)
Lambda Calculus Type Theory and Natural Language (0)
REVIEWS-Handbook of the history of logic. Volume 1: Greek, Indian and Arabian logic (2004) (0)
Algorithmic Context Revision (2010) (0)
L O ] 2 2 A ug 2 00 8 Reactive preferential structures and nonmonotonic consequence (2014) (0)
Conclusions and Further Work (2000) (0)
Three Intermediate Logics (1981) (0)
Ensuring reference independence and cautious monotony in abstract argumentation (2021) (0)
Two dimensional Standard Deontic Logic [including a detailed analysis of the 1985 Jones–Pörn deontic logic system] (2011) (0)
Reactivity and Grammars: An Exploration (2014) (0)
Uncertainty rules in Talmudic Logic (2011) (0)
Intuitionistic basis for IOL (2014) (0)
A pr 2 01 5 Theory of Semi-Instantiation in Abstract Argumentation (0)
The Bulletin turned into a Journal (1995) (0)
THE INTERPOLATION THEOREM IN INTUITIONISTIC PREDICATE CALCULUS (2005) (0)
Logi , Language and ReasoningEssays in Honour of (0)
Experiments on Handling Inconsistencies (2002) (0)
Probabilistic Argumentation: An Equational Approach (2015) (0)
Fibring first-order logics (2008) (0)
Advice on a Formal Model of Abduction (2004) (0)
Natural Arguments: A Tribute to John Woods (2019) (0)
Splicing logics: Semantic fibring (2008) (0)
Third International Workshop on Normative Multiagent Systems - NorMAS 2008 (2008) (0)
Modelling defeasible and prioritized support in bipolar argumentation (2012) (0)
Platonic Realism and Talmudic Reasoning (2014) (0)
Book reviews (1975) (0)
A comprehensive account of the burden of persuasion in abstract argumentation (2023) (0)
Value-based Practical Reasoning: Modal Logic + Argumentation (2022) (0)
A companion to philosophical logic (2002) (0)
Automated Practical Reasoning and Argumentation (Dagstuhl Seminar 9334) (2021) (0)
Basic Entailment Type Logics (1976) (0)
Editorial (1998) (0)
LECT NOTE COMPUT SCI (2004) (0)
- 1-Inconsistency Handling in Multi-Perspective Specifications (1994) (0)
Abstract Semantics by Size (2010) (0)
Chapter 6 - Contextual Effects (2003) (0)
Chapter 16 – Conclusion (2003) (0)
Causal dynamic inference (2012) (0)
Preface (2017) (0)
Embedding and automating conditional logics in classical higher-order logic (2012) (0)
Categorical Logic Categorical Logic (1995) (0)
Conclusions and Discussions (2010) (0)
Eecient Defeasible Reasoning Systems 7. Current and Future Work Eecient Defeasible Reasoning Systems Levels(n) (2001) (0)
Logic, grammar and language (2000) (0)
Theory Update and Theory Revision (2010) (0)
Revision by Translation ( short version ) (1999) (0)
Theory Refinement in Neural Networks (2002) (0)
Topological Aspects of Matrix Abduction 2 (2015) (0)
Chapter 12 - A General Theory of Logical Systems (2003) (0)
Chapter 8 – Agendas (2003) (0)
Meaning and Proofs: A Reflection on Proof-Theoretic Semantics (2011) (0)
Theories in HPC 1 (1981) (0)
Preface (2008) (0)
General Theory of Unary Intensional Connectives (1976) (0)
Editorial (1993) (0)
L O ] 9 M ar 2 00 9 A semantics for obligations-Local and global properties of obligations ∗ (2009) (0)
Editorial. New revolutionary publication policy (1999) (0)
Trees in Linguistics, Logic, and Computer Science (2003) (0)
Sequential Dynamic Logic (2011) (0)
Object-Level Deletion (2010) (0)
Book Symposium on Woods' Truth in Fiction: Editorial Remarks (2020) (0)
A decidable logic for temporal prepositions (2000) (0)
Structured Revision: Non-linear Methods for Information Change (2010) (0)
REVIEWS-Handbook of philosophical logic, vol. 10 (2007) (0)
Laws About Size and Interpolation in Non-monotonic Logics (2011) (0)
Manifesto from Dagstuhl Perspectives Workshop 15362 Present and Future of Formal Argumentation (2018) (0)
Chapter 14 - Relevance Logics (2003) (0)
The Talmudic Kal Vachomer Rule (2016) (0)
Independence and Interpolation (2016) (0)
The Existential Quantifier (2011) (0)
Logical Systems and Semantics (1981) (0)
Experiments on Theory Refinement (2002) (0)
Philosophy of Biology (2006) (0)
Intuitionistic and Classical Logics (2000) (0)
SUPERINTUITIONISTIC LOGICS AND NORMAL EXTENSIONS OF THE MODAL LOGICS S4 (2005) (0)
Preface (2006) (0)
Revival of Arguments in Temporal Argumentation Networks (2013) (0)
Editorial preface (2016) (0)
Editorial (1995) (0)
Proceedings of the Eigth Amsterdam Formal Semantics Colloqium (1992) (0)
Logic and Law (2004) (0)
Dynamic Deontic Logic for Permitted Announcements (2022) (0)
Algorithms in Philosophy, Informatics and Logic. A Position Manifesto 2017 (2017) (0)
Preface (2008) (0)
The Law of Evidence and Labelled Deduction: Ten Years Later (2022) (0)
Basic Algebraic and Logical Definitions (2016) (0)
Stepwise Revision Operations (2010) (0)
Chapter 5 - Propositional Relevance (2003) (0)
KER volume 11 issue 4 Cover and Back matter (1996) (0)
The Kripke, Beth and Topological Interpretations for HPC (1981) (0)
Proceedings LC-2001 (2005) (0)
Modified Kripke Interpretation (1981) (0)
Deontic Logic and Hierarchical Conditionals (2010) (0)
Seminar on Argumentation and Reasoning (2012) (0)
Higher Preferential Structures (2010) (0)
Advances in modal logic, Vol.\ 2 (Uppsala, 1998) (2001) (0)
Book Reviews (2017) (0)
Completeness theorems for reactive modal logics (2012) (0)
Introducing reactive modal tableaux (2012) (0)
Preface for Studia Logica Special Issue (2) (2009) (0)
BTPK-based learning: An Interpretable Method for Named Entity Recognition (2022) (0)
EXTENSIONS OF THE PROVABILITY LOGIC (2005) (0)
Philosophy of Anthropology and Sociology (2006) (0)
Fonnal Methods and Tools for the Development of Distributed and Real Time Systems Computing Science Notes Formal Methods and Tools for the Development of Distributed and Real Time Systems * Spec -esprit Project 3096 (2001) (0)
Feasible Deduction for Realistic Agents (2017) (0)
How to make your logic fuzzy (prelimirnary version) (1996) (0)
THE USE OF CONTINUED FRACTIONS FOR CALCULATING THE JEWISH LEAP YEAR CYCLE (2011) (0)
Foundations of revision and contraction : the Third De Morgan Conference (2003) (0)
Towards a Uniform Picture of Conditionals (2011) (0)
Argumentation as Information Input: A Position Paper (2016) (0)
The Functional Interpretation of Implication (2011) (0)
A logic of argumentation for specification and verification of abstract argumentation frameworks (2012) (0)
2 Perception Preattentive and Phenomenal (2006) (0)
Chapter 9 - Adequacy Conditions Fulfilled? (2003) (0)
Equality and Proper Names (1976) (0)
INTERPOLATION BY TRANSLATION (2005) (0)
Basic Definitions and Results (2010) (0)
Preface (2012) (0)
Logics of Context (2004) (0)
Feature-Based Grammar Logic (1996) (0)
Non-Deductive Inference in the Talmud (2010) (0)
Basic Necessity Systems (1976) (0)
Equilibrium States in Numerical Argumentation Networks (2015) (0)
Chapter 7 The Norm Implementation Problem in Normative Multi-Agent Systems (0)
Fuzzy Logic without Weakening (2003) (0)
Computational Logic, Volume 9 (2014) (0)
Philosophy of Science: Focal Issues (2006) (0)
Practical Reasoning (2021) (0)
Preface (2007) (0)
The Conceptual Realism of Nino Cocchiarella (2019) (0)
INTERPOLATION IN NORMAL EXTENSIONS OF THE MODAL LOGIC S4 (2005) (0)
Preface (2001) (0)
Possible Worlds with Varying Domains (1976) (0)
Introducing reactive Kripke semantics and arc accessibility (2012) (0)
Theories of Joint Ownership in Talmudic Logic (Hebrew) (2019) (0)
Context-dependent Abduction and Relevance (2006) (0)
Background and Overview (2010) (0)
J. EL1ASSON Ultrapowers as sheaves on a category of ultrafilters 825 A. LEWIS Finite cupping sets 845 (2004) (0)
Reactive Flow Products (2013) (0)
Modal Logics of Strict Implication (2000) (0)
Equational logic and rewriting (2019) (0)
Qualitative and quantitative practical reasoning : First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997 : proceedings (1997) (0)
Preferential Structures and Related Concepts (2016) (0)
Book Reviews (2002) (0)
Completeness for Frames (1976) (0)
Relative Necessity Operators and the Subjunctive Conditional (1976) (0)
Ruling the Blocks World : Towards a Game Change Framework for Norm Implementation ∗ (2009) (0)
Annals of Mathematics and Artificial Intelligence (2002) (0)
KM99] GP Kogan and JA Makowsky. Computing Schur functions for Borchardt matrices. in preparation, 1999. Kog96] GP Kogan. Computing the permanent over elds of characteristic 3: Where and why it becomes dificult. In FOCS'96, pages 108 {114. IEEE, 1996 (1996) (0)
New trends: Network fibring (2008) (0)
Global view on reactivity: switch graphs and their logics (2012) (0)
First-Order Logics (2009) (0)
Chapter 11 - A Logic for Agenda Relevance – Overview (2003) (0)
Experiments on Knowledge Extraction (2002) (0)
HEAL2100: Human Effective Argumentation and Logic for the 21st Century. The Next Step in the Evolution of Logic (2017) (0)
Formal Model of Agenda Relevance (2003) (0)
Theory Revision, Theory Contraction and Conditionals (2016) (0)
Subsumption and Count as Relation in Arguments Ontologies (2010) (0)
A Bimodal Simulation of Defeasibility in the Normative Domain (2020) (0)
Argumentation as Exogenous Coordination (2018) (0)
Chapter 7 FIBRED MODAL TABLEAUX (2005) (0)
Editorial (2001) (0)
Normality, Non-contamination and Logical Depth in Classical Natural Deduction (2019) (0)
Uniformity and Efficiency (2009) (0)
Voting with Second Order Quantifier Elimination (2009) (0)
SYNTACTIC PROOF OF INTERPOLATION FOR THE INTUITIONISTIC PREDICATE LOGIC (2005) (0)
Preface (2009) (0)
A geometrical view of I / O logic ( Nr 432 ) (2019) (0)
Handbook of temporal logic in artificial intelligence vol 1 (2005) (0)
Proceedings of the Theory and Formal Methods 1996 Workshop (1996) (0)
Natural Deduction for Equality (2011) (0)
Formulas in One Variable (1981) (0)
1 Background from classical logic : non-logical axiomatic theories (0)
Handbook of Philosophical Logic, 2nd Edition, Volume 5 (2003) (0)
Combining Probabilistic and Labelled Reasoning (2001) (0)
The Logic System is the Way You Do Logic (2015) (0)

This paper list is powered by the following services:

Other Resources About Dov Gabbay

en.wikipedia.org

What Schools Are Affiliated With Dov Gabbay?

Dov Gabbay is affiliated with the following schools: