Characterising modal formulas with examples

DOI10.1145/3649461WikidataQ130855324 ScholiaQ130855324MaRDI QIDQ6492406FDOQ6492406

Author name not available (Why is that?), 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

• Modal logic
• Model theory
• Queries and concept learning
• Coalgebraic logic
• Normal forms in modal logic
• Simulating without Negation
• Automata for the modal μ-calculus and related results
• Modal logic over finite structures
• Automatic generation of test data for relational queries
• Title not available (Why is that?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6492406)