Upcoming GroLog events are listed below. Past events can be found in the Archive page.

Nick BeZhanishvili - 23 may 2024 

SPEAKER: Nick Bezhanishvili (ILLC, University of Amsterdam)

DATE: Thursday 23 May 2024

TIME: 16:00-17:00

PLACE: Room Alpha, Faculty of Philosophy (Oude Boteringestraat 52)

TITLE: Polyhedral modal logic: completeness and spatial model checking

ABSTRACT:  I will introduce a new polyhedral semantics of modal logic. In this semantics modal formulas are interpreted in polyhedra (n-dimensional polygons and their finite unions). These are practically realizable subsets of an Euclidean space. Many objects such as medical images, buildings, maps etc. can be modeled using polyhedra. We will look at polyhedra via the prism of modal logic. We will enrich our language with an Until-like spatial reachability operator, which enables one to express many useful properties. I will illustrate with some pictures the polyhedral model checking tool and will also give a complete axiomatization of the reachability logic of polyhedra.