Frame Based Formulas for Intermediate Logics |
| |
Authors: | Nick Bezhanishvili |
| |
Institution: | (1) Department of Computing, Imperial College London, 180 Queen’s Gate, London, SW7 2AZ, UK |
| |
Abstract: | In this paper we define the notion of frame based formulas. We show that the well-known examples of formulas arising from
a finite frame, such as the Jankov-de Jongh formulas, subframe formulas and cofinal subframe formulas, are all particular
cases of the frame based formulas. We give a criterion for an intermediate logic to be axiomatizable by frame based formulas
and use this criterion to obtain a simple proof that every locally tabular intermediate logic is axiomatizable by Jankov-de
Jongh formulas. We also show that not every intermediate logic is axiomatizable by frame based formulas.
Presented by Johan van Benthem |
| |
Keywords: | Intermediate logics frame based formulas locally tabular logics |
本文献已被 SpringerLink 等数据库收录! |
|