Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

10 September 2013, Logic Tea, Emiliano Lorini

Speaker: Emiliano Lorini
Title: Ockhamist Propositional Dynamic Logic
Date: Tuesday 10 September 2013
Time: 17:00-18:00
Location: Room F1.15, Science Park 107, Amsterdam

Abstract:

We present a new logic called Ockhamist Propositional Dynamic Logic, OPDL, which provides a natural link between PDL and CTL* .We show that both PDL and CTL* can be polynomially embedded into OPDL in a rather simple and direct way.

More generally, the semantics on which OPDL is based provides a unifying framework for making the dynamic logic family and the temporal logic family
converge in a single logical framework. Decidability of the satisfiability
problem for OPDL is studied in the paper.

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Virginie Fiutek (), Guus Eelink (), Johannes Marti () or Sebastian Speitel ().

Please note that this newsitem has been archived, and may contain outdated information or links.