Satisfiability of Modal Inclusion Logic
From MaRDI portal
Publication:4972171
DOI10.1145/3356043zbMath1433.03053arXiv1504.06409OpenAlexW2975393337WikidataQ127198350 ScholiaQ127198350MaRDI QIDQ4972171
Arne Meier, Lauri Hella, Antti Kuusisto, Heribert Vollmer
Publication date: 22 November 2019
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1504.06409
Analysis of algorithms and problem complexity (68Q25) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)
Related Items (2)
This page was built for publication: Satisfiability of Modal Inclusion Logic