engleski

Existentially valid formulas corresponding to some normal modal logics

Validity of a modal formula on a Kripke frame is defined as global truth under any valuation of propositional variables. Analogously, we can consider so-called existential validity of formulas, i.e. satisfiability under any valuation. We outline relationships between sets of existentially valid formulas corresponding to several well-known modal logics.

modal logic, Kripke semantics, existential validity

Short paper, prezentiran na skup i u zasebnoj knjizi sažetaka kratkih članaka, ne i u zborniku konferencije (proceedings)