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.

16 April 2014, Algebra|Coalgebra Seminar, Sam van Gool

Speaker: Sam van Gool
Title: Free algebras for Gödel-Löb provability logic
Date: Wednesday 16 April 2014
Time: 16:00-17:30
Location: Room F1.15, Science Park 107

Abstract
We give a construction of finitely generated free algebras for Gödel-Löb provability logic, GL. On the semantic side, this construction yields a notion of canonical graded model for GL and a syntactic definition of those normal forms which are consistent with GL. Our two main techniques are incremental constructions of free algebras and finite duality for partial modal algebras. In order to apply these techniques to GL, we use a rule-based formulation of the logic GL by Avron (which we simplify slightly), and the corresponding semantic characterization that was recently obtained by Bezhanishvili and Ghilardi.

For more information, see http://www.illc.uva.nl/alg-coalg/ or contact Sumit Sourabh ().

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