Cited By
View all- Berkholz CVerbitsky O(2018)On the speed of constraint propagation and the time complexity of arc consistency testingJournal of Computer and System Sciences10.1016/j.jcss.2017.09.00391(104-114)Online publication date: Mar-2018
We study the expressive power and succinctness of order-invariant sentences of first-order (FO) and monadic second-order (MSO) logic on structures of bounded tree-depth. Order-invariance is undecidable in general and, thus, one strives for logics with a ...
We prove that the modal @m-calculus collapses to first order logic over the class of finite transitive frames. The proof is obtained by using some byproducts of a new proof of the collapse of the @m-calculus to the alternation free fragment over the ...
We take up a suggestion by Odintsov (2009, Studia Logica, 91, 407–428) and define intuitionistic variants of certain logics arising from the trilattice SIXTEEN3 introduced in Shramko and Wansing (2005, Journal of Philosophical Logic, 34, 121–153 and ...
Association for Computing Machinery
New York, NY, United States
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in