Satisfiability problems on sums of Kripke frames

DOI10.1145/3508068arXiv2012.15347MaRDI QIDQ6357249

Ilya B. Shapirovsky

Publication date: 30 December 2020

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Complexity of computation (including implicit computational complexity) (03D15)

This page was built for publication: Satisfiability problems on sums of Kripke frames