On the completeness and the decidability of strictly monadic second‐order logic

Mathematical Logic Quarterly ◽

10.1002/malq.201900046 ◽

2020 ◽

Vol 66 (4) ◽

pp. 438-447

Author(s):

Kento Takagi ◽

Ryo Kashima

Keyword(s):

Second Order ◽

Order Logic ◽

Second Order Logic ◽

Monadic Second Order Logic

Download Full-text

Monadic second-order logic on finite sequences

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017 ◽

10.1145/3009837.3009844 ◽

2017 ◽

Author(s):

Loris D'Antoni ◽

Margus Veanes

Keyword(s):

Second Order ◽

Order Logic ◽

Finite Sequences ◽

Second Order Logic ◽

Monadic Second Order Logic

Download Full-text

The monadic second-order logic of graphs X: Linear orderings

Theoretical Computer Science ◽

10.1016/0304-3975(95)00083-6 ◽

1996 ◽

Vol 160 (1-2) ◽

pp. 87-143 ◽

Author(s):

Bruno Courcelle

Keyword(s):

Second Order ◽

Order Logic ◽

Linear Orderings ◽

Second Order Logic ◽

Monadic Second Order Logic

Download Full-text

Monadic second-order logic on finite sequences

ACM SIGPLAN Notices ◽

10.1145/3093333.3009844 ◽

2017 ◽

Vol 52 (1) ◽

pp. 232-245

Author(s):

Loris D'Antoni ◽

Margus Veanes

Keyword(s):

Second Order ◽

Order Logic ◽

Finite Sequences ◽

Second Order Logic ◽

Monadic Second Order Logic

Download Full-text

Monadic Second-Order Logic for Graphs: Algorithmic and Language Theoretical Applications

Language and Automata Theory and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-642-00982-2_2 ◽

2009 ◽

pp. 19-22

Author(s):

Bruno Courcelle

Keyword(s):

Second Order ◽

Order Logic ◽

Second Order Logic ◽

Monadic Second Order Logic

Download Full-text

The monadic second-order logic of graphs XIII: Graph drawings with edge crossings

Theoretical Computer Science ◽

10.1016/s0304-3975(00)00180-8 ◽

2000 ◽

Vol 244 (1-2) ◽

pp. 63-94 ◽

Author(s):

Bruno Courcelle

Keyword(s):

Second Order ◽

Order Logic ◽

Edge Crossings ◽

Second Order Logic ◽

Monadic Second Order Logic

Download Full-text

Circle graphs and monadic second-order logic

Journal of Applied Logic ◽

10.1016/j.jal.2007.05.001 ◽

2008 ◽

Vol 6 (3) ◽

pp. 416-442 ◽

Author(s):

Bruno Courcelle

Keyword(s):

Second Order ◽

Order Logic ◽

Circle Graphs ◽

Second Order Logic ◽

Monadic Second Order Logic

Download Full-text

Existential monadic second order logic on random rooted trees

Discrete Mathematics ◽

10.1016/j.disc.2018.09.012 ◽

2019 ◽

Vol 342 (1) ◽

pp. 152-167

Author(s):

Alexander E. Holroyd ◽

Avi Levy ◽

Moumanti Podder ◽

Joel Spencer

Keyword(s):

Second Order ◽

Order Logic ◽

Rooted Trees ◽

Second Order Logic ◽

Monadic Second Order Logic

Download Full-text

Monadic Second-Order Logic and Automata

Elements of Finite Model Theory ◽

10.1007/978-3-662-07003-1_7 ◽

2004 ◽

pp. 113-140

Author(s):

Leonid Libkin

Keyword(s):

Second Order ◽

Order Logic ◽

Second Order Logic ◽

Monadic Second Order Logic

Download Full-text

Monadic Second Order Logic on Graphs with Local Cardinality Constraints

Lecture Notes in Computer Science - Mathematical Foundations of Computer Science 2008 ◽

10.1007/978-3-540-85238-4_49 ◽

2008 ◽

pp. 601-612 ◽

Author(s):

Stefan Szeider

Keyword(s):

Second Order ◽

Order Logic ◽

Cardinality Constraints ◽

Second Order Logic ◽

Monadic Second Order Logic

Download Full-text

Expressive Power of Monadic Second-Order Logic and Modal μ-Calculus

Lecture Notes in Computer Science - Automata Logics, and Infinite Games ◽

10.1007/3-540-36387-4_14 ◽

2002 ◽

pp. 239-257 ◽

Author(s):

Philipp Rohde

Keyword(s):

Expressive Power ◽

Second Order ◽

Order Logic ◽

Second Order Logic ◽

Monadic Second Order Logic

Download Full-text