Search results
From MaRDI portal
- Asymptotic Monadic Second-Order Logic 2014-10-14 Paper Decidability results for the boundedness problem 2014-09-05 Paper Monadic second-order definable graph...10 bytes (14 words) - 11:42, 7 October 2023
- de/entity/Q4110976 1974-01-01 Paper A second order logic of existence 1969-01-01 Paper A completeness theorem in second order modal logic 1969-01-01 Paper A substitution...10 bytes (16 words) - 18:31, 9 December 2023
- Refinement of Abstract State Machines with Higher-Order Logic 2023-03-10 Paper A restricted second-order logic for non-deterministic poly-logarithmic time 2022-06-16...10 bytes (17 words) - 19:30, 8 December 2023
- Polynomial-Time Hierarchy and Second-Order Logic 2009-01-22 Paper Arity and alternation: a proper hierarchy in higher order logics 2007-10-12 Paper Foundations...10 bytes (14 words) - 06:26, 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
- Publication Date of Publication Type Team Logic and Second-Order Logic 2011-11-22 Paper Team Logic and Second-Order Logic 2009-07-02 Paper...10 bytes (13 words) - 11:42, 7 October 2023
- monadic second-order logic 2007-05-29 Paper Vertex-minors, monadic second-order logic, and a conjecture by Seese 2007-01-11 Paper Computer Science Logic 2006-11-01...10 bytes (15 words) - 09:24, 8 December 2023
- strategic balance of games in logic 2024-10-01 Paper An atom’s worth of anonymity 2024-02-20 Paper Model theory of second order logic 2024-01-12 Paper When cardinals...10 bytes (16 words) - 13:12, 10 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 (15 words) - 04:40, 9 December 2023
- The Word Problem for Lattice-Order Groups 1983-01-01 Paper Interpreting second-order logic in the monadic theory of order 1983-01-01 Paper Decision problem...10 bytes (15 words) - 05:31, 9 December 2023
- metric temporal logics 1998-07-22 Paper https://portal.mardi4nfdi.de/entity/Q5688917 1997-06-22 Paper Modal deduction in second-order logic and set theory...10 bytes (13 words) - 04:34, 7 October 2023
- and Abstraction† 2001-01-07 Paper Do Not Claim Too Much: Second-order Logic and First-order Logic 1999-11-15 Paper https://portal.mardi4nfdi.de/entity/Q4227549...10 bytes (14 words) - 00:59, 25 September 2023
- description logic programs in the semantic web 2015-09-17 Paper FDNC 2015-09-17 Paper Embedding nonground logic programs into autoepistemic logic for knowledge-base...10 bytes (15 words) - 11:36, 8 December 2023
- provability logic 2024-10-01 Paper Graph games and logic design 2024-09-11 Paper Where is logic going, and should it? 2024-08-15 Paper INTERLEAVING LOGIC AND COUNTING...10 bytes (17 words) - 16:02, 11 December 2023
- p></mml:math> and Modal Logic with Quantified Binary Relations 2016-08-05 Paper Existential second-order logic and modal logic with quantified accessibility...10 bytes (14 words) - 15:48, 24 September 2023
- 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 Paper...10 bytes (13 words) - 23:32, 9 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
- Paper Existential second-order logic and modal logic with quantified accessibility relations 2016-03-10 Paper Modal Inclusion Logic: Being Lax is Simpler...10 bytes (13 words) - 15:48, 24 September 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
- Date of Publication Type The existential fragment of second-order propositional intuitionistic logic is undecidable 2024-03-20 Paper Kripke Semantics for...10 bytes (15 words) - 12:36, 28 January 2024
