Euclidean hierarchy in modal logic
type: Item
instance of: scholarly article
title: Euclidean hierarchy in modal logic
zbMATH Open document ID: 1034.03020
DOI: 10.1023/B:STUD.0000009564.00287.16
author: Guram Bezhanishvili
author: Mai Gehrke
author: Johan van Benthem
published in: Studia Logica
publication date: 2004-01-14T00:00:00Z
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 2027184
zbMATH Keywords: Topo-bisimulation
zbMATH Keywords: serial set
zbMATH Keywords: chequered set
zbMATH Keywords: Euclidean hierarchy
zbMATH Keywords: modal logic
zbMATH Keywords: Kripke semantics
zbMATH Keywords: finite model property
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 2027184