|
VIDEO LIBRARY |
The eighth International ņonference "Advances in Modal Logic" (AiML 2010)
|
|||
|
A remark on propositional Kripke frames sound for intuitionistic logic Dmitrij Skvortsov |
|||
Abstract: Usually, in the Kripke semantics for intuitionistic propositional logic (or for superintuitionistic logics) partially ordered frames are used. Why? In this paper we propose an intrinsically intuitionistic motivation for that. Namely, we show that every Kripke frame (with an arbitrary accessibility relation), whose set of valid formulas is a superintuitionistic logic, is logically equivalent to a partially ordered Kripke frame. Language: English |