Category Archives: Logic and Computation

Jan van Eijck and Johan van Benthem. Logic in Action

This course offers a new kind of introduction to logic, merging traditional basic themes on inference and expressive power of languages with modern developments: connections between logic, cognition, and social interaction. The course introduces propositional and predicate logic as ways … Continue reading

Posted in Courses, Introductory, Logic and Computation, Slot 3, Week 1 | Comments Off

Dmitry Tishkovsky and Renate Schmidt. Automated Synthesis of Tableau Calculi

It is possible to synthesise tableau deduction calculi from the specifications of logics. In this course we give an introduction to a powerful method for synthesising sound, complete and terminating tableau calculi for description logics, modal logics and related fragments … Continue reading

Posted in Courses, Introductory, Logic and Computation, Slot 5, Week 2 | Comments Off

Jan Broersen and Leon van der Torre. An advanced treatment of five problems of deontic logic and normative reasoning in computer science

In this course we give an in-depth treatment of 5 selected problems from our ESSLLI 2010 foundational course on deontic logic and normative reasoning in computer science. Motivations for the timeliness of a course on deontic logic and normative reasoning … Continue reading

Posted in Advanced, Courses, Logic and Computation, Slot 3, Week 1 | Comments Off

Sujata Ghosh and R. Ramanujam. Strategies in games: a logic-automata study

Game models have attracted a great deal of interest in the area of multi-agent systems and in the design and verification of component-based reactive systems, using the tools of modal logics and automata theory, respectively.  Formalisms based on regular expressions such … Continue reading

Posted in Advanced, Courses, Logic and Computation, Slot 4, Week 1 | Comments Off

Nils Bulling and Wojtek Jamroga. Decision Problems and Decision Procedures for Strategic Logics

Formal logic is widely regarded as a foundation for specification, verification and reasoning about multi-agent systems. In recent years, a new group of modal logics emerged. These logics focus on the notion of strategy, and try to address abilities of … Continue reading

Posted in Advanced, Courses, Logic and Computation, Slot 2, Week 1 | Comments Off

Thomas Schneider and Dirk Walther. Modularity in Ontologies

Nowadays, logical theories in guise of ontologies are designed for applications in bioinformatics, medicine, geography, linguistics and other areas. They are often based on expressive description logics (DLs), which are fragments of first-order logic with well-understood and -implemented reasoning problems … Continue reading

Posted in Courses, Introductory, Logic and Computation, Slot 4, Week 1 | Comments Off

Oliver Kutz and Thomas Schneider. 5th International Workshop on Modular Ontologies (WoMO 2011)

Modularity, as studied for many years in software engineering, allows mechanisms for easy and flexible reuse, generalization, structuring, maintenance, design patterns, and comprehension. Applied to ontology engineering, modularity is central not only to reduce the complexity of understanding ontologies, but … Continue reading

Posted in Logic and Computation, Slot 8, Week 2, Workshops | Comments Off

Aart Middeldorp and Georg Moser. Termination and Complexity of Rewrite Systems

The course provides an introduction into the field of termination and complexity of term rewrite systems. Term rewriting is a conceptually simple, but powerful abstract model of computation with applications in automated theorem proving, compiler optimization, and declarative programming, to … Continue reading

Posted in Courses, Introductory, Logic and Computation, Slot 7, Week 2 | Comments Off

Andrzej Murawski and Nikos Tzevelekos. Semantics of programming languages

A focal point in Computer Science is the semantics of programs, that is, the meaning of syntactic constructs of a programming language given independently of implementations and in terms of a formal mathematical framework. Such semantics not only reveals the … Continue reading

Posted in Courses, Introductory, Logic and Computation, Slot 8, Week 2 | Comments Off

Davide Grossi and Gabriella Pigozzi. Introduction to Judgment Aggregation

The aggregation of individual judgments on logically interconnected propositions into one collective judgment has recently drawn attention in economics, philosophy, logic and computer science. Despite the apparent simplicity of the problem, seemingly reasonable aggregation procedures cannot ensure a consistent collective … Continue reading

Posted in Courses, Introductory, Logic and Computation, Slot 6, Week 2 | Comments Off

Michael Franke. Unawareness in Logic and Reasoning

This course introduces the notion of unawareness, its formal representation in logics, and its application to rational choice theory. Unawareness is a propositional attitude that an agent can have towards a proposition or formula when she does not entertain any … Continue reading

Posted in Advanced, Courses, Logic and Computation, Slot 8, Week 2 | Comments Off

Dag Westerstahl and Denis Bonnay. Logical constants

The question of logical constants has been debated since medieval times, and modern logic has attempted various answers, along both model-theoretic and proof-theoretic lines. Recently the interest in the issue has grown considerably, partly because new results and insights on … Continue reading

Posted in Logic and Computation, Slot 6, Week 2, Workshops | Comments Off

Olaf Beyersdorff. Proofs and Games

The aim of this course is to present an up-to-date introduction to propositional proof complexity with emphasis on game-theoretic techniques, connections to parameterized complexity and DPLL algorithms. We will cover important proof systems, current knowledge about proof lengths in these … Continue reading

Posted in Advanced, Courses, Logic and Computation, Slot 7, Week 2 | Comments Off

Valentin Goranko. Tableau-based decision methods for temporal logics and multi-agent logics of knowledge and strategic abilities

In this course I will develop systematically and illustrate with many examples the incremental tableau-building methodology for constructive testing of satisfiability, applicable to a wide variety of logical systems. I will focus first on linear and branching time temporal logics, … Continue reading

Posted in Advanced, Courses, Logic and Computation, Slot 7, Week 2 | Comments Off

Valentin Goranko. Logics of knowledge and strategic abilities in multi-agent systems

I will introduce and discuss some of the most important and popular families of logics for multi-agent systems: epistemic, dynamic epistemic (unless covered in another ESSLLI course), temporal-epistemic, and logics of strategic abilities of the type of ATL. Eventually, I … Continue reading

Posted in Courses, Introductory, Logic and Computation, Slot 1, Week 1 | Comments Off

Natasha Alechina and Brian Logan. Logics and Agent Programming Languages

To create a language for programming entities capable of intelligent behaviour (‘agents’), researchers and developers must address deep questions such as: what are the basic constituent parts of an intelligent agent; how should the agent ‘think’ (e.g., which deliberation strategy … Continue reading

Posted in Courses, Introductory, Logic and Computation, Slot 5, Week 2 | Comments Off

Mirna Dzamonja and Benedikt Löwe. Modern set theory: Foundations and Applications

This workshop is organized and financially supported by the research networking programme INFTY: “New frontiers of infinity: mathematical, philosophical, and computational prospects” funded by the European Science Foundation (ESF). Tutorial speakers. Gregor Dolinar (Univerza v Ljubljani, Slovenia), Martin Goldstern (Technische … Continue reading

Posted in Logic and Computation, Slot 3, Week 1, Workshops | Comments Off

Benedikt Löwe and Grzegorz Plebanek. Ordinals and Cardinals: Basic set-theoretic techniques in logic

Many participants of ESSLLI do not have a mathematical background, and most set theory courses are aimed at mathematicians and thus tend to be inaccessible to non-mathematicians. However, the basic techniques of set theory are important well beyond mathematical logic … Continue reading

Posted in Courses, Foundational, Logic and Computation, Slot 2, Week 1 | Comments Off

Philippe Balbiani. Region-based theories of space

We will present formal languages interpreted over classes of structures featuring regions and relations between them. These languages stem from Whitehead’s system in which the “being in contact” relation was assumed as primitive and Grzegorczyk’s system in which the “being … Continue reading

Posted in Advanced, Courses, Logic and Computation, Slot 1, Week 1 | Comments Off