scientific article
From MaRDI portal
Publication:3629226
zbMath1168.03320MaRDI QIDQ3629226
Robert Goldblatt, I. M. Hodkinson
Publication date: 27 May 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (8)
Bare canonicity of representable cylindric and polyadic algebras ⋮ Tense logics over lattices ⋮ Axiomatizing hybrid logic using modal logic ⋮ Sahlqvist correspondence for modal mu-calculus ⋮ A dichotomy for some elementarily generated modal logics ⋮ Spatial logic of tangled closure operators and modal mu-calculus ⋮ Canonical extensions and ultraproducts of polarities ⋮ Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations
This page was built for publication:
