scientific article; zbMATH DE number 6290323

zbMATH Open1287.03061MaRDI QIDQ5413352

Marcin Łazarz

Publication date: 29 April 2014

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

Title of this publication is not available (Why is that?)

zbMATH Keywords

Kripke semanticsMedvedev's logic of finite problems\(p\)-morphismKubiński's lattice

Mathematics Subject Classification ID

Intermediate logics (03B55)

Related Items (3)

On the modal logic of Jeffrey conditionalization ⋮ STANDARD BAYES LOGIC IS NOT FINITELY AXIOMATIZABLE ⋮ The modal logic of Bayesian belief revision

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• On the predicate logic of linear Kripke frames and some of its extensions 👍 👎
• First-order logic in the Medvedev lattice 👍 👎
• Intermediate logics and factors of the Medvedev lattice 👍 👎
• On the predicate logics of finite Kripke frames 👍 👎
• Logics of some Kripke frames connected with Medvedev notion of informational types 👍 👎
• Constructive logic and the Medvedev lattice 👍 👎
• Linear Kripke frames and Gödel logics 👍 👎
• Frame definability in finitely valued modal logics 👍 👎

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)