Search results
From MaRDI portal
- the adjacent fragment of first-order logic 2024-11-14 Paper Adding transitivity and counting to the fluted fragment 2024-09-25 Paper Fragments of First-Order...10 bytes (15 words) - 10:27, 7 October 2023
- Unary negation fragment with equivalence relations has the finite model property 2021-01-20 Paper Finite Model Theory of the Triguarded Fragment and Related...10 bytes (13 words) - 11:42, 7 October 2023
- Bernays-Schönfinkel-Ramsey fragment with simple linear integer arithmetic 2017-09-22 Paper Decidability of the monadic shallow linear first-order fragment with straight...10 bytes (13 words) - 10:33, 6 October 2023
- and counting to the fluted fragment 2024-09-25 Paper The Fluted Fragment with Transitivity 2022-07-21 Paper The fluted fragment with transitive relations...10 bytes (13 words) - 20:12, 24 September 2023
- Relating description complexity to entropy 2022-09-26 Paper One-dimensional fragment over words and trees 2022-09-22 Paper First-order logic with self-reference...10 bytes (13 words) - 15:48, 24 September 2023
- ity of a Quantified Set-theoretic Fragment* 2017-11-10 Paper Web ontology representation and reasoning via fragments of set theory 2017-06-26 Paper Two...10 bytes (15 words) - 23:41, 10 December 2023
- Perfect Hilbert algebras 2025-01-06 Paper Algebraic logic for the negation fragment of classical logic 2024-11-15 Paper Priestley-style duality for DN-algebras...10 bytes (16 words) - 11:32, 7 October 2023
- Satisfiability Problem for the Guarded Fragment with Transitivity 2008-05-27 Paper The guarded fragment with transitive guards 2004-08-16 Paper Complexity Results for...10 bytes (13 words) - 08:35, 6 October 2023
- Paper A Finitary Treatment of the Closed Fragment of Japaridze's Provability Logic 2005-10-18 Paper The closed fragment of the interpretability logic of PRA...10 bytes (15 words) - 04:33, 7 October 2023
- consumption of resources 2017-06-30 Paper The virtues of idleness: a decidable fragment of resource agent logic 2017-02-28 Paper Qualitative spatial logics for...10 bytes (13 words) - 06:43, 9 December 2023
- Algorithm for the DNA Fragment Assembly Problem 2009-05-07 Paper https://portal.mardi4nfdi.de/entity/Q3500157 2008-06-03 Paper DNA fragment assembly using a...10 bytes (14 words) - 13:15, 6 October 2023
- decision procedure for a fragment of hybrid logic with binders 2016-05-26 Paper A tableau based decision procedure for an expressive fragment of hybrid logic with...10 bytes (16 words) - 14:54, 9 December 2023
- Kripke frame for the variable-free fragment of RC$^\nabla$ 2018-04-08 Paper A universal algebra for the variable-free fragment of \({\mathrm{RC}^\nabla}\) 2018-04-06...10 bytes (17 words) - 21:56, 10 December 2023
- some extensions of the Lambek calculus 2022-06-13 Paper Complexity of a fragment of infinitary action logic with exponential via non-well-founded proofs...10 bytes (14 words) - 03:35, 12 December 2023
- Paper Algebraic semantics of the \(\left\{ \rightarrow ,\square \right\} \)-fragment of propositional lax logic 2020-07-15 Paper Monotonic distributive semilattices...10 bytes (15 words) - 20:25, 11 December 2023
- Paper Seeding strategies and recombination operators for solving the DNA fragment assembly problem 2010-06-09 Paper On the Velocity Update in Multi-Objective...10 bytes (15 words) - 20:06, 9 December 2023
- 2018-12-11 Paper Loop-free verification of termination of derivation for a fragment of dynamic logic 2016-06-10 Paper Termination of derivations for minimal...10 bytes (14 words) - 03:03, 9 December 2023
- ity of a Quantified Set-theoretic Fragment* 2017-11-10 Paper Web ontology representation and reasoning via fragments of set theory 2017-06-26 Paper The...10 bytes (17 words) - 16:00, 6 October 2023
- 2022-01-18 Paper Molecular fragment shape variation index applied to intramolecular interaction studies 2012-06-13 Paper Fragment shape variation index for...10 bytes (15 words) - 10:08, 8 December 2023
- Axiomatizing hybrid logic using modal logic 2011-03-22 Paper THE BOUNDED FRAGMENT AND HYBRID LOGIC WITH POLYADIC MODALITIES 2010-07-23 Paper A BISIMULATION CHARACTERIZATION...10 bytes (14 words) - 16:23, 9 December 2023
