scientific article; zbMATH DE number 6290323

MaRDI QIDQ5413352zbMATH OpenFDO

Authors Marcin Łazarz

Publication date 29 April 2014

Full work available at URL http://www.filozof.uni.lodz.pl/bulletin/pdf/42_12_8.pdf

zbMATH Keywords

\(p\)-morphismKripke semanticsKubiński's latticeMedvedev's logic of finite problems

Mathematics Subject Classification ID

Intermediate logics (03B55)

Recommendations

• Logics of some Kripke frames connected with Medvedev notion of informational types
• Constructive logic and the Medvedev lattice
• On the predicate logics of finite Kripke frames
• Linear Kripke frames and Gödel logics
• On the predicate logic of linear Kripke frames and some of its extensions
• Medvedev's logic and products of converse well orders
• Intermediate logics and factors of the Medvedev lattice
• Frame definability in finitely valued modal logics
• First-order logic in the Medvedev lattice
• scientific article; zbMATH DE number 4110668

Cited in

(6)

• On the modal logic of Jeffrey conditionalization
• Logics of some Kripke frames connected with Medvedev notion of informational types
• The modal logic of Bayesian belief revision
• Standard Bayes logic is not finitely axiomatizable
• On the modal logic of subset and superset: tense logic over Medvedev frames
• Medvedev's logic and products of converse well orders

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5413352)