scientific article; zbMATH DE number 1989648
From MaRDI portal
Publication:4430395
zbMath1031.03030MaRDI QIDQ4430395
Publication date: 9 October 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Kripke semanticstableau calculiinteraction axiomtopological Kripke framesinterior operator of a topologypositive flow relation of a differential equationpropositional bimodal logic
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (4)
Non-finitely axiomatisable two-dimensional modal logics ⋮ On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations ⋮ Machine-Checked Proof-Theory for Propositional Modal Logics ⋮ Non-primitive recursive decidability of products of modal logics with expanding domains
This page was built for publication: