1
by Gabbay, Dov M.
Published 2012
Elsevier North Holland
... are numerous and large. Authors have been given considerable latitude to produce chapters of a length, and a...

2
Published 2001
Springer Netherlands
... of this extraordinary handbook. It has been over 15 years since the publication of the first edition and there have been...

3
Published 2002
Springer Netherlands
... of this extraordinary handbook. It has been over 15 years since the publication of the first edition and there have been...

4
Published 2004
Springer Netherlands
... of this extraordinary handbook. It has been over 15 years since the publication of the first edition and there have been...

5
Published 2001
Springer Netherlands
... of this extraordinary handbook. It has been over 15 years since the publication of the first edition and there have been...

6
Published 2003
Springer Netherlands
... of this extraordinary handbook. It has been over 15 years since the publication of the first edition and there have been...

7
Published 2001
Springer Netherlands
... of this extraordinary handbook. It has been over 15 years since the publication of the first edition and there have been...

8
Published 2002
Springer Netherlands
... of this extraordinary handbook. It has been over 15 years since the publication of the first edition and there have been...

9
Published 2002
Springer Netherlands
... of this extraordinary handbook. It has been over 15 years since the publication of the first edition and there have been...

10
Published 2002
Springer Netherlands
... of this extraordinary handbook. It has been over 15 years since the publication of the first edition and there have been...

11
Published 1999
Springer Netherlands
...The notion of negation is one of the central logical notions. It has been studied since antiquity...

12
Published 2000
Springer Netherlands
... properties, and ease of mechanisability. It is thus not surprising that labelled deduction has been applied...

13
by D'Avila Garcez, Artur S., Lamb, Luís C., Gabbay, Dov M.
Published 2009
Springer Berlin Heidelberg
... to learn from experience, and our ability to reason from what has been learned. This book is the first...

14
Published 2000
Springer Netherlands
... to modern man, both adult and child alike. It has been studied across a wide range of disciplines, from...

15
Published 2000
Springer Netherlands
... methods of computation in systems designed to represent uncertainty. It has been noted early by Shenoy...

16
Published 1999
Springer Netherlands
...Recent years have been blessed with an abundance of logical systems, arising from a multitude...

17
Published 1989
Springer Netherlands
... the semantics of proper names and descrip­ presents an overview tions have been dealt with in recent theories...

18
Published 1986
Springer Netherlands
... and linguistic considerations; various applications in theoretical computer science have also been envisaged...

19
by Gabbay, Dov M.
Published 1976
Springer Netherlands
... of a one year graduate course in modal logic. The material which they contain has been taught...

20
Published 2004
Springer Netherlands
..., the analytic and synthetic distinction as well as disputes concerning semantics and pragmatics have been...