SECOND-ORDER LOGIC, OR: HOW I LEARNED TO STOP WORRYING AND LOVE THE INCOMPLETENESS THEOREMS ETHAN JERZAK Abstract. First-order logic enjoys a nearly universal status as the language in which mathematics is done—or at l

Source URL: www.math.uchicago.edu

Symposium on Theoretical Aspects of Computer ScienceBordeaux), ppwww.stacs-conf.org COMPATIBILITY OF SHELAH AND STUPP’S AND MUCHNIK’S ITERATION WITH FRAGMENTS OF MONADIC SECOND ORDER LOGIC

Source URL: drops.dagstuhl.de

On the Parameterised Intractability of Monadic Second-Order Logic Stephan Kreutzer ⋆ Oxford University Computing Laboratory, Abstract. One of Courcelle’s celebrated results states that if C

Source URL: logic.las.tu-berlin.de

Prof. Dr. Mircea Dumitru Lucrări publicate și activitate științifică Prof. dr. Mircea Dumitru Cărţi 1.On Incompleteness in Modal Logic. An Account through Second-Order Logic, UMI, A

Source URL: filosofie.unibuc.ro

Lower Bounds for the Complexity of Monadic Second-Order Logic Stephan Kreutzer University of Oxford Abstract—Courcelle’s famous theorem from 1990 states that

Source URL: logic.las.tu-berlin.de

Graph Structure and Monadic Second-order Logic: Language Theoretical Aspects? Bruno Courcelle Université Bordeaux-1, LaBRI, CNRS Institut Universitaire de France 351, Cours de la Libération

Source URL: www.labri.fr

second order propositional logic logical verification week

Source URL: www.cs.ru.nl

Logic, Computation and Constraint Satisfaction Barnaby D. Martin University of Leicester

Source URL: www.bedewell.com

• Computational complexity theory
• Logic
• Complexity classes
• Mathematical logic
• PSPACE
• FO
• Second-order logic
• P versus NP problem
• Constraint satisfaction problem
• NP
• P
• Constraint satisfaction

Second-Order Abstract Categorial Grammars Makoto Kanazawa July 28,

Source URL: research.nii.ac.jp

• Formal languages
• Grammar
• Logic
• Mathematics
• Regular tree grammar
• Context-free grammar
• Formal grammar
• Terminal and nonterminal symbols
• Indexed grammar
• Context-sensitive grammar

Introduction Descriptive Set Theory in SOA Collapsing a model of ZFC Sharps # Collapsing a model of ZFC

Source URL: www.math.uni-bonn.de

• Mathematics
• Mathematical logic
• Logic
• Foundations of mathematics
• Z notation
• ZermeloFraenkel set theory
• Determinacy
• Set theory
• Second-order arithmetic
• Constructible universe
• Model theory
• Descriptive set theory