Skip to main content
SpringerLink
Log in
Book cover

Lectures on Logic and Computation

ESSLLI 2010, Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes

  • Textbook
  • © 2012

Overview

Editors:
  1. Nick Bezhanishvili

    1. Department of Computing, Imperial College London, London, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Valentin Goranko

    1. Department of Informatics and MAthematical Modelling, Technical University of Denmark, Lyngby,, Denmark

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • conference proceedings
  • State-of-the-art research
  • Up-to-date results

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 7388)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: ESSLLI 2010. ESSLLI 2011.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 49.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (6 chapters)

  1. Front Matter

    Download chapter PDF

  2. Proof Complexity of Non-classical Logics

    • Olaf Beyersdorff, Oliver Kutz
    Pages 1-54

  3. Ten Problems of Deontic Logic and Normative Reasoning in Computer Science

    • Jan Broersen, Leendert van der Torre
    Pages 55-88

  4. A Short Introduction to Implicit Computational Complexity

    • Ugo Dal Lago
    Pages 89-109

  5. Strategies in Games: A Logic-Automata Study

    • Sujata Ghosh, R. Ramanujam
    Pages 110-159

  6. Introduction to Judgment Aggregation

    • Davide Grossi, Gabriella Pigozzi
    Pages 160-209

  7. Specification and Verification of Multi-Agent Systems

    • Wojciech Jamroga, Wojciech Penczek
    Pages 210-263

  8. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. New Directions in Logic, Language and Computation

Keywords

About this book

The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation. During two weeks, around 50 courses and 10 workshops are offered to the attendants, each of 1.5 hours per day during a five days week, with up to seven parallel sessions. ESSLLI also includes a student session (papers and posters by students only, 1.5 hour per day during the two weeks) and four evening lectures by senior scientists in the covered areas. The 6 course notes were carefully reviewed and selected. The papers are organized in topical sections on computational complexity, multi-agant systems, natural language processing, strategies in games and formal semantics.

Editors and Affiliations

  • Department of Computing, Imperial College London, London, UK

    Nick Bezhanishvili

  • Department of Informatics and MAthematical Modelling, Technical University of Denmark, Lyngby,, Denmark

    Valentin Goranko

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation