Search results
From MaRDI portal
- 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 (13 words) - 23:32, 9 December 2023
- The monadic theory of ω2 1983-01-01 Paper The Word Problem for Lattice-Order Groups 1983-01-01 Paper Interpreting second-order logic in the monadic theory...10 bytes (15 words) - 05:31, 9 December 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 (14 words) - 11:42, 7 October 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 (15 words) - 01:08, 10 December 2023
- in modal logic 2017-07-12 Paper Quantitative Monadic Second-Order Logic 2017-07-03 Paper Model Checking for Successor-Invariant First-Order Logic on Minor-Closed...10 bytes (15 words) - 16:12, 24 September 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 (14 words) - 00:44, 10 December 2023
- completeness of the propositional mu-calculus with respect to monadic second order logic 2023-06-28 Paper Model-checking linear-time properties of parametrized...10 bytes (13 words) - 16:20, 6 October 2023
- treewidth 2015-09-17 Paper Existential second-order logic over graphs 2015-08-01 Paper Monadic datalog and the expressive power of languages for Web information...10 bytes (15 words) - 04:40, 9 December 2023
- of two-variable dependence logic and IF-logic 2014-11-28 Paper Second-order propositional modal logic and monadic alternation hierarchies 2014-10-27 Paper...10 bytes (13 words) - 15:48, 24 September 2023
- Expressibility of Higher Order Logics 2013-06-06 Paper On the existence of a modal-logical basis for monadic second-order logic 2013-04-19 Paper Partially...10 bytes (14 words) - 15:48, 24 September 2023
- 2009-10-09 Paper Boundedness of Monadic Second-Order Formulae over Finite Words 2009-07-14 Paper Boundedness of Monadic FO over Acyclic Structures 2007-11-28...10 bytes (14 words) - 02:30, 7 October 2023
- https://portal.mardi4nfdi.de/entity/Q4894127 1996-10-01 Paper Monadic second-order logic over rectangular pictures and recognizability by tiling systems...10 bytes (13 words) - 10:46, 6 October 2023
- Where First-Order and Monadic Second-Order Logic Coincide 2017-07-13 Paper On first-order topological queries 2017-06-13 Paper Locality of order-invariant...10 bytes (15 words) - 23:47, 24 September 2023
- Barriers 2007-04-30 Paper Computer Science Logic 2006-11-01 Paper On spectra of sentences of monadic second order logic with counting 2005-08-29 Paper Coloured...10 bytes (17 words) - 09:24, 8 December 2023
- comonads \& generalised quantifiers 2024-09-04 Paper First order logic, fixed point logic and linear order 2024-06-21 Paper https://portal.mardi4nfdi.de/entity/Q6124948...10 bytes (15 words) - 08:42, 7 October 2023
- Systems 2011-07-07 Paper Expressing cardinality quantifiers in monadic second-order logic over chains 2011-06-28 Paper Information tracking in games on...10 bytes (15 words) - 02:10, 7 October 2023
- separating the combinatorics from the dynamics 2018-05-17 Paper Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras 2018-04-23 Paper Weak...10 bytes (14 words) - 15:20, 8 December 2023
- behaviours for probabilistic automata 2017-10-27 Paper Monadic Second-Order Logic with Arbitrary Monadic Predicates 2017-10-16 Paper Stamina: stabilisation...10 bytes (13 words) - 08:32, 6 October 2023
- Paper Monadic Second-Order Logic with Arbitrary Monadic Predicates 2017-10-16 Paper Finite-Degree Predicates and Two-Variable First-Order Logic 2017-08-31...10 bytes (13 words) - 13:05, 24 September 2023
- On the Strength of Unambiguous Tree Automata 2018-09-20 Paper Monadic Second Order Logic with Measure and Category Quantifiers 2018-04-25 Paper How unprovable...10 bytes (13 words) - 20:27, 24 September 2023
