scientific article
From MaRDI portal
Publication:3085171
zbMath1244.03070MaRDI QIDQ3085171
Publication date: 30 March 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modal logicguarded fragmentglobal modalitybisimulation invarianceLindström theoremsTarski union property
Related Items (8)
A general Lindström theorem for some normal modal logics ⋮ A Lindström theorem for intuitionistic propositional logic ⋮ Games and Lindström theorems ⋮ A Lindström theorem for intuitionistic first-order logic ⋮ A Lindström theorem in many-valued modal logic over a finite MTL-chain ⋮ Logic between Expressivity and Complexity ⋮ First-order modal logic: frame definability and a Lindström theorem ⋮ Unnamed Item
This page was built for publication: