Characterising modal formulas with examples
type: Item
instance of: scholarly article
title: Characterising modal formulas with examples
DOI: 10.1145/3649461
author: Balder ten Cate
author: Q5884941
published in: ACM Transactions on Computational Logic
publication date: 2024-04-25T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68-XX
zbMATH DE Number: 7838030
zbMATH Keywords: finite characterisations
zbMATH Keywords: unique characterisations
zbMATH Keywords: dualities
zbMATH Keywords: splittings
zbMATH Keywords: modal logic
zbMATH Keywords: positive logics
MaRDI profile type: MaRDI publication profile
cites work: Queries and concept learning
cites work: Modal logic
cites work: Model theory
cites work: Normal forms in modal logic
cites work: Automata for the modal μ-calculus and related results
cites work: Simulating without Negation
cites work: Automatic generation of test data for relational queries
cites work: Coalgebraic logic
cites work: Modal logic over finite structures
cites work: Q5738930
Wikidata QID: Q130855324
description: scientific article; zbMATH DE number 7838030