Characterising modal formulas with examples

DOI10.1145/3649461WikidataQ130855324 ScholiaQ130855324MaRDI QIDQ6492406

Unnamed Author, Balder ten Cate

Publication date: 25 April 2024

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

zbMATH Keywords

dualitiesmodal logicsplittingspositive logicsfinite characterisationsunique characterisations

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Coalgebraic logic
• Modal logic over finite structures
• Model theory
• Automatic generation of test data for relational queries
• Queries and concept learning
• Normal forms in modal logic
• Automata for the modal μ-calculus and related results
• Simulating without Negation

This page was built for publication: Characterising modal formulas with examples