skip to content
Games, norms and reasons : logic at the crossroads Preview this item
ClosePreview this item
Checking...

Games, norms and reasons : logic at the crossroads

Author: Johan van Benthem; Amitabh Gupta, Ph. D.; Eric Pacuit; SpringerLink (Online service)
Publisher: Dordrecht [Netherlands] ; New York : Springer, ©2011.
Series: Synthese library, v. 353.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:
" ... Provides an overview of modern logic focusing on its relationships with other disciplines, including new interfaces with rational choice theory, epistemology, game theory and informatics. This book continues a series called 'Logic at the Crossroads' whose title reflects a view that the deep insights from the classical phase of mathematical logic can form a harmonious mixture with a new, more ambitious research  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Conference papers and proceedings
Congresses
Named Person: Rohit Parikh; Rohit Parikh
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Johan van Benthem; Amitabh Gupta, Ph. D.; Eric Pacuit; SpringerLink (Online service)
ISBN: 9789400707139 9400707134 9789400709201 940070920X
OCLC Number: 728216294
Notes: Most of the papers in this volume were presented at the Second Indian Conference on "Logic and its Relationship with other Disciplines" held at IIT Bombay, Mumbai 2007. Cf. Preface, p. v.
"Pays special tribute to Professor Rohit Parikh"--Back cover.
Description: xvi, 231 pages : illustrations, portrait ; 25 cm.
Contents: Bounded rationality : models for some fast and frugal heuristics / Horacio Arló Costa and Arthur Paul Pedersen --
Why do we need justification logic? / Sergei Artemov --
Why meanings are not normative / Akeel Bilgrami --
The realization theorem for S5 : a simple, constructive proof / Melvin Fitting --
Merging information / Sujata Ghosh and Fernando R. Velázquez-Quesada --
Modal logic for lexicographic preference aggregation / Patrick Girard --
No-[phi]-regret : a connection between computational learning theory and game theory / Amy Greenwald, Amir Jafari, and Casey Marks --
Axioms of distinction in social software / Vincent F. Hendricks --
Publication/citation : a proof-theoretic approach to mathematical knowledge management / Dexter Kozen and Ganesh Ramanarayanan --
Generalizing Parikh's theorem / Johann A. Makowsky --
Syllogistic logic with complements / Larry Moss --
From unary to binary inductive logic / Jeff B. Paris and Alena Vencovská --
Challenges for decidable epistemic logics from security protocols / R. Ramanujam and S.P. Suresh.
Series Title: Synthese library, v. 353.
Other Titles: Logic at the crossroads
Responsibility: edited by Johan van Benthem, Amitabba Gupta and Eric Pacuit.
More information:

Abstract:

Provides an overview of Logic and its relationship with other disciplines, and some of the emerging areas in terms. This set brings out an inspiring paradigm, called 'Social Software', the study of  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/728216294> # Games, norms and reasons : logic at the crossroads
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "728216294" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1155786360#Place/dordrecht_netherlands> ; # Dordrecht Netherlands
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://experiment.worldcat.org/entity/work/data/1155786360#Topic/logic> ; # Logic
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/1155786360#Person/parikh_rohit_1936> ; # Rohit Parikh
   schema:about <http://viaf.org/viaf/45731689> ; # Rohit Parikh
   schema:about <http://dewey.info/class/160/e22/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/1155786360#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
   schema:about <http://id.worldcat.org/fast/1002014> ; # Logic
   schema:about <http://id.loc.gov/authorities/classification/BC108> ;
   schema:alternateName "Logic at the crossroads" ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/148105729> ; # SpringerLink (Online service)
   schema:contributor <http://viaf.org/viaf/94809147> ; # Johan van Benthem
   schema:contributor <http://experiment.worldcat.org/entity/work/data/1155786360#Meeting/indian_conference_on_logic_and_its_relationship_with_other_disciplines_2nd_2007_mumbai> ; # "Indian Conference on Logic and its Relationship with Other Disciplines" (2nd : 2007 : Mumbai)
   schema:contributor <http://viaf.org/viaf/101451792> ; # Eric Pacuit
   schema:contributor <http://viaf.org/viaf/1981439> ; # Ph. D. Amitabh Gupta
   schema:copyrightYear "2011" ;
   schema:datePublished "2011" ;
   schema:description "" ... Provides an overview of modern logic focusing on its relationships with other disciplines, including new interfaces with rational choice theory, epistemology, game theory and informatics. This book continues a series called 'Logic at the Crossroads' whose title reflects a view that the deep insights from the classical phase of mathematical logic can form a harmonious mixture with a new, more ambitious research agenda of understanding and enhancing human reasoning and intelligent interaction. The editors have gathered together articles from active authors in this new area that explore dynamic logical aspects of norms, reasons, preferences and beliefs in human agency, human interaction and groups. The book pays a special tribute to Professor Rohit Parikh, a pioneer in this movement"--Publisher's description, p. [4] of cover."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1155786360> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1155786360#Series/synthese_library_studies_in_epistemology_logic_methodology_and_philosophy_of_science> ; # Synthese library : studies in epistemology, logic, methodology, and philosophy of science ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1155786360#Series/synthese_library> ; # Synthese library ;
   schema:name "Games, norms and reasons : logic at the crossroads"@en ;
   schema:productID "728216294" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/728216294#PublicationEvent/dordrecht_netherlands_new_york_springer_2011> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/1155786360#Agent/springer> ; # Springer
   schema:url <http://catdir.loc.gov/catdir/enhancements/fy1304/2011923658-t.html> ;
   schema:workExample <http://worldcat.org/isbn/9789400709201> ;
   schema:workExample <http://worldcat.org/isbn/9789400707139> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/728216294> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/1155786360#Meeting/indian_conference_on_logic_and_its_relationship_with_other_disciplines_2nd_2007_mumbai> # "Indian Conference on Logic and its Relationship with Other Disciplines" (2nd : 2007 : Mumbai)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/1155786360#Place/mumbai> ; # Mumbai)
   schema:name ""Indian Conference on Logic and its Relationship with Other Disciplines" (2nd : 2007 : Mumbai)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1155786360#Person/parikh_rohit_1936> # Rohit Parikh
    a schema:Person ;
   schema:birthDate "1936" ;
   schema:familyName "Parikh" ;
   schema:givenName "Rohit" ;
   schema:name "Rohit Parikh" ;
    .

<http://experiment.worldcat.org/entity/work/data/1155786360#Place/dordrecht_netherlands> # Dordrecht Netherlands
    a schema:Place ;
   schema:name "Dordrecht Netherlands" ;
    .

<http://experiment.worldcat.org/entity/work/data/1155786360#Series/synthese_library> # Synthese library ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/728216294> ; # Games, norms and reasons : logic at the crossroads
   schema:name "Synthese library ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/1155786360#Series/synthese_library_studies_in_epistemology_logic_methodology_and_philosophy_of_science> # Synthese library : studies in epistemology, logic, methodology, and philosophy of science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/728216294> ; # Games, norms and reasons : logic at the crossroads
   schema:name "Synthese library : studies in epistemology, logic, methodology, and philosophy of science ;" ;
    .

<http://id.worldcat.org/fast/1002014> # Logic
    a schema:Intangible ;
   schema:name "Logic"@en ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://viaf.org/viaf/101451792> # Eric Pacuit
    a schema:Person ;
   schema:familyName "Pacuit" ;
   schema:givenName "Eric" ;
   schema:name "Eric Pacuit" ;
    .

<http://viaf.org/viaf/148105729> # SpringerLink (Online service)
    a schema:Organization ;
   schema:name "SpringerLink (Online service)" ;
    .

<http://viaf.org/viaf/1981439> # Ph. D. Amitabh Gupta
    a schema:Person ;
   schema:familyName "Gupta" ;
   schema:givenName "Amitabh" ;
   schema:name "Ph. D. Amitabh Gupta" ;
    .

<http://viaf.org/viaf/45731689> # Rohit Parikh
    a schema:Person ;
   schema:birthDate "1936" ;
   schema:familyName "Parikh" ;
   schema:givenName "Rohit" ;
   schema:name "Rohit Parikh" ;
    .

<http://viaf.org/viaf/94809147> # Johan van Benthem
    a schema:Person ;
   schema:birthDate "1949" ;
   schema:familyName "Benthem" ;
   schema:givenName "Johan van" ;
   schema:name "Johan van Benthem" ;
    .

<http://worldcat.org/isbn/9789400707139>
    a schema:ProductModel ;
   schema:isbn "9400707134" ;
   schema:isbn "9789400707139" ;
    .

<http://worldcat.org/isbn/9789400709201>
    a schema:ProductModel ;
   schema:isbn "940070920X" ;
   schema:isbn "9789400709201" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.