|zpravodaj ČSKI - červen 2018 [ pdf ]|
datum: 6.6.2018 v 10:00
název: Informational semantics for superintuitionistic modal logics
přednášející: Igor Sedlár (UI)
místo konání: UI, 2.patro, místnost č.318
souhrn: We will present a novel semantics for superintuitionistic modal logics. A peculiar feature of this semantics is that not only diamond but also box is captured as an existential modality. This corresponds to the observation that various boxlike modalities (knowledge, belief, provability, obligation etc.) have also existential reading (there is a justification, there is a reason, there is a proof, there is a norm etc.). We will show some basic features and merits of the semantics. In particular, we will show how various standard modal logics can be obtained in it and how it can serve as a suitable general basis for nonclassical modal logics.