scientific article
From MaRDI portal
Publication:3509046
zbMath1151.03011MaRDI QIDQ3509046
V. Shethman, Philippe Balbiani, Ilya B. Shapirovsky
Publication date: 1 July 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
About the unification type of modal logics between \(\mathbf{KB}\) and \(\mathbf{KTB} \) ⋮ Inverse images of box formulas in modal logic ⋮ Axiomatizing hybrid logic using modal logic ⋮ Sahlqvist correspondence for modal mu-calculus ⋮ A dichotomy for some elementarily generated modal logics
This page was built for publication:
