Characterising modal formulas with examples

DOI10.1145/3649461MaRDI QIDQ6492406zbMATH OpenWikidataFDO

Authors Balder ten Cate

Publication date 25 April 2024

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

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1145/3649461

zbMATH Keywords

dualitiesfinite characterisationsmodal logicpositive logicssplittingsunique characterisations

Mathematics Subject Classification ID

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

Cites work

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

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)