MPG.eBooks - Search Results

Cover Image

21

Revision, Acceptability and Context : Theoretical and Algorithmic Aspects

by Gabbay, Dov M., Rodrigues, Odinaldo T., Russo, Alessandra
Published 2010

Springer Berlin Heidelberg

Cover Image

22

Reactive Kripke Semantics

by Gabbay, Dov M.
Published 2013

Springer Berlin Heidelberg

Cover Image

23

Goal-Directed Proof Theory

by Gabbay, Dov M., Olivetti, N.
Published 2000

Springer Netherlands

Cover Image

24

Abductive Reasoning and Learning

Published 2000

Springer Netherlands

Cover Image

25

Quantified Representation of Uncertainty and Imprecision

Published 1998

Springer Netherlands

Cover Image

26

Handbook of Defeasible Reasoning and Uncertainty Management Systems : Algorithms for Uncertainty and Defeasible Reasoning

Published 2000

Springer Netherlands

Cover Image

27

Reasoning with Actual and Potential Contradictions

Published 1998

Springer Netherlands

Cover Image

28

Semantical Investigations in Heyting's Intuitionistic Logic

by Gabbay, Dov M.
Published 1981

Springer Netherlands

Cover Image

29

Interpolation and definability : modal and intuitionistic logic

by Gabbay, Dov M.
Published 2005

Oxford University Press

Cover Image

30

Handbook of Philosophical Logic : Volume IV: Topics in the Philosophy of Language

Published 1989

Springer Netherlands

Cover Image

31

Handbook of Philosophical Logic : Volume II: Extensions of Classical Logic

Published 1984

Springer Netherlands

Cover Image

32

Handbook of Philosophical Logic : Volume I: Elements of Classical Logic

Published 1983

Springer Netherlands

Cover Image

33

Handbook of Philosophical Logic : Volume 8

Published 2002

Springer Netherlands

Cover Image

34

Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics

by Gabbay, Dov M.
Published 1976

Springer Netherlands

Cover Image

35

Handbook of Philosophical Logic

Published 2001

Springer Netherlands

Cover Image

36

Temporal Logic : First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings

Published 1994

Springer Berlin Heidelberg

Cover Image

37

Practical Reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR'96, Bonn, Germany, June (3-7), 1996. Proceedings.

Published 1996

Springer Berlin Heidelberg

Cover Image

38

Neural-Symbolic Learning Systems : Foundations and Applications

by d'Avila Garcez, Artur S., Broda, Krysia B., Gabbay, Dov M.
Published 2002

Springer London

Cover Image

39

Handbook of Philosophical Logic : Volume 17

Published 2014

Springer Netherlands

Cover Image

40

Conditionals and Modularity in General Logics

by Gabbay, Dov M., Schlechta, Karl
Published 2011

Springer Berlin Heidelberg

1
2
3