Search dblp for Publications

export results for "toc:db/books/daglib/0026706.bht:"

 download as .bib file

@incollection{DBLP:books/daglib/p/AcharyaJ11,
  author       = {B. Devadas Acharya and
                  Shalini Joshi},
  title        = {Some Reflections on Discrete Mathematical Models in Behavioral, Cognitive
                  and Social Sciences},
  booktitle    = {Proof, Computation and Agency},
  pages        = {277--307},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-94-007-0080-2\_16},
  doi          = {10.1007/978-94-007-0080-2\_16},
  timestamp    = {Fri, 22 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/daglib/p/AcharyaJ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/daglib/p/Benthem11,
  author       = {Johan van Benthem},
  title        = {Logic Games: From Tools to Models of Interaction},
  booktitle    = {Proof, Computation and Agency},
  pages        = {183--216},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-94-007-0080-2\_11},
  doi          = {10.1007/978-94-007-0080-2\_11},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/p/Benthem11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/daglib/p/BlassG11,
  author       = {Andreas Blass and
                  Yuri Gurevich},
  title        = {Zero-One Laws: Thesauri and Parametric Conditions},
  booktitle    = {Proof, Computation and Agency},
  pages        = {99--114},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-94-007-0080-2\_7},
  doi          = {10.1007/978-94-007-0080-2\_7},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/p/BlassG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/daglib/p/CicaleseM11,
  author       = {Ferdinando Cicalese and
                  Daniele Mundici},
  title        = {Recent Developments of Feedback Coding and Its Relations with Many-Valued
                  Logic},
  booktitle    = {Proof, Computation and Agency},
  pages        = {115--131},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-94-007-0080-2\_8},
  doi          = {10.1007/978-94-007-0080-2\_8},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/p/CicaleseM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/daglib/p/Crossley11,
  author       = {John N. Crossley},
  title        = {What Is Mathematical Logic? {A} Survey},
  booktitle    = {Proof, Computation and Agency},
  pages        = {3--17},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-94-007-0080-2\_1},
  doi          = {10.1007/978-94-007-0080-2\_1},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/p/Crossley11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/daglib/p/Crossley11a,
  author       = {John N. Crossley},
  title        = {What Is a Proof?},
  booktitle    = {Proof, Computation and Agency},
  pages        = {35--52},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-94-007-0080-2\_3},
  doi          = {10.1007/978-94-007-0080-2\_3},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/p/Crossley11a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/daglib/p/Crossley11b,
  author       = {John N. Crossley},
  title        = {What Is the Difference Between Proofs and Programs?},
  booktitle    = {Proof, Computation and Agency},
  pages        = {81--97},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-94-007-0080-2\_6},
  doi          = {10.1007/978-94-007-0080-2\_6},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/p/Crossley11b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/daglib/p/Hajek11,
  author       = {Petr H{\'{a}}jek},
  title        = {Deductive Systems of Fuzzy Logic},
  booktitle    = {Proof, Computation and Agency},
  pages        = {67--78},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-94-007-0080-2\_5},
  doi          = {10.1007/978-94-007-0080-2\_5},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/p/Hajek11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/daglib/p/Hodges11,
  author       = {Wilfrid Hodges},
  title        = {A Visit to Tarski's Seminar on Elimination of Quantifiers},
  booktitle    = {Proof, Computation and Agency},
  pages        = {53--66},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-94-007-0080-2\_4},
  doi          = {10.1007/978-94-007-0080-2\_4},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/p/Hodges11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/daglib/p/Hodges11a,
  author       = {Wilfrid Hodges},
  title        = {From Sentence Meanings to Full Semantics},
  booktitle    = {Proof, Computation and Agency},
  pages        = {261--276},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-94-007-0080-2\_15},
  doi          = {10.1007/978-94-007-0080-2\_15},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/p/Hodges11a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/daglib/p/Meyden11,
  author       = {Ron van der Meyden},
  title        = {Two Applications of Epistemic Logic in Computer Security},
  booktitle    = {Proof, Computation and Agency},
  pages        = {133--144},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-94-007-0080-2\_9},
  doi          = {10.1007/978-94-007-0080-2\_9},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/p/Meyden11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/daglib/p/Pacuit11,
  author       = {Eric Pacuit},
  title        = {Towards a Logical Analysis of \emph{Adjusted Winner}},
  booktitle    = {Proof, Computation and Agency},
  pages        = {229--239},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-94-007-0080-2\_13},
  doi          = {10.1007/978-94-007-0080-2\_13},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/p/Pacuit11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/daglib/p/Parikh11,
  author       = {Rohit Parikh},
  title        = {Is There a Logic of Society?},
  booktitle    = {Proof, Computation and Agency},
  pages        = {19--31},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-94-007-0080-2\_2},
  doi          = {10.1007/978-94-007-0080-2\_2},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/p/Parikh11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/daglib/p/Ramasubramanian11,
  author       = {K. Ramasubramanian},
  title        = {History and Development of Indian Logic: An Overview},
  booktitle    = {Proof, Computation and Agency},
  pages        = {311--331},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-94-007-0080-2\_17},
  doi          = {10.1007/978-94-007-0080-2\_17},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/p/Ramasubramanian11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/daglib/p/Ramasubramanian11a,
  author       = {K. Ramasubramanian},
  title        = {The Concept of Hetv{\={a}}bh{\={a}}sa in Ny{\={a}}ya-{\'{s}}{\={a}}stra},
  booktitle    = {Proof, Computation and Agency},
  pages        = {355--371},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-94-007-0080-2\_19},
  doi          = {10.1007/978-94-007-0080-2\_19},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/p/Ramasubramanian11a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/daglib/p/Sarukkai11,
  author       = {Sundar Sarukkai},
  title        = {Indian Logic and Philosophy of Science: The Logic-Epistemology Link},
  booktitle    = {Proof, Computation and Agency},
  pages        = {333--353},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-94-007-0080-2\_18},
  doi          = {10.1007/978-94-007-0080-2\_18},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/p/Sarukkai11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/daglib/p/Segerberg11,
  author       = {Krister Segerberg},
  title        = {In memory of Jasu Magan Bhana Panchia {(1963-1991):} Iterated Belief
                  Revision in Dynamic Doxastic Logic},
  booktitle    = {Proof, Computation and Agency},
  pages        = {217--227},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-94-007-0080-2\_12},
  doi          = {10.1007/978-94-007-0080-2\_12},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/p/Segerberg11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/daglib/p/Venkatesh11,
  author       = {G. Venkatesh},
  title        = {Temporal Logic with Preferences and Reasoning About Games},
  booktitle    = {Proof, Computation and Agency},
  pages        = {241--258},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-94-007-0080-2\_14},
  doi          = {10.1007/978-94-007-0080-2\_14},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/p/Venkatesh11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/daglib/p/Yanofsky11,
  author       = {Noson S. Yanofsky},
  title        = {An Introduction to Quantum Computing},
  booktitle    = {Proof, Computation and Agency},
  pages        = {145--180},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-94-007-0080-2\_10},
  doi          = {10.1007/978-94-007-0080-2\_10},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/p/Yanofsky11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@book{DBLP:books/daglib/0026706,
  editor       = {Johan van Benthem and
                  Amitabha Gupta and
                  Rohit Parikh},
  title        = {Proof, Computation and Agency - Logic at the Crossroads},
  series       = {Synthese library},
  volume       = {352},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-94-007-0080-2},
  doi          = {10.1007/978-94-007-0080-2},
  isbn         = {978-94-007-0079-6},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/0026706.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.