1. Investigations in Modal and Tense Logics with Applications
Synthese volume 92, D. Reidel, 1976. 321 pp,
The main research thrust of this monograph is to present comprehensive methods for proving decidability and undecidability for modal and temporal systems. General theorems are proved on the one hand and new classification and semantical characterisations are given to many logics in order to show that they satisfy these general theorems. Counter examples are constructed to show the limitations of various methods. The book also lays the mathematical and conceptual foundations for non—classical logics.
2. Semantical Investigations in Heyting's Intuitionistic Logic
Synthese volume 148. D. Reidel, 1981. 300 pp,
This monograph uses semantical methods to study intuitionistic and various neighbouring systems. It develops their mathematical model theory and finite model property and studies their proof theory and interpolation properties. It further applies the methods of book 1, to obtain decidability and undecidability results for intuitionistic algebraic theories. Both research monographs are partially based on, and extend, some of the related research papers.
Being typed – December 2001
3. Semantic Proof of the Craig Interpolation Theorem for Intuitionistic Logic and Extensions, Part I
In Proceedings of the 1969 Logic Colloquium in Manchester, North-Holland Publishing Co,
pp 391—401, 1969
DovPapers/CollectedPapers/003-SPCIT-part1.tex
4. Semantic Proof of the Craig Interpolation Theorem for Intuitionistic Logic and Extensions, Part II
In Proceedings of the 1969 Logic Colloquium in Manchester, North-Holland Publishing Co,
pp 403—410, 1969
The methods used to prove interpolation in these papers
seem to be general enough to be applied in categorial context, as shown
by Makkai
25 years later.
DovPapers/CollectedPapers/004-SPCIT-part2.tex
5. The Decidability of the Kreisel—Putnam System
Journal of Symbolic Logic, 35, 431—437, 1970.
6. Selective Filtration in Modal Logics, Part I
Theoria, 36, 323—330, 1970.
7. Craig's Interpolation Theorem for Modal Logics
In Proceedings of Logic Conference, London, W. Hodges, ed. Pp. 111—128. Springer, 1970.
Anna typing – November 2001
8. Decidability Results in Non-Classical Logic III (Systems with Statability Operators)
Israel Journal of Mathematics, 10, 135—146, 1971.
9. A General Filtration Method for Modal Logics
Journal of Philosophical Logic, 1, 29—34, 1972.
10. On Decidable Finitely Axiomatizable Modal and Tense Logics without the Finite Model Property, Part I.
Israel Journal of Mathematics, 10, 478—495, 1971.
11. On Decidable Finitely Axiomatizable Modal and Tense Logics without the Finite Model Property, Part II.
Israel Journal of Mathematics, 10, 496—503, 1971.
12. Tense Systems with Discrete Moments of Time
Journal of Philosophical Logic, 1, 35—44, 1972.
13. Model Theory for Intuitionsitic logic
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 18, 49—54, 1972.
14. Sufficient Conditions for the Undecidability of Intuitionistic Theories with Applications
Journal of Symbolic Logic, 37, 375—384, 1972.
15. Applications of Trees to Intermediate Logics I
Journal of Symbolic Logic, 37, 135—138, 1972.
16. Decidability of Some Intuitionistic Predicate Theories
Journal of Symbolic Logic, 37, 579—587, 1972.
17. Montague Type semantics for Modal Logics with Propositional Quantifiers
Zeitschrift für Mathmatische Logik und Grundlagen der Mathematik,17, 245—249, 1971.
18. A Survey of Decidability Results for Modal Tense and Intermediate Logics
In Proceedings of the Fourth International Congress on Logic, Methodology and Philosophy of Science, P. Suppes et al., eds. Pp. 29—43. North—Holland Publishing Co, 1973.
19. A General Theory of the Conditional In Terms of a Ternary Operator
Theoria, 38, 97—105, 1972.
DovPapers/019.tex.
20. The Undecidability of Intuitionistic Theories of Algebraically Closed Fields and Real Closed
Journal of Symbolic Logic,38, 86—92, 1973.
21. Applications of Scott's Notion of Consequence to the Study of General Binary Intensional Connectives and Entailment
Journal of Symbolic Logic,2, 340—351, 1973.
22. 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
In Approaches to Natural Language, J. Hintikka, et al., eds. Pp. 395—409. D. Reidel, 1973.
23. Sameness and Individuation
Journal of Philosophy,70, 513—526, 1973.
DovPapers/023.tex
24. A Sequence of Decidable Finitely Axiomatizable Intermediate Logics with the Disjunction Property (with D. H. de Jongh)
Journal of Symbolic Logic, 39, 67—79, 1974.
25. On Second Order Intuitionistic Propositional Calculus with Full Comprehension
Archiv für Mathematische Logik und Grundlagenforschung,16, 177—186, 1974.
26. A Generalization of the Concept of Intensional Semantics
Philosophia, 4, 251—270, 1974.
27. Branching Quantifiers , English, and Montague Grammar (with J. M. E. Moravcsik)
Theoretical Linguistics, 1, 139—157, 1974.
28. Tense Logics and the Tenses of English
In Readings in Logic, J. M. E. Moravcsik, ed. Pp. 177—186. Mouton Publishing Co, 1974.
29. A Normal Logic that is Complete for Neighbourhood Frames but not for Kripke Frames
Theoria, 41, 145—153, 1975.
30. The Decision Problem for Finite Extensions of the Intuitionistic Theory of Abelian Group
Studia Logica, 34, 59—67, 1975.
31. Decidability Results in Non-Classical Logics I
Annals of Mathematical Logic, 8, 237—295, 1975.
This paper outlines a general method for proving decidability and undecidability for non-classical logical systems. The method is based on Rabin's results on SwS and uses a variety of semantical and syntacticalinterpretations. It is the main, most powerful and most extensive method for solving the decision problem in the area of non-classical logics. Related papers which widely extend and develop the methods are 5, 10, 11, 14, 16, 18, 20, 24, 30 & 43.
32. Model Theory of Tense Logics
Annals of Mathematics Logic, 8, 185—236, 1975.
33. Completeness Properties of Heyting's Predicate Calculus with Respect to RE Models
Journal of Symbolic Logic, 41, 81—95, 1976.
This paper studies the possibility of providing constructive semantics for intuitionistic and non classical logics. It shows that results depend very much on formulation. The related paper is 34.
34. On Kreisel's Notion of Validity in Post Systems
Studia Logica, 35, 285—295, 1976.
35. Craig's Theorem for Intuitionistic Logic III
Journal of Symbolic Logic,42, 269—271, 1977.
36. Two Dimensional Propositional Tense Logics
In Bar—Hillel Memorial Volume, A. Kasher, ed. Pp. 145—183. D. Reidel, 1976.
37. On the Semantics and Pragmatics of Specific and Non-specific Indefinite Expressions (with A. Kasher)
Theoretical Linguistics, 3, 145—190, 1976.
38. A New Version of Beth Semantics
Journal of Symbolic Logic, 42, 306—309, 1977.
39. On the Quantifier there is a Certain X (with A. Kasher)
In Proceedings International Workshop on the Cognitive Viewpoint, Ghent, pp. 329—334, 1977.
Also in Communication and Cognition, 10, 71—78, 1977.
40. Improper Definite Descriptions: Linguistic Performance and Logical Spaces (with A. Kasher)
Hebrew Philosophical Quarterly, 27, 74—89, 1977.
41. On Some New Intuitionistic Propositional Connectives I
Studia Logica, 36, 127—139, 1977.
42. Negation and Denial (with J M E Moravcsik)
In Studies in Formal Semantics, F. Guenthner and C. Rohrer, eds. Pp. 251—265. North Holland Pub Co, 1978.
43. Undecidability of Intuitionistic Theories Formulated with the Apartness Relation
Fundamenta Mathematicae, 97, 57—69, 1977.
44. A Tense System with Split Truth Table
Logique et Analyse, 21, 5—39, 1978.
45. What is a Classical Connective?
Zeitschrift für Mathematische Logik, 24, 37—44, 1978.
46. Relative Tenses (with C. Rohrer)
In Papers on Tense, Aspect and Verb Classification, C. Rohrer, ed. Pp. 99—111. TBL Verlag G Narr, Tubingen, 1978.
File: DovPapers/046/046-RelativeTenses.tex
47. Do we really need Tenses other than Future and Past? (with C. Rohrer)
In Semantics from Different Points of View, R. Rauerli,U. Ugli and A Van Stechow, eds. Pp. 15—21, Springer, 1979.
48. On the Temporal Analysis of Fairness (with A. Pnueli, S. Shelah and J. Stavi)
In Conference Record of the 7th Annual ACM Symposium on Principles of Programming Languages, Las Vegas, Nevada, pp. 163—173, 1980.
Outlines the way to use temporal logic as a tool in software engineering, for program specification and verification. It contains results on axiomatization and decision problems and is one of the standard quoted papers in the area.
File: DovPapers/048/048-TAF.tex
49. Verbs, Events, and the Flow of Time (with J. M. E. Moravcsik)
In Time, Tense and Quantifiers, C. Rohrer, ed. Pp. 59—83. Niemeyer, Tübingen, 1980.
50. An Irreflexivity Lemma with Applications to Axiomatizations of Conditions on Tense Frames
In Aspects of Philosophical Logic, U. Monnich, ed. Pp. 67—89. D. Reidel, 1981.
This paper introduces the — what is now known as — Gabbay's Irreflexivity Rule. The idea has been taken onboard and pursued by many authors. Many systems can be formulated without this rule. Its full nature is not yet understood.
File: DovPapers/050/050-ILAACTF.tex
51. Expressive Functional Completeness in Tense Logic
In Aspects of Philosophical Logic, U. Monnich, ed. Pp. 91—117. D. Reidel, 1981.
This paper introduces the separation methods of studying expressive power of temporal languages. Besides deep theoretical results and inter—connections with other areas of logic it gives a practical way for any software engineering user of temporal and modal logic to test and adjust the expressive power of his system. Further papers on the expressive properties of temporal logics are 44, 50 & 60.
File: DovPapers/051/051-EFCTL.tex
52. A Note on Systems of N—Dimensional Tense Logics (with F. Guenthner)
In Essays Dedicated to L. Aqvist, T. Pauli, ed. Pp. 63—71. Uppsala, 1982.
53. Intuitionistic Basis for Non-monotonic Logic
In Proceedings of CADE—6, pp 260—273. Vol. 138 of Lecture Notes in Computer Science, Springer-Verlag, 1982.
This paper started the area now known as the intuitionistic approach to non monotonicity. It is now a chapter in most monographs on the subject. Another paper on this topic is 61.
File: DovPapers/053/053-IBNML.tex
54. N-Prolog: An Extension of Prolog with Hypothetical Implications I (with U. Reyle)
Journal of Logic Programming, 1, 319—355, 1984.
55. Theoretical Foundations for Non-monotonic Reasoning in Expert Systems
In Logics and Models of Concurrent Systems, K. Apt, ed. pp 439—459. Springer-Verlag, 1985.
This paper, which has had a strong following, proposes an answer to the question: what is a non-monotonic system? It gives axiomatic conditions on the notion of consequence relation, which characterises it as a non-monotonic logic. Further papers in this area are 53, 61 & 81, 95. This paper started the area now known as 'Axiomatic non-monotonic reasoning'.
File: DovPapers/055/055-TFNMR.tex
56. N-Prolog: An Extension of Prolog with Hypothetical Implications 2
Journal of Logic Programming, 2, 251—283, 1986.
This paper is the first in a series in reformulating classical and non—classical logic in a goal directed way. It initiates the programme, continued in other papers of re—evaluating the notions of logic and proof theory in the light of applications of logic in Infomation Technology. Further papers are 54, 58, 59, 62, 65, 66, 79 and summarized in 87.
57. Negation as Inconsistency (with M. J. Sergot)
Journal of Logic
Programming, 4, 1—35, 1986.
58. What is Negation in a System?
In Logic Colloquium '86, F. R. Drake and J. K. Truss, eds. pp 95—112.
Elsevier Science Publishers (North Holland), 1986.
59. Modal and Temporal Logic Programming
In Temporal Logics and Their Applications, A. Galton, ed. pp 197—237. Academic Press, 1987.
A basic paper showing what the Horn clause fragment of temporal logic looks like and how to identify such fragments in non classical logics.Other related papers are 67 and 84.
60. Preservation of Expressive Completeness in Temporal Models (with A. Amir)
Information and Computation, 72, 66—83, 1987.
61. An Intuitionistic Basis for Non-monotonic Reasoning (with M. Clarke)
In Automated Reasoning for Non-standard Logic, P. Smets, ed. pp 163—179. Academic Press, 1987.
62. Direct Deductive Computation on Discourse Representation Structures (with U. Reyle)
Linguistics and Philosophy, 17, pp 345—390, 1994.
63. Temporal Logic, Tense or Non-tense
Inaugural Lecture at Imperial College, 17 May 1988.
In Machinations. Computational Studies of Logic, Language and Cognition, R. Spencer-Smith and S. Torrance, eds. pp 1—30. Ablex Publishing Co. 1992.
64. The Declarative Past and Imperative Future
In Proccedings of the Colloquium on Temporal Logic and Specifications, H. Barringer, ed. pp 409—448. Vol. 398 of LNCS, Springer—Verlag, 1989.
Proposes temporal logic as a framework for handling timephenomena in computing. Shows that temporal logic can serve as a unifying background for the declarative and imperative paradigms in programming. The basic intuition it develops, all backed by mathematical logic, is that future statements can be read both declaratively (as describing what will happen) and imperatively as commands to go ahead and make it happen. A specific temporal logic is proposed, its mathematical properties studied and its range of applicability is demonstrated. Further papers are 67 & 68, 70, 73, 76, 82, 83, 84, 90 & 93.
65. A Goal Directed Theorem Prover for Predicate Logic based on Conjunction and Implications (with F. Kriwaczek)
The Journal of Automated Reasoning, 7, 511—536, 1991.
66. Computation with Run Time Skolemisation (with U. Reyle)
Journal of Applied Non-classical Logic, 3, 93—134, 1993.
67. Modal and Temporal Logic Programming II (A Temporal Prolog Machine)
In Logic Programming — Expanding the Horizon, T. Dodd, R. P. Owens and S. Torrance, eds.
pp 82—123. Blackwells, 1990.
68. MetateM: A Framework for Programming in Temporal Logic (with H. Barringer, M. Fisher, G. Gough and R. Owens)
In REX Workshop on Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness, Mook, Netherlands, pp 94—129. Vol. 430 of LNCS, Sspringer-Verlag, 1989.
File: DovPapers/068/068-metatem.tex
69. An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers (with I. Hodkinson)
Journal of Logic and Computation, 1, 229—260, 1990.
70. The Imperative Future: Past Successes Implies Future Action A survey position paper (with H. Barringer)
In Proceedings of the Logic from Computer Science, Y. N. Moschovakis, ed. pp 1—16. Springer-Verlag, 1992.
71. Making Inconsistency Respectable Part 1 (with A. Hunter)
In Proceedings of Fundamental of Artificial Intelligence Research (FAIR '91), .Ph. Jorrand and J. Kelemen, eds. pp 19—32. Vol 535 of LNAI, Springer-Verlag, 1991.
72. Temporal Logic in Context of Databases (with I. Hodkinson)
In Logic and Reality, J. Copeland, ed. pp 69—87, Oxford University Press, 1996.
File: DovPapers/072/Copeland.tex
73. Using the Temporal Logic RDL for Design Specifications (with I. Hodkinson and A. Hunter)
In Concurrency: Theory, Language and Architecture, A Yonezawa and T Ito, eds. pp 64—78. Vol. 491 of LNCS, Springer-Verlag, 1991.
74. Modal Provability Interpretation for Negation by Failure
In Extensions of Logic Programming, P Schroeder-Heister, ed. pp 179—222. Vol. 475 of LNCS, Springer-Verlag, 1991.
75. Credulous vs Sceptical Semantics for Ordered Logic Programs (with E. Laenens and D. Vermeir)
In Proceedings of KR'91, J. Allen, R. Fikes and E. Sandewall, eds. pp 208—217. 1991.
76. Meta Reasoning in Executable Temporal Logic (with H. Barringer, M. Fisher and A. Hunter)
In Proceedings of KR '91, J. Allen, R. Fikes and E. Sandewall, eds. pp 40—49. 1991.
File: DovPapers/076/076-MRETL.tex
77. Temporal Expressive Completeness in the Presence of Gaps (with I. Hodkinson and M. Reynolds)
In Proceedings of Logic Colloquium '90, J. Oikkonen and J. Vaananen, eds. pp 89—121. Vol. 2 of Lecture Notes in Logic, Springer-Verlag, 1993.
78. Labelled Deductive Systems: a position paper
In Proceedings of Logic Colloquium '90, J. Oikkonen and J. Vaananen, eds. pp 66—88. Vol. 2 of Lecture Notes in Logic, Springer-Verlag, 1993.
This paper proposes a new logic discipline for unifying the currently used classical and non classical logical system. Since this paper was published, many European researchers and projects are using this framework as a unifying theme. A manuscript of a book exists (for OUP) presenting the results. Subsequent papers are 85, 86, 89 & 98.
79. Algorithmic Proof with Diminishing Resources Part I
In Proceedings of CSL'90, pp 156—173. Vol. 533 of LNCS, Sprigner-Verlag, 1990.
80. Logic Finite Automata and Constraint Logic Finite Automata (with Klaus Schulz)
In Applied Logic: How, What and Why, L. Polos and M. Masuch, eds. pp 237—286. Kluwer, 1995.
81. Theoretical Foundations for Non-monotonic Reasoning Part II: Structured Non-monotonic Theories
In Proceedings SCAI '91, B. Mayoh, ed. pp 19—40. IOS Press, 1991.
82. Temporal Logics for Real-time Systems (with R. Owens)
In Proceedings of the IMACS Symposium on the Modelling and Control of Technological Systems '91, Vol. 2, pp. 97—103, 1991.
83. Temporal Logic and Historical Databases (with P. McBrien)
In Proceedings of the 17th International Conference on Very Large Databases, Barcelona. Pp. 423—431, 1991.
84. Modal and Temporal Logic Programming III
In Metalevel features in the object language, in Non-classical Logic Programming, L. Farinas del Cerro and M. Penttonen, eds. pp 85—124. Oxford University Press, 1992.
85. Abduction in Labelled Deductive Systems; a Conceptual Abstract
In Proceedings of the European Conference on Symbolic and Quantitative Approaches for Uncertainty 91, R. Kruse and P. Siegel, eds. Pp. 3—12. Vol. 548 of LNCS, Springer-Verlag, 1991.
86. Extending the Curry—Howard Interpretation to Linear, Relevant and other Resource Logics (with R. de Queiroz)
Journal of Symbolic Logic, 57, 1319—1366, 1992.
87. Elements of Algorthimic Proof Theory
In Handbook of Logic in Theoretical Computer Science, Vol 1, S. Abramsky, D. Gabbay and T. S. E. Maibaum, eds. pp 307—408. Oxford University Press, 1992.
88. Towards a MEDLAR framework (with R. J. Cunningham and H. J. Ohlbach)
In Esprit 91, pp 822—841. Published by the Commission of the EC, 1991.
89. Labelled Deductive Systems and Situation Theory
In Situation Theory and Applications, Vol 3, P. Aczel, D. Israel, Y. Katagin and S. Peters, eds.
pp 89—118. CSLI, 1993.
90. Adding a Temporal Dimension to a Logical System (with M. Finger)
Journal of Logic, Language and Information, 1, 203—234, 1992.
File: DovPapers/090/090-adding.tex
91. Undecidability of Modal and Intermediate Logics with Two Individual Variables (with V. B. Shehtman)
Journal of Symbolic Logic, 58, 800—823, 1993.
92. Quantifier Elimination in Second Order Predicate Logic (with H. J. Ohlbach)
In Proceedings of KR'92, B. Nebel, C.Rich and W. Swartout, eds. Pp. 425—435. 1992.
A short version appeared in South African Computer Journal, No.7, pp 35—43, 1992.
This is a seminal paper which is now influential in the AI and the Automated Reasoning community. It provides an algorithm for eliminating second order quantifiers. It has a wide range of applications especially in the following form: Given two specification languages L1 and L2 and some axioms on how they interact,the algorithm can automatically extract the projected specification on each language alone. This is strongly related to interpolation. The research is continued in 94.
93. Labelled Database Management Systems, Part 1; Updating Atomic Information (with M. Finger)
In Proceedings of International Conference on Database Theory, 1992 (ICDT 92), pp 188—200. Vol. 646 of LNCS, Springer-Verlag, 1992.
94. From Hilbert Calculus to its Model theoretic Semantics (with H. J. Ohlbach)
In Proceedings of ALPUK Logic Programming Conference 1992, K. Broda, ed. pp 218—252.
LNCS, Springer-Verlag, 1992.
95. General Theory of Structured Consequence Relations
In Substructural Logics, P. Schroeder-Heister and K. Dosen, eds. pp 109—151. Studies in Logic and Computation, Oxford University Press, 1993.
96. Natural Language Content; a Proof Theoretic Perspective — preliminary report (with R. Kempson)
In Proceedings of The Eighth Amsterdam Colloquium, pp 173—196. 1991,
97. Logic made Reasonable
KI (German AI Journal), 39—41, 1992. (in German, translated by J. Siekmann)
98. How to Construct a Logic for your Application
In Proceedings of German AI Conference, GWAI '92, pp 1—30. Vol. 671 of LNAI, Springer-Verlag, 1992.
99. What is Negation in a System Part II (with H. Wansing)
In Logic, Action and Information, A. Fuhrman and H. Rott, eds. Pp. 328—350. De Gryuter, Berlin, 1996.
100. Semantical Correspondence Properties of Some Modal Systems of Logic (with R. Nossum)
In Proceedings of Scandinavian Conference on Artificial Intelligence '93, E. Sandewall and C. Jansson, eds. pp. 10—19. IOS Press, 1993.
Prize winning paper
101. Temporal Logic in a Stochastic Environment (with P. Harrison & B. Strulo)
In Time and Logic, A. Szalaz and L. Bloc, eds. pp. 229—248. University of London Press, 1994.
102. Labelled Abduction and Relevance Reasoning (with J. Pitt & R. Kempson)
In Non-standard Queries and Non-standard Answers, R. Demolombe, ed. Pp. 155—186. Studies in Logic and Computation, Oxford University Press, 1994.
103. Classical vs Non-classical Logic
In Handbook of Logic in Artificial Intelligence and Logic Programming, Vol 2, D. Gabbay, C. Hogger and J. A. Robinson, eds. pp 349—489. Oxford University Press,
104. Inconsistency Handling in Multi-perspective Specifications (with A. Finkelstein, A. Hunter, J. Kramer & B. Nuseibeh)
IEEE Transactions on Software Engineering, 20, 569— 577, 1994.
105. Logical Handling of Default and Inconsistent Information (with Ph. Besnard, L. Farinas del Cerro, & A. Hunter)
In Proceedings of Conference on Uncertainty Management in Information Systems, from Needs to Solutions, Ph. Smets and a. Motro, eds. Pp. 325—341, Kluwer, 1997.
106. Making Inconsistency Respectable, Part II (with A. Hunter)
In Procedings of Euro Conference on Symbolic and Quantitive Approaches to Reasoning and Uncertainity, M. Clarke, R. Kruse and S. Moral, eds. pp 129—136. Vol. 747 of LNCS, Springer-Verlag, 1993.
107. A Generalization of Analytic Deduction via Labelled Deductive Systems Part 1: Basic Substructural Logics (with M. D'Agostino)
Journal of Automated Reasoning, 13, 243—281, 1994.
A short version presented at Workshop on Theorem Proving and Analytic Tableaux,
Marseille, April, 1993.
108. Restricted Access Logics for Inconsistent Information (with A. Hunter)
In Proceedings of Euro. Conference on Symbolic and Quantitive Approaches to Reasoning and Uncertainity, M. Clarke, R. Kruse and S. Moral, eds. pp 137—144. Vol. 747 of LNCS, Springer-Verlag, 1993.
109. What is a Logical System?
In What is a Logical System?, D. M. Gabbay, ed. pp 181—215. Studies in Logic and Computation, Oxford University Press, 1994.
110. Towards a Computational Treatment of Time (with M. A. Reynolds)
In Handbook of Logic in Artificial Intelligence and Logic Programming, Vol 4, D. M. Gabbay, C. J. Hogger and J. A. Robinson, eds. pp 343—428. Oxford University Press,
111. Towards Automating Duality (with C. Brink and H. J. Ohlbach)
Journal of Computer and Mathematical Applications, 29, pp 73—90, 1995.
112. The rule-based systems project: Using confirmation theory and non-monotonic logics for incremental learning (with D. Gillies, A. Hunter, S. Muggleton, Y. Ng and B. Richards)
In Inductive Logic Programming, S. Muggleton, ed. Pp. 213—229. Academic Press, 1992.
113. Conditional Logic Programming (with L. Giordano, A. Martelli, N. Olivetti)
In Logic Programming Proceedings of ICLP ‘94, P. van Hentenryck, ed. Pp. 272—289. MIT Press, 1994.
114. Information Flow and the Lambek Calculus (with J. Barwise & C. Hartonas)
In Logic Language and Computation, Vol 1, J. Seligman and D. Westerstahl, eds. pp. 47—62.
CSLI Publications, 1996.
115. Labelled Deductive Systems and The Informal Fallacies
In Proceedings of 3rd International Conference on Argumentation, Vol. 2: Analysis and Evaluation, Sponsored by ISSA, International Society for the Study of Argumentation, F. H. Van Eemeren et al.,eds. pp 308—319, 1994.
116. Conditional Implications and Non-monotonic Consequence
In Views on Conditional, a volume in Studies in Logic and Computation, L. Farinas del Cerro et al., eds. pp. 347—369. Oxford University Press, 1995.
117. Temporal Logic: Mathematical Foundations and Computational Aspects, vol 1: Mathematical Foundations (with I. Hodkinson and M. Reynolds)
Oxford University Press, 1994, 671 pp.
This monograph is the standard reference work in the area.
118. Hypothetical updates, Priority and Inconsistency in in a Logic Programming Language (with L. Giordano, A. Martelli and N. Olivetti)
In Logic Programming and Non-monotonic Reasoning, V. W.Marek, A. Nerode and M. Truszczynski, eds. pp 203—216. Vol. 928 of LNCS, Springer-Verlag, 1995.
119. Fibred Semantics and the Weaving of Logics, Part 1:Modal and Intuitionistic logic
Journal of Symbolic Logic, 61, 1057—1120, 1996.
A revolutionary paper providing methodology for combining systems. Other related papers are 116, 120, 121, 122, 125.
120. Fibred Semantics and the Weaving of Logics, Part 2: Fibring Non-monotonic logics
In Proceedings of Logic Colloquium 92, L. Csirmaz, D. Gabbay and M. de Rijke, eds. pp.75—94.
SILLI Book Series, 1992.
121. Fibred Semantics for Feature Based Grammar Logic (with J. Dörre and E. König)
Journal of Logic Language and Information, 5, 387—422, 1996,
122. Combining Temporal Logic Systems (with M. Finger)
Notre Dame Journal of Formal Logic, 37, 204—232, 1996.
123. The Functional Interpretation of the Existential Quantifier (with R. de Queiroz)
Logic Journal of the IGPL, 3, 243—290, 1995.
124. MetateM: An Introduction (with H. Barringer, M. Fisher, G. Gough and R. Owens)
Formal Aspects of Computing, 7, 533—549, 1995.
125. An Overview of Fibred Semantics and The Combination of Logics
In Frontiers of Combining System, Proceedings of FroCoS'96, K. Schulz and F. Baader, eds. Pp. 1—56. Applied Logic Series, Kluwer, 1996.
126. Labelled Deductive Systems; Principles and Applications. Vol 1: Basic Principles
Oxford University Press, 1996. 500pp
1st draft Manuscript 1989, 2nd intermediate draft, University of Munich, CIS Bericht 90—22, 1990. Third intermediate draft, Max Planck Institute, Saarbrucken, Technical Report, MPI—I 94—223, 1994.
127. Proof Theoretical Approach to Default Reasoning 1: tableaux for default logic (with G. Aiello, F. Pirri and G. Amati)
Journal of Logic and Computation, 6, 205—232, 1996.
128. Languages, Meta-languages and MetateM, A Discussion Paper (with D. Brough, M. Fisher, A. Hunter, R. Owens, H. Barringer, G. Gough, I. Hodkinson, P. McBrien and M. Reynolds)
Logic Journal of the IGPL, 229—246, 1996.
129. The Functional Interpretation of modal necessity (with R. J. G. B. de Queiroz)
In Advances in Intensional Logic, M. de Rijke, ed. pp. 59—91.
Kluwer, 1997.
130. A Structural Property on Modal Frames Characterizing Default Logic (with G. Amati, L. C.Aiello and F. Pirri)
Logic Journal of the IGPL, 4, 7—22, 1996.
131. Fibred Tableaux for Multi-implicational Logic (with M. D'Agostino)
In Theorem Proving with Analytic Tableaux and Related Methods, P. Miglioli, U. Moscato,
D. Mundici and M. Ornaghi, eds. pp 16—38. Vol. 1071 of LNAI, Springer-Verlag, 1996.
132. How to make your logic fuzzy (preliminary version)
Mathware and Soft Computing, 3, 5—16, 1996.
133. A Methodology for Iterated Theory Change (with O. Rodrigues)
In Practical Reasoning (Proceedings of the first international conference), D. Gabbay and H. J. Ohlbach, eds. pp 193—207. Vol. 1085 of LNAI, Springer-Verlag,
134. A language for handling hypothetical updates and inconsistency (with L. Giordano, A. Martelli and N. Olivetti)
Logic Journal of the IGPL, 4, 385—416, 1996.
File: DovPapers/134/Conditional.tex
135. Grafting Modalities into Substructural Implicational Logics (with M. D'Agostino and A. Russo)
Studia Logica special issue on combining logics, 59, 65—102, 1997.
136. Parsing Natural Language Using LDS_NL, A Prototype (with R. Kempson, M. Finger, R. Kibble)
Logic Journal of the IGPL, 5, 647—672, 1997.
137. Resolution for Classical and Non-classical Logic (with U. Reyle)
Studia Logica, 59, 179—216, 1997.
138. Information frames, Implication systems and Modalities Preliminary version (with M. D'Agostino and A. Russo)
Mathware and Soft Computing, 3, 67—82, 1996.
139. Labelled Natural Deduction (with R. de Queiroz)
In Logic Language and Reasoning: Essays in Honour of D. M. Gabbay, H. J. Ohlbach and U. Reyle, eds. Pp. 173—250. Kluwer, 1999.
140. Compromise Update and Revision A position paper
In Dynamic Worlds, B. Fronhoffer and R. Pareschi, eds. pp. 111—148. Kluwer, 1999.
File: DovPapers/140-Compromise/
141. Fibring and Labelling: Two methodologies for making modal logic fuzzy
In Proceedings of IFSA—97, Vol. 1, pp 3—12. Academia, Prague, 1997.
142. On the logic of information flow (with J. Barwise and C. Hartonas)
Logic Journal of the IGPL, 3, pp 7—50, 1995.
143. Structured Belief Bases (with O. Rodrigues)
In Qualitative and Quantitative Practical Reasoning, D. M. Gabbay et al., eds. Pp. 267—281. Vol. 1244 of LNAI, Springer-Verlag, 1997.
144. Algorithmic proof methods and cut elimination for implicational logics: part 1 Modal Implication (with N. Olivetti)
Studia Logica, 61, 237—280, 1998.
145. Negation and Contradiction (with A. Hunter)
In What is Negation?, D. Gabbay and H. Wansing, eds. pp. 89—100. Kluwer, 1999.
146. Elementary Logic: A Procedural Perspective
Prentice-Hall, 1998, 400 pp.
147. Agents in Proactive environments (with R. Nossum and M. Thielscher)
extended abstract In Proceedings of KI 97, G. Brewka, C. Habel and B. Nebel, eds. pp. 389—392. Vol 1303 of LNAI, Springer-Verlag, 1997.
148. Language understanding: a procedural perspective (with R. Kempson and W. Meyer Viol)
In Logical Aspects of Computational Linguistics, First International Conference, LACL'96, C. Retore, ed. Pp. 228—247. Vol 1328 of LNAI, Springer-Verlag, 1997.
149. Idefinites as epsilon terms: a labelled deduction account (with R. Kempson, W. Meyer Viol and R. Kibble)
In Proceedings of Tilburg Computational Semantics Conference. IWCS II, Computing Menaing, H. Bunt and R. Muskens, eds. Pp. 203—208. Kluwer, 1999,
150. Parsing as Tree Construction in LDS (with R. Kempson, and W. Meyer Viol and R. Kibble)
In Proceedings of Formal Grammar Conference, Aix-en-Provence, G. Morrill and R. Oehrle,
Eds.1997.
151. On Representationalism in Semantics: A Dynamic Account of Who (with R. Kempson, and W. Meyer Viol)
In Proceedings of 12th Amsterdam Colloquium, 1997
152. Crossover: a unified view (with R. Kempson)
Journal of Linguistics, 34, 73—124, 1998.
153. Executing Temporal Logic; Review and Prospects (with H. Barringer)
Extended abstract in Proceedings Concurrency 88, LNCS, Springer-Verlag.
Previously 703
154. Syntactic Computation as Labelled Deduction: Who, a case study (with W. Meyer Viol and R. Kempson)
Syntactic Categories, R. Borsley and I. Roberts, eds. Pp. 251—294. Academic Press, 2000.
155. VP Ellipsis: towards a dynamic, structural account (with W. Meyer Viol and R. Kempson)
In Studies in Ellipsis, S. Lappin and E. Benmamoun, eds. pp. 227—291. Oxford University Press, 1999.
156. Products of modal logics, part 1 (with V. Shehtman)
Logic Journal of the IGPL, 6, 73—146, 1988.
157. Soft computing, labels and granualation
Soft Computing, 2, 12—13, 1998.
158. Fibring Logics
Oxford Univesity Press, 1998, 600 pp.
159. Fibring Tableaux systems (with B. Beckert)
In Tableaux 1998, H. de Swart, ed. Pp. 77—92. Vol 1397 of LNAI, Springer-Verlag, 1998.
160. Fibring modal Tableaux (with G. Governatori)
presented at Tableaux
1998, published in
Labelled Deduction: Proceedings of LD98, David Basin et all Editors, Kluwer 2000, pp 161-192
161. Structured contexts with fibred semantics (with R. Nossum)
In Formal Aspects of Context. P. Bonzon, M. Cavalcanti and R. Nossum, eds. Pp 191—207. Kluwer, 2000.
162. Agents in proactive environment (with R. Nossum and M. Thielscher)
Journal of Logic and Computation, 9, 25—46, 1999
163. Calender Logic (with H. J. Ohlbach)
Journal of Applied Non-classical Logics, 8, 291—324, 1998.
164. Ad Baculum is not a Fallacy (with J. Woods)
In Proceedings of the Fourth International Conference of the Society for the study of argumentation, ISSA 98, F. H. van Eemeren, Rob Grootendorst, J. Anthony-Blair and C. A. Willard, eds. pp 221—224, SIC—SAT 1999.
165. Dealing with label dependent deontic modalities (with G. Governatori)
In Norms, Logics and Information Systems. New Studies on Deontic Logic and Computer Science (Deon 98), P. McNamara Editor, IOS Press, 1998, pp 311-330
166. A unified compilation style labelled deductive system for modal, substructural and fuzzy logic (with K. Broda and A. Russo)
In Discovering the World with Fuzzy Logic, Vilem Novak and Irena Perfilieva, eds. Pp. 495-548. Springer Verlag, 2000.
File: 166-CLDS/CLDS.tex
167. Goal oriented proof procedures for intermediate logics (with N. Olivetti)
Presented in LD98, incorporated in my book Goal Directed Algorithmic Proof Theory, Kluwer 2000.
168. Cut-Free Proof Systems for Logics of Weak Excluded Middle (with A. Ciabattoni and N. Olivetti)
Soft Computing, 2, 147—156, 1999.
169. Temporal Logic and Quantifier Translations
In How we say WHEN it happens , H Kamp and U. Reyle, ed., Max Niemeyer Verlag, Tuebingen 2002, pp 231-279.
170. How to make your logic fuzzy, Fibred semantics and the weaving of logics, part 3.
In Fuzzy Sets, Logics and Reasoning about Knowledge, D. Dubois, H. Prade and E. P. Klement, eds, pp. 51—84, Kluwer, 1999.
171. Fibring intuitionistic logic programs (with B. Beckert)
To appear in Journal of logic programming
172. The Imperative Future (with H. Barringer, M. Fisher, R. Owens and M. Reynolds)
Research Studies Press, J Wiley, 1996, 239 pp.
173. Temporal Logic: Mathematical Foundations and Computational Aspects, Vol. 2: Computational Aspects (with M. Reynolds and M. Finger)
Oxford University Press, 2000. 600 pages
174. Revision by Translation (with O. Rodrigues and A. Russo)
In Information ,Uncertainty and Fusion, Proceedings of IPMU 98, Bernadette Bouchon-Meunier, Roland R. Yager and Lotfi A. Zadeh, eds, pp 3-32. Kluwer Academic Publishers, 2000.
175. A compiled labelled deductive system for propositional intuitionistic logic (with K. Broda)
In Automated Reasoning with Analytic Tableaux, N. V. Murray, ed. Pp. 66—81. Vol. 1617 of LNAI, Springer-Verlag, 1999.
176. Un Nuovo Approccio alla Meccanizzazione del Ragionamento Deduttivo [A New Approach to the Mechanisation of Deductive Reasoning], (with M. D'Agostino, U. Endriss, M. Mondadori, and J. Pitt)
Paper presented at:
Conference of the Italian Philosophical Society on
Man and Machine: thirty years later, University of Bari, October 1997.
177. WinKE: A Pedagogic Tool for Teaching Logic and Reasoning (abstract) ( with M. D'Agostino, U. Endriss, M. Mondadori, and J. Pitt.)
In Intelligent Tutoring Systems, Proceedings of ITS'98, San Antonio, Texas, B. Goettl, H. Halff, C. Redfield, and V. Shute, eds. Abstract p. 605. Vol. 1452 of LNCS, Springer-Verlag, 1998.
178. Equality in Labelled Deductive Systems and the functional interpretation of propositional equality.
In Proceedings of the 9th Amsterdam Colloquium, P. Dekker and M. Stockhof, eds. pp. 547—566, ILLC/Department of Philosophy, University of Amsterdam.
179. Goal Directed Algorithmic Proof Theory (with N. Olivetti )
Kluwer Academic Publishers, 2000. 266 pp.
180. Products of modal logics part 2 (with V. Shehtman)
Logic Journal of the IGPL , 8(2), 165-210, March 2000.
Previously 702.
181. Dynamic Syntax: The Flow of Language Understanding (with R. Kempson and W. Meyer-Viol)
Blackwells , 2001, 360pp.
182. Flow products of modal logics (with V. Shehtman)
File: DovPapers/182/ (Previously 704.)
Draft
183. Naming Worlds in Modal and Temporal Logic (with G. Malod )
Journal of Logic Language and Information, 11 (1):29-65, 2002.
184. Self fibring in predicate logics, fibred semantics and the weaving of logics part 4
Previously 706
incorporated into my book Fibring Logics ,OUP ,1998
185. Conditional Reasoning in Logic Programming (with L. Giordano, A. Martelli, N. Olivetti and M. L. Sapino)
In Journal of Logic Programming,44(1-3), pp. 37-74, July/August 2000.
Previously 707
186. Encoding two valued non-classical logic in classical logic (with H. J. Ohlbach, A. Nonnengart and M. de Rijke)
In Handbook of Automated Deduction Volume 1, J. Alan Robinson and A. Voronkov, eds. MIT Press, 2001, pp 1403-1486
Previously 708
187. Knowledge Extraction from Trained Neural Networks: a position paper (with A. S. d'Avila Garcez, K. Broda and A. F. de Souza)
In Proceedings of 6th IEEE International Conference on Neural Information Processing (ICONIP'99), Vol. II, pp. 685-691, Perth, Australia, 1999.
188. Non-cooperation in dialogue logic (with J. Woods)
Synthese, 127 (1/2): pp
161-186, April 2001.
Previously 710a , under the title : Time and Action in Dialogue Logic
189. Hard negotiations between bombastic agents (with J. Woods and O. Rodrigues)
Previously 710b.
File: 189-Bombastic/Bombastic.tex
In preparation
190. Compiled Labelled Abductive Systems (with K Broda)
In Labelled Deduction: Proceedings of LD98, David Basin et al, eds. Pp. 107-234. Kluwer 2000,
Previously 711
191. Eliminating Boolean Expressions Part 1 and Part 2, (with S. Demri)
In Studia Logica
Part 1 – 65(3), pp. 323-353, 2000.
Part 2 – 66(3), pp. 349-384, 2000.
File: DovPapers/191/.dvi files only (Previously 712)
192. Abduction in Labelled Deductive Systems
In Handbook of Defeasible Reasoning and Uncertainty Management, Vol. 4. Pp. 99—154. Kluwer Academic Publishers, 2000.
Previously 713
193. Provability logic for default reasoning (with G. Amati, L. Aiello and F. Pirri)
Report 29.94, November 94, Univ of Rome , Dept of Computer Science , pp. 1—24. Paper presented at Logic Colloquium 1995.
Previously 714
194. Symbolic knowledge extraction from trained neural networks: a new approach (with A. S. d'Avila Garcez and K. Broda)
Artificial Intelligence, 125(1):153-205, January, 2001.
Previously 715
195. Products of Modal Logics Part 3: Products of Modal and Temporal Logics (with V. Shehtman)
Studia Logica Vol.72, No.2, pp. 157-183, 2002.
Previously 716.
196. What is a Logical System, 2?
In Proceedings of the 1999 Conference of the Society of Exact Philosophy , pp. 81—103, Hermes, 2000.
File: DovPapers/196/717-LS2.tex
197. A Theory of Hypermodal Logics: (Mode Shifting in Modal Logic)
Journal of Philosophical Logic, 31, 211-243, 2002.
File: DovPapers/Hypermodal/hypermodal.tex. Also see 197/197MSML.tex (Dov to clarify)
198. Quantum Logic, Hilbert Space and Revision Theory (with K Engesser),
AI Journal, Vol 136 Number 1 , March 2002, pp 61-100
File: DovPapers/198/
199. Cooperate with your Logic Ancestors (with John Woods)
Journal of Logic ,Language and Information, 8(2): iii-v, April 1999.
200. Action Time and Default
In Logical Foundations of Cognitive Agents, Hector Levesque and Fiora Pirri editors, pp. 151—154. Springer, 1999
201. Dynamics of Practical Reasoning: A position paper
In Advances in Modal Logic 2, K. Segerberg, M. Zakhryaschev, M. de Rijke and
H. Wansing, ed. pp. 179—224. CSLI Publications, CUP 2001 .
202. Interpolation in Practical Formal Development (with J. Bicarregui, T. Dimitrakos and T. Maibaum)
Logic Journal of IGPL, 9, 231-244, 2001.
203. Goal Directed Mechanisms
In
preparation
204. Interpolation in goal directed proof systems 1 (with N Olivetti)
In Proceedings LC-2001
File:
DovPapers/204/204-interpolation.tex
205.
Solving Inconsistencies through learning (with A. S.
d'Avila Garcez, and K. Broda)
Appeared as a chapter in 220.
206. Metalevel Priorities and Neural Networks (with A. S. d'Avila Garcez, and K. Broda )
In ECAI Workshop on the Foundations of Connectionist-Symbolic Integration, Berlin, Germany, 2000, P. Frasconi, M. Gori, F. Kurfess, A. Sperduti, eds. Pp. 38-49. Springer.
207. The New Logic (with John Woods),
Logic Journal of IGPL , 9, 141-174, 2001.
File: DovPapers/207-TheNewLogic/TheNewLogic.tex
208. Formal Approaches to Practical Reasoning (with John Woods)
In Handbook of Logic of Argument and
Inference: The Turn Toward the Practical (with H. J. Ohlbach, J. Woods and R. Johnson), Elsevier, 2002, pp 449-481 .
File: 208-FSPR/FPRS.tex
209. Logic The Practical Turn (with J. Woods, R. Johnson and H. J. Ohlbach)
In Handbook of Logic of Argument and Inference: The Turn Toward the Practical (with H. J. Ohlbach, J. Woods and R. Johnson), pp. 1-40, Elsevier, 2002.
210. Controlled Revision –A Preliminary Account (with G. Pigozzi and J. Woods)
Journal of Logic and Computation, 13, 13-23, 2003.
File: DovPapers/210/GabbayPigozziWoods.tex
211. Labelled Natural Deduction for Conditional Logics of Normality (with K. Broda, L. Lamb and A. Russo).
Logic Journal of the IGPL, 10(2): 123-163, 2002.
212. Belief Contraction, Anti-formulas , and Resource Overdraft: Part I (with O. Rodrigues and J. Woods)
Logic Journal of the IGPL, 10, 601-652, 2002.
File: 212-BeliefContraction/BelCon2.tex
213. Existence and Anti-existence in Non-classical logics (with O. Rodriges and J. Woods)
in preparation
214. Sampling Labelled Deductive Systems
In Dale Jacquette editor, Blackwell’s Companion To Philosophical Logic, Blackwell’s 2002, pp 742-769
File: DovPapers/214-SamplingLDS/SamplingLDS.tex
215. Combining Probabilistic and Labelled Reasoning
Foreword for “Foundations of Bayesianism”, David Corfield and Jon Williamson, eds. Applied Logic Series, Kluwer, 2001.
File: DovPapers/215/Foreword.tex
216. More on Non-cooperation in dialogue logic (with John Woods)
Logic Journal of IGPL , 9, 141-174, 2001.
217. Logical encoding of the clause graph proof procedures (with Joerg Siekmann)
File: DovPapers/217-ConnectionGraphs/FLCG.tex
218. Integrating diverse flows of information using LDS
File: DovPapers/218-Integrating/PwF.tex
219. Recursive causality in Bayesian networks and self fibring (with J. Williamson)
File: DovPapers/219-Recursion/219-recursion.tex
220. Neural-Symbolic Learning Systems: Foundations and Applications (with A. Garcez and K. Broda)
Springer Verlag, 2002, 350pp.
221. Interpolation in goal directed proof systems 2 (with N. Olivetti)
222. Modal varieties of temporal logic (with H. Barringer)
A chapter in the Handbook of Time, Elsevier, to appear
223. A Theory of Hypermodal Logics: (Mode Shifting in Modal Logic), Part 2
File: DovPapers/Hypermodal/hypermodal2.tex
224. Origins of Non-Monotonicity (with J. Woods)
225. Motivating Labelled Natural Deduction
paper in honour of J. Siekmann
226. A Note on Interpolation by Translation (with S. Schlobach and H. J. Ohlbach)
File: DovPapers/226-Inerpolation/226-interpolation.tex
227. Logics of Context (with R. Nossum)
A chapter in the Handbook of Philosophical Logic, 2nd edition.
228. Context Dependent Abduction and Relevance (with R. Nossum and J. Woods)
229. Filtration Structures and the Cut Down Problem for Abduction (with J. Woods)
230. Analytic Sequent Calculi for Abelian and Lukasiewicz Logics (with G. Metcalfe and N. Olivetti)
In Tableaux 2002, U. Egli, C. Fermüller, eds. Pp. 191-205. Vol 2381 of LNCS, Springer 2002.
File: DovPapers/230-Abelian/230-Abelian.tex
231. Belief Contraction, Anti-formulae and Resource Overdraft: Part II (with O. Rodrigues and J. Woods)
To appear in Logic, Epistemology and the Unity of Science, D. M. Gabbay, S. Rahman, J. Symons and J-P van Bendegem, eds. Kluwer
DovPapers/231/..
232. Networks in Input Output Logic (with D. Makinson and L. van Torre)
DovPapers/232Networks/…
233. Sequent and Hypersequent calculi (with G. Metcalfe and N. Olivetti)
Paper prepared by Metcalfe – postscript file only with Jane
Dov: is this the same as number 230? Nicola suggests that this item should be deleted.
234. Goal Directed Calculi for Goedel-Dummett Logics (with G. Metcalfe and N. Olivetti)
Paper prepared by Metclafe – postscript file only with Jane
235. A connectionist inductive learning system for modal logic programming (with A. Garcez and L. Lamb) ICONIP 2002.
In Proceedings of 9th IEEE Intrnational Conference on Neural Information Processing ICONI’02, Singapore, November 2002.
236. Connectionist modal logic for distributed knowledge representation (with A. Garcez, L. Lamb and K. Broda)
Submitted
No file with Jane
237. Distributed knowledge representation in neural-symbolic learning systems (with A. Garcez, L. Lamb and K. Broda).
In Proceedings of 16th AAAI International FLAIRS Conference, Florida, USA,May 2003.
238. Interpolation in Goal Directed Systems: The Case of S5 (with N. Olivetti)
draft 20.11.02
239. Agenda Relevance (with John Woods)
Elsevier, 2003. 521pp.
240. Many Dimensional Modal Logics (with A. Kurucz, F. Wolter, and M. Zakhryaschev)
Elsevier, Studies in Logic, 2003. 742 pp.
241. Goal oriented deductions. (with N. Olivetti)
In Handbook of Philosophical Logic, Second edition. Volume 9. D. M. Gabbay and F. Guenthener, eds. Pp. 199-285. Kluwer, 2002.
242. Applying connectionist modal logics to distributed knowledge representation problems (with A. S. d’Avila Garcez, K. Broda and L. Lamb)
International Journal on Artificial Intelligence Tools (to appear) 2004.
243. Connectionist computations of intuitionistic reasoning (with A. S. d’Avila Garcez and L. C. Lamb)
Submitted.
244. Interpolation in intuitionistic logic programming (with N. Olivetti)
In preparation
245. Interpolation theorems for intuitionistic logic using fibred semantics.
In preparation.
File: DovPapers/245-IFS/245-ifs.tex
246. Halfway between points and intervals. A temporal logic based on ordered trees (with U. Endriss)
247. Fibring neural networks (with A. Garcez)
In Proceedings of 19th Natioanl Conference on Artificial Itnelligence (AAAI04), San Jose, CA. AAAI Press, to appear July 2004
248. The laws of evidence and labelled deduction (with John Woods)
Published in Phi-news, pp. 5-46, October 2003.
249. Analytic calculi for product logics (with George Metcalfe and Nicola Olivetti)
File: DovPapers/249-MOGproduct.tex
250. A connectionist computational model for intuitionistic modal reasoning (with A. Garcez and L. Lamb)
In preparation
251. Restart as a Computational Rule (with M. J. Gabbay and Michael Gabbay)
Submitted to Special Issue of J.Logic and Computation, August 2004
252. Compiled Labelled Deductive Systems for Modal and Conditional Logics (with K. Broda, L. Lamb and A. Russo)
To appear, Research Studies Press, 350 pages, 2003
253. Fallacies as Cognitive Virtues (with J. Woods)
In preparation
254. Temporal Dynamics of Argumentation Networks (with J. Woods and H. Barringer) To appear in Volume Dedicated to Joerg Siekmann
255. Proof Theory for Propositional Fuzzy Logic (with G. Metcalfe)
256. Fuzzy Logic without Weakening (with G. Metcalfe)
257. Proof Theories for Probabilistic Logics (with J. Williamson)
258. Goal-Directed Methods for Lukasiewicz Logic (with G. Metcalfe and N. Olivetti)
File: None provided, yet.
259. Hypersequents and Fuzzy Logic (with G. Metcalfe and N. Olivetti)
File: DovPapers/259/259-GMOhypersequents.tex
260. Network Modalities (with H. Barringer and J. Woods)
File: DovPapers/260-NM/260-nm.tex
261. Cross-ratio Uni-norms (with G. Metcalfe)
File: DovPapers/261-CrossRatio/261-crossratio.tex
262. Neural-symbolic intuitionistic reasoning (with A. S. d’Avila Garcez, and L. C. Lamb)
In Frontiers in Artificial Intelligence and Applications, A. Abraham, M. Koppen and K. Franke, eds. Proceedings of the 3rd International Conference on Hybrid Intelligent Systems (HIS’03). IOS Press, Melbourne, Australia, December 2003.
263. Reactive Kripke Semantics and Arc Accessibility
File: DovPapers/260-NM/260-nm.tex
File: DovPapers/263-ReactiveKripke/263-RKS.tex
264. Uni-norms Based Logics (with G. Metcalfe)
265. Traversing Reactive Graphs (with A. Gibbons)
File: DovPapers/265-TraversingGraphs/265-trg.tex
266. Abductive Reasoning in Neural Symbolic Systems (with A. d’Avila Garcez and J. Woods)
In preparation.
267. Towards Connectionist Argumentation Frameworks (with A. d’Avila Garzez and L. Lamb)
Poster at ECAI 2004.
268. Advice on Abductive Logic (with J. Woods)
To appear in CogSci 2004. Symposium on Abduction, Chicago.
File: DovPapers/268/268-AAL.tex
269. Argumentation Neural Networks (with A. d’Avila Garzez and L. Lamb)
In Proceedings of 11th International Conference on Neural Information Processing (ICONIP’04), Calcutta, India. Lecture Notes in Computer Science, Springer-Verlag, November 2004.
270. Cut and Pay (with M. Finger)
271. Value Based Argumentation Frameworks as Neural Symbolic Learning Systems (with L. Lamb and A. d’Avila Garcez)
Submitted to J. Logic and Computation, October 2004.
272. Advice on a Formal Model of Abduction (with J. Woods)
File: DovPapers/272-AFMA/272-AFMA.tex
273. Quantum Logic, Hilbert Space Revision Theory, Part 2: A Monist Approach (with K. Ungesser and D. Lehmann)
274. Labelled Deduction and Beyond
A chapter for the Handbook of Philosophical Logic,2nd edition.
275. a new paper
276. a new paper
277. a new paper
278. a new paper
279. a new paper
280. a new paper
281. a new paper
1. Montague Type Semantics for Non-classical Logic
Technical Report, US Air Force, 1969, pp 1—25.
2. Axiomatization of Logic Programs
text of letter to V Pratt, Nov 1977.
3. The Separation Theorem for Temporal Logic
Report DFG Project RO/245/12, 1981, University of Stuttgart, pp 73.
4. The Tübingen Lectures, on the logics of practical reasoning
Tübingen, 1988, 127 pp in collaboration with C. A. Mortari and K. U. Schulz).
1. Fallacies in Resource—Based Reasoning: A Study in Economic Rationality (with J. Woods)
in planning
2. Labelled
Deductive Systems; principles and applications. Vol 2: Further Developments
Oxford University Press, in preparation.
3. The Reach of Abduction (with John Woods )
partial draft available, 300 pp.
4. Multi-agent
Dialogue Structures (with John Woods)
In preparation,
300 page draft available
5. The Functional Interpretation (with Ruy de Queiroz and Anjolina Grisi de Oliveira)
150 page draft available. To appear with World Scientific.
6. Revision by Translation (with O. Rodrigues and A. Russo)
Partial draft available, 300pp.
7. Proof Planning (with Joerg Siekmann and others)
Work in progress
8. Treatise on Interpolation and Definability (with L. Maksimova)
Partial draft available. To appear with Oxford University Press.
Available on web: address??????????
9. Quantification in Non-classical Logics (with V. Shehtman and D. Skvortsov ),
In preparation,
400 page very partial draft available on web: address??????????
10. Formal Models of Practical Reasoning (with J. Woods)
Partial draft available
11.
Combining and decomposing logics (with W. Carnieli, A. Sernadas
and C. Sernadas). Work in
progress.
12. The metamathematics of formal logics (with A. Avron)
13. Epsilon symbols in non-classical logics (with W. Meyer-Viol)
14.
Proof theory for many valued
logics (with G. Metcalfe and
N. Olivetti)
Partial draft available. To appear with Oxford University Press.
Available on Web at:
15. Connectionist Non-classical Logics: Distributed Reasoning & Learning in Neural Networks (with A. S. D’Avila Garcez and L. C. Lamb)
Partial draft available.
16. Quantum Logic (with K. Engesser and D. Lehmann)
In Preparation
1. Practical Reasoning, FAPR 96, Proceedings of the first international conference (Joint editor with H. J. Ohlbach)
Springer Verlag Lecture Notes in Artificial Intelligence, vol 1085, 719 pp.
2. Qualitative and Quantitative Practical Reasoning, FAPR 97 (with R. Kruse, A. Nonnengart and H. J. Ohlbach)
Springer 1997, LNAI 1244.
3.
What Is A Logical System
(Oxford University Press) 421pp, 1994.
4. What is negation (with H. Wansing)
Kluwer, 1999, 333 pp.
5. Temporal Logic, ICTL '94—First International Conference (Joint editor with H. J. Ohlbach)
Lecture notes in Artificial Intelligence 827, Springer Verlag, 1994, 546pp.
6. Advances in Temporal Logic, ICTL '97—Second International Conference, (joint editor with H. Barringer, M. Fisher and G. Gough)
Kluwer, Applied Logic Series No 16, 2000, 453 pp.
7. WOCFAI 91 Proceedings of the First International Conference on The Foundations of Artificial Intellingence. (With Michel De Glass)
Angkor, 1991, 525 pp.
8. Logic Colloquium 92 (with L. Czermak and M. de Rijke)
SILLI series, CUP, 1995, 319 pp.
9. Proceedings FROCOS 98 (with Martin de Rijke)
Studies in Logic and Computation Vol 7, Research Studies Press, 2000, 407 pp.
10. Labelled Deduction: Proceedings of LD 98 (with D. Basin, M. D’Agostino, S. Matthews and L. Vigano).
Applied Logic Series, Kluwer 2000, 266 pp.
11.
Special issue of Journal of Applied
Logic (with
A. S. d’Avila Garcez, G. Taylor and S. Holldobler)
Journal of Applied Logic, Special Issue onNeural-Symbolic Systems. Elsevier, to appear 2004.
12.
13.
14.
1. Handbook of Philosophical Logic (Joint editor with F. Guenthner)
* 18 volumes second edition in preparation,
Kluwer Publishing Group.
Volume 1:Elements of Classical Logic
Synthese library 164, 1983, 479 pp.
Volume 2: Extensions of Classical Logic
Synthese library 165, 1984, 720 pp.
Volume 3: Alternative to Classical logic
Synthese library 166, 1986, 640 pp.
Volume 4: Topics in Philosphy of Language
Synthese library 167, 1989, 724 pp.
2. Handbook of Logic in Computer Science (with S. Abramsky and T. Maibaum)
Oxford University Press
Volume 1: Background Mathematical Structures
1992, 700pp.
Volume 2: Background Computational Structures
1992, 544 pp,.
Volume 3: Semantic Structures
1994, 490 pp.
Volume 4: Semantic Modelling
1995, 651pp.
Volume 5:
2000, 535pp,
NOW BEING TRANSLATED INTO RUSSIAN
3. Handbook of Logic in Artificial Intelligence and Logic Programming (with C. Hogger and J. A. Robinson)
Oxford University Press
Volume 1:Logical Foundations
1993, 518pp.
Volume 2: Deduction Methodologies
1994, 511 pp,.
Volume 3: Non-monotonic Reasoning and Uncertain Reasoning
1994, 529 pp.
Volume 4: Epistemic and Temporal Reasoning
1995, 611pp.
Volume 5: Logic Programming
1997, 900pp.
NOW BEING TRANSLATED INTO RUSSIAN
4. Handbook of Defeasible Reasoning and Uncertainty Management (with P Smets).
In 6 volumes to appear with Kluwer 1998—1999.
Volume 1
Qualitative and Quantitative Reasoning (P. Smets, volume editor)
— 1998, 478pp.
Volume 2
Reasoning with contradictions (P. Besnard and A. Hunter, volume editors)
— 1998, 400 pp,.
Volume 3
Belief change (D. Dubois and H. Prade, volume editors)
— 1998, 400 pp.
Volume 4
Abductive Reasoning and Learning (D. M. Gabbay and R. Kruse, volume editors)
2000, 442 pp
Volume 5
Algorithms for Uncertainty and Defeasible Reasoning (J. Kohlas and S. Moral, volume editors)
2000, 524 pp
Volume 6
Agents, Reasoning and Dynamics (J.-J. Meyer and J. Treur, volume editors)
2001, 396 pp,
Volume 7
(J.-J. Meyer and J. Treur, volume editors)
2002, 480 pp.
5. Handbook of Tableaux (with M. D'Agostino, R. Heinele and J. Possega).
Kluwer 1999—pp 670
6. Handbook of Logic of Argument and Inference: The Turn Toward the Practical (with H. J. Ohlbach, J. Woods and R. Johnson)
Elsevier 2001, 500pp.
7. Handbook of Time in AI (co-editor with Lluis Vila I. Grabul and M. Fisher)
In preparation for Elsevier.
8. Handbook of Logic and Law (co-editor with Andrew Jones)
In planning
9. Handbook of the History of Logic (with John Woods)
In preparation 12 volumes for Elsevier.
Volume 1:
Greek, Indian and Arabic Logic: Feb 2004
Volume
2: The Rise of Modern Logic I: Leibniz
to Frege, 2004
10.
Handbook of Logic and Philosophy of Science (with
John Woods and P. Thagard)
15 volumes, in preparation.
11.
Biographical Dictionary of Logic
in preparation
12.
Who is Who in Logic
in preparation
13.
Who is Who in Computer Science
in preparation
14.
Handbook of Philosophical Logic, 2nd edition
Volume 1:
2001:
400pp
Volume 2: 2001: 416 pp
Volume 3: 2001:420 pp
Volume 4: 2001:439 pp
Volume 5: 2001:368 pp
Volume 6: 2001: 414 pp
Volume 7: 2001:358 pp
Volume 8: 2001:362 pp
Volume 9: 2002: 376 pp
Volume 10: 2003:
Volume 11: 2003:
Volume
12: 2004
Volume
13: 2004
Subsequent volumes still in preparation
Kluwer Publishing Group.
15. Handbook of Quantum Logic (with K. Engesser and D. Lehmann)
1.
Logic and language
special double issue with R. Kempson for JOLLI, vol 5, 1996, nos 3—4
2.
Combining Logics
special double issue with F. Pirri for Studia Logica, vol 59,1997, nos 1—2
3. Logic, Grammar and
Language
by Dov Gabbay (Editor), Ruth Kempson (Editor)
Hermes Science Pubns; ISBN: 1903398053
1.
Journal
of Logic and Computation
Oxford University Press, Editor in chief.
2.
Journal
of Language and Computation
Hermes Science Publishers, editor in Chief with T. Fernando, U. Reyle, R. Kempson.
Now acquired by Kluwer Scientific Publications
3.
Journal
of Logic, Language & Information
Kluwer Academic, Receiving Editor.
4.
Journal
of Applied Non-Classical Logics
Editions Hermes, Receiving Editor.
5.
Studia
Logica
Kluwer Academic, Honorary Editor.
6.
Journal
of Applied Logic
Elsevier/North Holland Editor-in-Chief with J Siekmann and A Jones
7.
Autonomous
Agents
Kluwer Academic, Honorary Editor.
8.
Logic
Journal of the IGPL
Oxford University Press, Editor in chief.
9.
Journal
of Discrete Algorithms
Hermes Science publishers, joint managing editor
Now acquired by Elsevier Amsterdam.
10.
F News
(Executive editor with V.Hendricks and S. A. Pedersen).
1. Oxford Logic Guides
OUP
2. Studies in Logic and Computation
OUP, now RSP press
3. SILLI Book Series in Logic and Language
CUP
4. Graduate Texts in Computer Science
OUP
5. Applied Logic Series
KLUWER
6. Studies in Logic and Cognitive Science
KCL PUBLICATIONS
7. Advanced Mathematical Logic Handbooks Series
KLUWER
8. Studies in Logic
ELSEVIER
9. Advances in Logic
WORLD SCIENTIFIC
10. Studies in Logic and Practical Reasoning
ELSEVIER
11. Cognitive Technologies (with J. Siekmann)
SPRINGER
VERLAG