Jump to main content

yr 〜
yr

Search results 89

Interactive Logic: Selected Papers from the 7th Augustus de Morgan Workshop, London

Interactive Logic: Selected Papers from the 7th Augustus de Morgan Workshop, London
Digital電子書籍・電子雑誌図書
2008
Available onlineNational Diet Library
  • Author Heading...ohan F.A.K van Gabbay, Dov Lowe, Benedikt....... F. A. K. van Gabbay, Dov M. Lo�we, Benedikt.

Grundlagen der Mathematik = Foundations of mathematics I, pt. A : Prefaces and §§1-2 1st English ed.

Grundlagen der Mathematik = Foundations of mathematics I, pt. A : Prefaces and §§1-2 1st English ed.
Paper図書
David Hilbert and Paul Bernays ; editors, Claus-Peter Wirth, Jörg Siekmann, Michael Gabbay, Dov GabbayCollege publicationsc2011
Other Libraries in Japan
  • Author HeadingHilbert, David Bernays, Paul Wirth, Claus-Peter Siekmann, Jörg Gabbay, Michael Gabbay, Dov

Mathematical problems from applied logic : logics for the XXIst century / edited by Dov M. Gabbay, Sergi S. Goncharov and Michael Zakharyaschev. (International mathematical series ; v. 5)

Mathematical problems from applied logic : logics for the XXIst century / edited by Dov M. Gabbay, Sergi S. Goncharov and Michael Zakharyaschev. (International mathematical series ; v. 5)
Paper図書
Springerc2007-<MA41-B22>
National Diet Library
  • Author HeadingGabbay, Dov M., 1945- Goncharov, S. S. Za...

Handbook of quantum logic and quantum structures : quantum structures / edited by Kurt Engesser, Dov M. Gabbay, Daniel Lehmann. 1st ed.

Handbook of quantum logic and quantum structures : quantum structures / edited by Kurt Engesser, Dov M. Gabbay, Daniel Lehmann. 1st ed.
Paper図書
Elsevier2007.<MC53-B29>
National Diet Library
  • Author HeadingEngesser, Kurt. Gabbay, Dov M., 1945- Lehmann, Daniel, 19...

Handbook of the logic of argument and inference : the turn towards the practical / edited by Dov M. Gabbay ... [et al.]. 1st ed. (Studies in logic and practical reasoning ; v. 1)

Handbook of the logic of argument and inference : the turn towards the practical / edited by Dov M. Gabbay ... [et al.]. 1st ed. (Studies in logic and practical reasoning ; v. 1)
Paper図書
Elsevier2002.<MA41-B19>
National Diet Library
  • Author HeadingGabbay, Dov M., 1945-

A new perspective on nonmonotonic logics

A new perspective on nonmonotonic logics
Paper図書
Dov M. Gabbay, Karl SchlechtaSpringerc2016
Other Libraries in Japan
  • Author HeadingGabbay, Dov M. Schlechta, Karl

Handbook of philosophical logic / edited by D.M. Gabbay and F. Guenthner. 2nd ed.

Handbook of philosophical logic / edited by D.M. Gabbay and F. Guenthner. 2nd ed.
Paper図書
Kluwer Academic Publishersc2001-<H35-B4>
National Diet Library
  • Author HeadingGabbay, Dov M., 1945- Guenthner, Franz.

Reactive Kripke semantics

Reactive Kripke semantics
Paper図書
Dov M. GabbaySpringerc2013
Other Libraries in Japan
  • Author HeadingGabbay, Dov M.

Handbook of the history of logic 1st ed.

Handbook of the history of logic 1st ed.
Paper図書
edited by Dov M. Gabbay and John Woods.Elsevier2004-<H35-B8>
National Diet Library
  • Author HeadingGabbay, Dov M., 1945- Woods, John (John H...

Semantical investigations in Heyting's intuitionistic logic

Semantical investigations in Heyting's intuitionistic logic
Paper図書
Dov M. GabbayD. Reidelc2010
Other Libraries in Japan
  • Author HeadingGabbay, Dov M.

Conditionals and modularity in general logics

Conditionals and modularity in general logics
Paper図書
Dov M. Gabbay, Karl SchlechtaSpringerc2011
Other Libraries in Japan
  • Author HeadingGabbay, Dov M. Schlechta, Karl

Approaches to legal rationality

Approaches to legal rationality
Paper図書
Dov M. Gabbay ... [et al.], editorsSpringerc2010
Other Libraries in Japan
  • Author HeadingGabbay, Dov M.

Sets and extensions in the twentieth century 1st ed

Sets and extensions in the twentieth century 1st ed
Paper図書
edited by Dov M. Gabbay, Akihiro Kanamori, John WoodsElsevier2012
Other Libraries in Japan
  • Author HeadingGabbay, Dov M. Kanamori, Akihiro Woods, J...

Handbook of deontic logic and normative systems : [hbk.]

Handbook of deontic logic and normative systems : [hbk.]
Paper図書
edited by Dov Gabbay ... [et al.]College Publicationsc2013
Other Libraries in Japan
  • Author HeadingGabbay, Dov M. Horty, John Parent, Xavier...

Logic : a history of its central concepts

Logic : a history of its central concepts
Paper図書
edited by Dov M. Gabbay, Francis Jeffry Pelletier, John WoodsNorth Holland2012
Other Libraries in Japan
  • Author HeadingGabbay, Dov M. Pelletier, Francis Jeffry ...

Trends in belief revision and argumentation dynamics : pbk

Trends in belief revision and argumentation dynamics : pbk
Paper図書
edited by Eduardo L. Fermé, Dov M. Gabbay and Guillermo R. SimariCollege Publicationsc2013
Other Libraries in Japan
  • Author HeadingFermé, Eduardo L. Gabbay, Dov M. Simari, Guillermo R.

The rise of modern logic : from Leibniz to Frege : [pbk]

The rise of modern logic : from Leibniz to Frege : [pbk]
Paper図書
edited by Dov M. Gabbay and John WoodsElsevier2010, c2004
Other Libraries in Japan
  • Author HeadingGabbay, Dov M. Woods, John

Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings / Dov M. Gabbay, Hans Jürgen Ohlbach (eds.). (Lecture notes in computer science ; 827. Lecture notes in artificial intelligence)

Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings / Dov M. Gabbay, Hans Jürgen Ohlbach (eds.). (Lecture notes in computer science ; 827. Lecture notes in artificial intelligence)
Paper図書
Springer-Verlagc1994.<M15-A9320>
National Diet Library
  • Author HeadingGabbay, Dov M., 1945- Ohlbach, Hans Jürge...

Inductive logic

Inductive logic
Paper図書
edited by Dov M. Gabbay, Stephan Hartmann and John WoodsNorth Holland2011
Other Libraries in Japan
  • Author HeadingGabbay, Dov M. Hartmann, Stephan, Dr. Woo...

Revision, acceptability and context : theoretical and algorithmic aspects

Revision, acceptability and context : theoretical and algorithmic aspects
Paper図書
Dov M. Gabbay, Odinaldo T. Rodrigues, Alessandra RussoSpringerc2010
Other Libraries in Japan
  • Author HeadingGabbay, Dov M. Rodrigues, Odinaldo T. Rus...
RSS