yr 〜
yr

Search results 49

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

Logic in games

Logic in games
Paper図書
Johan van BenthemMIT Pressc2014
Other Libraries in Japan
  • Author HeadingBenthem, J. F. A. K. van

Logical dynamics of information and interaction : pbk

Logical dynamics of information and interaction : pbk
Paper図書
Johan van BenthemCambridge University Press2014
Other Libraries in Japan
  • Author HeadingBenthem, J. F. A. K. van

Readings in formal epistemology : sourcebook : hbk

Readings in formal epistemology : sourcebook : hbk
Paper図書
Horacio Arló-Costa, Vincent F. Hendricks, Johan van Benthem, editorsSpringerc2016
Other Libraries in Japan
  • Author HeadingArló-Costa, Horacio Hendricks, Vincent F. Benthem, J. F. A. K. van

Readings in formal epistemology : sourcebook Softcover reprint of the original 1st ed

Readings in formal epistemology : sourcebook Softcover reprint of the original 1st ed
Paper図書
Horacio Arló-Costa, Vincent F. Hendricks, Johan Van Benthem, editors ; Henrik Boensvang, Rasmus K. Rendsvig, assistant editorsSpringer : Springer International Publishingc2016
Other Libraries in Japan
  • Author Heading...ks, Vincent F. Benthem, J. F. A. K. van Boensvang, Henrik Rendsvig, R...

Logical dynamics of information and interaction

Logical dynamics of information and interaction
Paper図書
Johan van BenthemCambridge University Press2011
Other Libraries in Japan
  • Author HeadingBenthem, J. F. A. K. van

Handbook of logic and language : pbk 2nd ed

Handbook of logic and language : pbk 2nd ed
Paper図書
Johan van Benthem, Alice ter MeulenElsevier2011
Other Libraries in Japan
  • Author HeadingBenthem, J. F. A. K. van Meulen, Alice G. B. ter

Modal logic for open minds : pbk : hbk

Modal logic for open minds : pbk : hbk
Paper図書
Johan van BenthemCSLI Publicationsc2010
Other Libraries in Japan
  • Author HeadingBenthem, J. F. A. K. van

Games, norms and reasons : logic at the crossroads : hbk : pbk

Games, norms and reasons : logic at the crossroads : hbk : pbk
Paper図書
edited by Johan van Benthem, Amitabha Gupta and Eric PacuitSpringerc2011
Other Libraries in Japan
  • Author HeadingBenthem, J. F. A. K. van Gupta, Amitabha Pacuit, Eric

The age of alternative logics : assessing philosophy of logic and mathematics today : PB

The age of alternative logics : assessing philosophy of logic and mathematics today : PB
Paper図書
edited by Johan van Benthem ... [et al.]Springerc2009
Other Libraries in Japan
  • Author HeadingBenthem, J. F. A. K. van

Handbook of logic and language 2nd ed. (Elsevier insights)

Handbook of logic and language 2nd ed. (Elsevier insights)
Paper図書
[edited by] Johan van Benthem, Alice ter Meulen.Elsevierc2011.<M121-B99>
National Diet Library
  • Author HeadingBenthem, J. F. A. K. van, 1949- Meulen, Alice G. B. te...

Proof, computation and agency : logic at the crossroads : softcover

Proof, computation and agency : logic at the crossroads : softcover
Paper図書
edited by Johan van Benthem, Amitabha Gupta and Rohit ParikhSpringerc2011
Other Libraries in Japan
  • Author Heading...er Disciplines Benthem, J. F. A. K. van Gupta, Amitabha Parikh, Rohit

Philosophy of information 1st ed

Philosophy of information 1st ed
Paper図書
edited by Pieter Adriaans and Johan van BenthemNorth Holland2008
Other Libraries in Japan
  • Author HeadingAdriaans, Pieter Benthem, J. F. A. K. van

Handbook of spatial logics / edited by Marco Aiello, Ian Pratt-Hartmann and Johan van Benthem.

Handbook of spatial logics / edited by Marco Aiello, Ian Pratt-Hartmann and Johan van Benthem.
Paper図書
Springerc2007.<MA41-B20>
National Diet Library
  • Author HeadingAiello, Marco. Pratt-Hartmann, Ian. Benthem, J. F. A. K. van, 1949-

The age of alternative logics : assessing philosophy of logic and mathematics today : HB

The age of alternative logics : assessing philosophy of logic and mathematics today : HB
Paper図書
edited by Johan van Benthem ... [et al.]Springerc2006
Other Libraries in Japan
  • Author HeadingBenthem, J. F. A. K. van

Handbook of modal logic

Handbook of modal logic
Paper図書
edited by Patrick Blackburn, Johan van Benthem, Frank WolterElsevier2007
Other Libraries in Japan
  • Author HeadingBlackburn, Patrick Benthem, J. F. A. K. van Wolter, F. (Frank)

A meeting of the minds : proceedings of the workshop on logic, rationality and interaction, Beijing, 2007 : pbk

A meeting of the minds : proceedings of the workshop on logic, rationality and interaction, Beijing, 2007 : pbk
Paper図書
edited by Johan van Benthem, Shier Ju, and Frank VeltmanCollege Publicationsc2007
Other Libraries in Japan
  • Author HeadingBenthem, J. F. A. K. van Ju, Shier Veltman, Frank

Handbook of spatial logics

Handbook of spatial logics
Paper図書
edited by Marco Aiello, Ian Pratt-Hartmann and Johan van BenthemSpringerc2007
Other Libraries in Japan
  • Author HeadingAiello, Marco Pratt-Hartmann, Ian Benthem, J. F. A. K. van

Theoretical aspects of rationality and knowledge : proceedings of the eighth conference (TARK 2001), july 8-10, 2001, Certosa di Pontignano, University of Siena Italy

Theoretical aspects of rationality and knowledge : proceedings of the eighth conference (TARK 2001), july 8-10, 2001, Certosa di Pontignano, University of Siena Italy
Paper図書
edited by Johan Van BenthemM. Kaufmann Publishersc2001
Other Libraries in Japan
  • Author HeadingBenthem, J. F. A. K. van

Theoretical aspects of rationality and knowledge : proceedings of the eighth conference (TARK 2001) : July 8-10, 2001 : Certosa di Pontignano, University of Siena : Italy. : Jul 2001, Certosa di Pontignano, Italy.

Theoretical aspects of rationality and knowledge : proceedings of the eighth conference (TARK 2001) : July 8-10, 2001 : Certosa di Pontignano, University of Siena : Italy. : Jul 2001, Certosa di Pontignano, Italy.
Paper図書
Morgan Kaufmann Publishersc2001.<M17-03-2173>
National Diet Library
  • Author HeadingBenthem, J. F. A. K. van, 1949- Conference on Theoreti...