A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is
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 simplifydblp:conf/aiml/Gool14 fatcat:7uyznivutbcnfe74cybyx5u4uu