Skip to main content
Springer Nature Link
Log in

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)

  • 7029 Accesses

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

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

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.

Similar content being viewed by others

Keywords

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

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