Export Citations
1 Results for: Keyword: two-dimensional modal logic
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,790,159 records)|Limit your search to The ACM Full-Text Collection (766,444 records)
Select All
- research-articleMarch 2015
The Complexity of Decomposing Modal and First-Order Theories
ACM Transactions on Computational Logic (TOCL), Volume 16, Issue 1Article No.: 9, Pages 1–43https://doi.org/10.1145/2699918We study the satisfiability problem of the logic K2 = K × K—the two-dimensional variant of unimodal logic, where models are restricted to asynchronous products of two Kripke frames. Gabbay and Shehtman proved in 1998 that this problem is decidable in a ...