Suchergebnisse - Gabbay, Dov M. 1945-

Goal-directed proof theory

von Gabbay, Dov M. 1945-, Olivetti, Nicola

Inhaltsverzeichnis

Labelled deductive systems

Band 1

von Gabbay, Dov M. 1945-

Logical tools for handling change in agent-based systems: with 8 tables

von Gabbay, Dov M. 1945-, Schlechta, Karl 1948-

Interpolation and definability

[1] - Modal and intuitionistic logics

von Gabbay, Dov M. 1945-, Maksimova, Larisa L. 1943-

Analysis and synthesis of logics: how to cut and paste reasoning systems

von Carnielli, Walter Alexandre 1952-, Coniglio, Marcelo Esteban, Gabbay, Dov M. 1945-, Gouveia, Paula, Sernadas, Cristina

Online lesen

Fibring logics

von Gabbay, Dov M. 1945-

Inhaltsverzeichnis

A new perspective on nonmonotonic logics

von Gabbay, Dov M. 1945-, Schlechta, Karl 1948-

Revision, acceptability and context: theoretical and algorithmic aspects

von Gabbay, Dov M. 1945-, Rodrigues, Odinaldo T., Russo, Alexandra

Inhaltsverzeichnis

The reach of abduction: insight and trial

von Gabbay, Dov M. 1945-, Woods, John

What is negation in a system?

Band 2 - Negation in structured consequence relations

von Gabbay, Dov M. 1945-, Wansing, Heinrich T.

Fibred semantics and the weaving of logics

Band 1

von Gabbay, Dov M. 1945-

Elements of algorithmic proof

von Gabbay, Dov M. 1945-

Labelled deductive systems

Band 1

von Gabbay, Dov M. 1945-

Semantical investigations in Heyting's intuitionistic logic

von Gabbay, Dov M. 1945-

Inhaltsverzeichnis

The functional interpretation of logical deduction

von Queiroz, Ruy J. G. B. de 1958-, Oliveira, Anjolina G. de, Gabbay, Dov M. 1945-

Inhaltsverzeichnis

Logical tools for handling change in agent-based systems: with ... 8 tables

von Gabbay, Dov M. 1945-, Schlechta, Karl 1948-

Inhaltsverzeichnis

Investigations in modal and tense logics with applications to problems in philosophy and linguistics

von Gabbay, Dov M. 1945-

Inhaltsverzeichnis

Investigations in modal and tense logies with applications to problems in philosophy and linguistics

von Gabbay, Dov M. 1945-

Conditionals and Modularity in General Logics

von Gabbay, Dov M. 1945-, Schlechta, Karl 1948-

Neural-symbolic cognitive reasoning

von D'Avila Garcez, Artur S. 1970-, Lamb, Luís C., Gabbay, Dov M. 1945-

Inhaltsverzeichnis