Pages that link to "Item:Q4338040"

The following pages link to On the Decision Problem for Two-Variable First-Order Logic (Q4338040):

Displaying 50 items.

• Adding one or more equivalence relations to the interval temporal logic \(\mathsf{AB}\overline{\mathsf{B}}\) (Q288804) (← links)
• The decision problem of modal product logics with a diagonal, and faulty counter machines (Q295920) (← links)
• Metric propositional neighborhood logic with an equivalence relation (Q329414) (← links)
• Complexity of two-variable dependence logic and IF-logic (Q476186) (← links)
• A description logic based situation calculus (Q604908) (← links)
• Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions (Q636267) (← links)
• On the complexity of the two-variable guarded fragment with transitive guards (Q859827) (← links)
• Integrity constraints for XML (Q1394804) (← links)
• Path constraints in semistructured databases (Q1591150) (← links)
• All normal extensions of S5-squared are finitely axiomatizable (Q1770622) (← links)
• Deciding the guarded fragments by resolution (Q1867216) (← links)
• The guarded fragment with transitive guards (Q1877098) (← links)
• On logics with two variables (Q1960419) (← links)
• Statistical \(\mathcal{EL}\) is \textsc{ExpTime}-complete (Q2032149) (← links)
• A simple combinatorial proof for the small model property of two-variable logic (Q2032164) (← links)
• Logical separability of labeled data examples under ontologies (Q2093388) (← links)
• SGGS decision procedures (Q2096457) (← links)
• The fluted fragment with transitive relations (Q2238133) (← links)
• Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter (Q2323638) (← links)
• Bounded model checking of infinite state systems (Q2369883) (← links)
• An event-based fragment of first-order logic over intervals (Q2429992) (← links)
• First-order logic with two variables and unary temporal logic (Q2506493) (← links)
• Deciding regular grammar logics with converse through first-order logic (Q2567343) (← links)
• Computational complexity of theories of a binary predicate with a small number of variables (Q2696689) (← links)
• Two variable first-order logic over ordered domains (Q2747711) (← links)
• Small substructures and decidability issues for first-order logic with two variables (Q2915891) (← links)
• Two-Variable Separation Logic and Its Inner Circle (Q2957697) (← links)
• Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting (Q2957765) (← links)
• Quantitative Logic Reasoning (Q3305344) (← links)
• The two‐variable fragment with counting and equivalence (Q3460527) (← links)
• Logics for Two Fragments beyond the Syllogistic Boundary (Q3586020) (← links)
• Description Logics (Q3638996) (← links)
• Combinations of Theories for Decidable Fragments of First-Order Logic (Q3655205) (← links)
• Products of Modal Logics with Diagonal Constant Lacking the Finite Model Property (Q3655206) (← links)
• Finite Variable Logics in Descriptive Complexity Theory (Q4254565) (← links)
• The Range of Modal Logic (Q4531586) (← links)
• Separation logics and modalities: a survey (Q4586138) (← links)
• Decidability of cylindric set algebras of dimension two and first-order logic with two variables (Q4948527) (← links)
• On the Restraining Power of Guards (Q4948538) (← links)
• On the complexity of team logic and its two-variable fragment (Q5005127) (← links)
• REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION (Q5009679) (← links)
• Undecidability results on two-variable logics (Q5048929) (← links)
• Undecidability of QLTL and QCTL with two variables and one monadic predicate letter (Q5059700) (← links)
• (Q5092374) (← links)
• (Q5092376) (← links)
• The Fluted Fragment with Transitivity (Q5092377) (← links)
• (Q5092390) (← links)
• (Q5094127) (← links)
• Finite satisfiability for two‐variable, first‐order logic with one transitive relation is decidable (Q5109226) (← links)
• THE FLUTED FRAGMENT REVISITED (Q5195057) (← links)