Search results
From MaRDI portal
- 2009-03-24 Paper Circle graphs and monadic second-order logic 2008-09-23 Paper Graph Structure and Monadic Second-Order Logic: Language Theoretical Aspects...10 bytes (17 words) - 10:24, 8 December 2023
- Paper Monadic Second-Order Logic and Transitive Closure Logics over Trees 2013-05-03 Paper The equivalence of tree adjoining grammars and monadic linear...10 bytes (16 words) - 18:04, 9 December 2023
- Quantifier in Monadic Second Order Logic 2017-07-21 Paper https://portal.mardi4nfdi.de/entity/Q5275391 2017-07-13 Paper Baire Category Quantifier in Monadic Second...10 bytes (16 words) - 09:13, 25 September 2023
- https://portal.mardi4nfdi.de/entity/Q4636622 2018-04-19 Paper Monadic Second-Order Logic with Arbitrary Monadic Predicates 2017-10-16 Paper https://portal.mardi4nfdi...10 bytes (16 words) - 14:05, 24 September 2023
- Asymptotic Monadic Second-Order Logic 2014-10-14 Paper Decidability Results for the Boundedness Problem 2014-09-05 Paper Monadic second-order definable...10 bytes (17 words) - 12:42, 7 October 2023
- Type Monadic second-order incorrectness logic for GP 2 2022-11-16 Paper Incorrectness logic for graph programs 2022-03-21 Paper Verifying Monadic Second-Order...10 bytes (18 words) - 23:41, 24 September 2023
- Definability of second order generalized quantifiers 2010-04-15 Paper On definability in dependence logic 2009-10-21 Paper Team Logic and Second-Order Logic 2009-07-02...10 bytes (17 words) - 02:08, 10 December 2023
- probability logic 2023-09-07 Paper On the coprimeness relation from the viewpoint of monadic second-order logic 2023-09-02 Paper Infinitary action logic with...10 bytes (18 words) - 15:34, 11 December 2023
- Zero-one laws for \(k\)-variable first-order logic of sparse random graphs 2020-04-01 Paper Existential monadic second order convergence law fails on sparse random...10 bytes (17 words) - 01:44, 10 December 2023
- copresented Esakia spaces 2018-04-23 Paper Monadic second order logic as the model companion of temporal logic 2018-04-23 Paper https://portal.mardi4nfdi...10 bytes (20 words) - 18:12, 11 December 2023
- Suszko 2020-03-27 Paper Second-order logic of paradox 2018-12-21 Paper Pecularities of some three- and four-valued second order logics 2018-12-12 Paper Gentzen...10 bytes (18 words) - 21:18, 8 December 2023
- abstract) 2019-10-01 Paper Computations by fly-automata beyond monadic second-order logic 2016-02-26 Paper Bottom-up rewriting for words and terms 2014-09-11...10 bytes (17 words) - 21:44, 9 December 2023
- 2002-09-30 Paper Finite variability interpretation of monadic logic of order 2002-07-31 Paper Monadic Logic of Order over Naturals has no Finite Base 2002-01-01...10 bytes (16 words) - 00:32, 10 December 2023
- Probability and symmetric logic 2023-02-24 Paper Logical laws for existential monadic second-order sentences with infinite first-order parts 2018-03-28 Paper...10 bytes (18 words) - 18:59, 13 December 2023
- Paper The logic of tied implications. I: Properties, applications and representation 2006-06-09 Paper First order quantifiers in monadic second order logic...10 bytes (18 words) - 02:43, 13 December 2023
- 2023-09-20 Paper On the coprimeness relation from the viewpoint of monadic second-order logic 2023-09-02 Paper The Π21$\Pi ^1_2$ consequences of a theory 2023-08-23...10 bytes (18 words) - 15:07, 10 December 2023
- 2014-03-10 Paper Groups, graphs, languages, automata, games and second-order monadic logic 2012-08-14 Paper Generic computability, Turing degrees, and asymptotic...10 bytes (19 words) - 00:18, 12 December 2023
- problem 1983-01-01 Paper The monadic theory of ω2 1983-01-01 Paper Interpreting second-order logic in the monadic theory of order 1983-01-01 Paper Decision...10 bytes (17 words) - 06:31, 9 December 2023
- STATE PROCESSES, Z-TEMPORAL LOGIC AND THE MONADIC THEORY OF THE INTEGERS 1993-06-29 Paper Alternating automata, the weak monadic theory of trees and its complexity...10 bytes (19 words) - 15:42, 12 December 2023
- satisfiability and fragments of second-order logic 1999-01-19 Paper Expressiveness of stable model semantics for disjunctive logic programs with functions 1998-07-16...10 bytes (17 words) - 05:40, 9 December 2023
