93
Voted
CSL
2010
Springer
15 years 8 hour ago
2010
Springer
d Abstract) Thomas Schwentick and Thomas Zeume TU Dortmund University The finite satisfiability problem for two-variable logic over structures with unary relations and two order re...
CSL
2010
Springer
15 years 8 hour ago
2010
Springer
Modal dependence logic was introduced very recently by V
CSL
2010
Springer
15 years 8 hour ago
2010
Springer
We introduce two-sorted theories in the style of [CN10] for the complexity classes L and DET, whose complete problems include determinants over Z2 and Z, respectively. We then desc...
CSL
2010
Springer
15 years 8 hour ago
2010
Springer
CSL
2010
Springer
15 years 8 hour ago
2010
Springer
We present a new algorithm for model-checking weak monadic second-order logic on inductive structures, a class of structures of bounded clique width. Our algorithm directly manipul...
CSL
2010
Springer
15 years 8 hour ago
2010
Springer
Abstract. We address a fundamental mismatch between the combinations of dynamics that occur in complex physical systems and the limited kinds of dynamics supported in analysis. Mod...
CSL
2010
Springer
15 years 8 hour ago
2010
Springer
We investigate a modification of the sequent calculus which s a first-order proof into its abstract deductive structure and a unifier which renders this structure a valid proof. We...
103
click to vote
CSL
2010
Springer
15 years 8 hour ago
2010
Springer
By a Euclidean logic, we understand a formal language whose variables range over subsets of Euclidean space, of some fixed dimension, and whose non-logical primitives have fixed me...
CSL
2010
Springer
15 years 8 hour ago
2010
Springer
We consider two-player games with imperfect information and quantitative objective. The game is played on a weighted graph with a state space partitioned into classes of indistingu...
CSL
2010
Springer
15 years 8 hour ago
2010
Springer
Abstract. For a reasonable sound and complete proof calculus for firstorder logic consider the problem to decide, given a sentence of firstorder logic and a natural number n, whet...