Jump to main content

yr 〜
yr

Search results 88

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.... F. A. K. van Gabbay, Dov M. Lo�we, Benedikt.

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

Reactive Kripke semantics

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

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 Woo...

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.

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 Va...

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

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.

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, John

Approaches to legal rationality

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

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. Woods,...

Handbook of tableau methods

Handbook of tableau methods
Paper図書
edited by Marcello D'Agostino ... [et al.]Kluwer Academicc2010
Other Libraries in Japan
  • Author HeadingD'Agostino, Marcello Gabbay, Dov M. Hähnle, Reiner Posegga, Joach...

The functional interpretation of logical deduction

The functional interpretation of logical deduction
Paper図書
Ruy J.G.B. de Queiroz, Anjolina G. de Oliveira and Dov. M. GabbayWorld Scientificc2012
Other Libraries in Japan
  • Author HeadingQueiroz, Ruy J. G. B. de Oliveira, Anjolina G. de Gabbay, Dov M.

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

Proof theory for fuzzy logics

Proof theory for fuzzy logics
Paper図書
by George Metcalfe, Nicola Olivetti, Dov GabbaySpringerc2009
Other Libraries in Japan
  • Author HeadingMetcalfe, George Olivetti, Nicola Gabbay, Dov M.

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. Russo,...

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

Analysis and synthesis of logics : how to cut and paste reasoning systems
Paper図書
by Walter Carnielli ... [et al.]Springerc2010
Other Libraries in Japan
  • Author Heading...iglio, Marcelo Gabbay, Dov M. Gouveia, Paula, Sernadas, Cri...

Logic from Russell to Church 1st ed

Logic from Russell to Church 1st ed
Paper図書
edited by Dov M. Gabbay and John WoodsElsevier2009
Other Libraries in Japan
  • Author HeadingGabbay, Dov M. Woods, John

Mathematical problems from applied logic : logics for the XXIst century 2

Mathematical problems from applied logic : logics for the XXIst century 2
Paper図書
edited by Dov M. Gabbay, Sergi S. Goncharov and Michael ZakharyaschevSpringer Science+Business Mediac2010
Other Libraries in Japan
  • Author HeadingZakharyaschev, Michael Goncharov, S. S. (Sergeĭ Sevostʹi︠a︡novich) Gabbay, Dov M.

Mediaeval and Renaissance logic : [pbk]

Mediaeval and Renaissance logic : [pbk]
Paper図書
edited by Dov. M. Gabbay and John WoodsElsevier2008
Other Libraries in Japan
  • Author HeadingGabbay, Dov M. Woods, John
RSS