scientific article; zbMATH DE number 7084853

zbMath1418.03102MaRDI QIDQ5224587

Valentin Shehtman

Publication date: 24 July 2019

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Kripke semanticsmodal predicate logiccanonical modelKripke completenessdensity axiommodel construction games

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Classical first-order logic (03B10)

Related Items (1)

On Kripke completeness of modal predicate logics around quantified \textbf{K5}

This page was built for publication: