Many-Dimensional Modal Logics: Theory and Applications
- D. Gabbay, Agi Kurucz, F. Wolter, M. Zakharyaschev
- Philosophy
- 4 November 2003
A Logical Account of Formal Argumentation
- Martin Wigbertus Antonius Caminada, D. Gabbay
- PhilosophyStudia Logica: An International Journal for…
- 15 November 2009
In the current paper, we re-examine how abstract argumentation can be formulated in terms of labellings, and how the resulting theory can be applied in the field of modal logic. In particular, we are…
On the temporal analysis of fairness
- D. Gabbay, A. Pnueli, S. Shelah, J. Stavi
- Computer ScienceACM-SIGACT Symposium on Principles of Programming…
- 28 January 1980
It is shown that with the addition of the 'until' operator -U the temporal language becomes expressively complete and two deductive systems DX and DUX are proved to be complete for the languages without and with the new operator respectively.
Dynamic syntax - the flow of language understanding
- Ruth Kempson, W. Meyer-Viol, D. Gabbay
- Linguistics
- 22 December 2000
1.Towards a Syntactic Model of Interpretation. Natural Language as a Formal Language?. Underspecification in Language Processing. The Representational Theory of Mind. Pronominal Anaphora: Semantic…
Adding a temporal dimension to a logic system
It is shown that the logic system T(L), constructed by combining L with a pure propositional temporal logic T, preserves several properties of the original temporal logic like soundness, completeness, decidability, conservativeness and separation over linear flows of time.
Theoretical Foundations for Non-Monotonic Reasoning in Expert Systems
- D. Gabbay
- Computer ScienceLogics and Models of Concurrent Systems
- 1 February 1989
Inference mechanism to extract more information out of P, a set of propositions of predicate logic, which is a collection of confirmed data items.
What Is Negation as Failure?
- D. Gabbay
- Computer ScienceLogic Programs, Norms and Action
- 2012
An Equational Calculus is offered and a new completion for programs with negation as failure in the body of clauses is defined and a connection is established with argumentation theory.
The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems
- D. Gabbay
- Computer ScienceTemporal Logic in Specification
- 8 April 1987
A new paradigm in executable logic, that of the declarative past and imperative future, is proposed, which is regarded as a natural meeting between the imperative anddeclarative paradigms.
Semantical investigations in Heyting's intuitionistic logic
- D. Gabbay
- Philosophy
- 1981
Logical Systems and Semantics.- Introducing HPC.- The Kripke, Beth and Topological Interpretations for HPC.- Heyting's Propositional Calculus and Extensions.- Three Intermediate Logics.- Formulas in…
...
...