Modal and guarded characterisation theorems over finite transition systems
type: Item
instance of: scholarly article
title: Modal and guarded characterisation theorems over finite transition systems
zbMATH Open document ID: 1056.03018
author: Martin Otto
published in: Annals of Pure and Applied Logic
publication date: 2004-11-18T00:00:00Z
Mathematics Subject Classification ID: 03C13
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 2116239
zbMATH Keywords: Finite model theory
zbMATH Keywords: Modal logic
zbMATH Keywords: Guarded fragment
zbMATH Keywords: Bisimulation
zbMATH Keywords: Preservation
zbMATH Keywords: Characterisation theorems
MaRDI profile type: Publication
full work available at URL: j.apal.2004.04.003
OpenAlex ID: W2043132490
cites work: Q4871780
cites work: Modal languages and bounded fragments of predicate logic
cites work: Interpolation, preservation, and pebble games
cites work: Modal logic
cites work: Model theory.
cites work: Some useful preservation theorems
cites work: Q4255575
cites work: Q4298571
cites work: Q3666827
cites work: On the Restraining Power of Guards
cites work: Back and forth between guarded and modal logics
cites work: Finite Conformal Hypergraph Covers and Gaifman Cliques in Finite Structures
cites work: Q4332930
cites work: Q5494236
cites work: A course in model theory. An introduction to contemporary mathematical logic. Transl. from the French by Moses Klein
cites work: Modal logic over finite structures
cites work: Q3781066
DOI: 10.1016/J.APAL.2004.04.003
description: scientific article; zbMATH DE number 2116239