The following pages link to On languages with two variables (Q4110975):
Displaying 50 items.
- A logical approach to locality in pictures languages (Q295631) (← 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)
- Syllogistic logic with comparative adjectives (Q438598) (← links)
- Complexity of two-variable dependence logic and IF-logic (Q476186) (← 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)
- \(e\): the master of all (Q1002117) (← links)
- Decidable fragments of many-sorted logic (Q1041587) (← links)
- Regular path queries with constraints (Q1307690) (← links)
- Canonization for two variables and puzzles on the square (Q1361251) (← links)
- Decidable fragments of first-order temporal logics (Q1591203) (← links)
- Problems of constructing intelligent systems. Levels of intelligence (Q1616247) (← links)
- Deciding the guarded fragments by resolution (Q1867216) (← links)
- The guarded fragment with transitive guards (Q1877098) (← links)
- On logics with two variables (Q1960419) (← links)
- Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates (Q2031420) (← 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)
- Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter (Q2323638) (← links)
- Decidability of order-based modal logics (Q2361346) (← 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)
- A logic of reachable patterns in linked data-structures (Q2643337) (← links)
- On the relative expressiveness of description logics and predicate logics (Q2674209) (← 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)
- Decidable fragments of first-order modal logics (Q2758067) (← links)
- A Connection Calculus for the Description Logic $$ {\mathcal{ALC}} $$ (Q2814524) (← links)
- On Satisfiability in ATL with Strategy Contexts (Q2915087) (← 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)
- Extending description logics with uncertainty reasoning in possibilistic logic (Q3168949) (← links)
- Undecidability of First-Order Intuitionistic and Modal Logics with Two variables (Q3370616) (← links)
- The ultra-weak Ash conjecture and some particular cases (Q3376535) (← links)
- The two‐variable fragment with counting and equivalence (Q3460527) (← links)
- Decidable Fragments of Many-Sorted Logic (Q3498453) (← links)
- Extending Description Logics with Uncertainty Reasoning in Possibilistic Logic (Q3524995) (← links)
- Logics for Two Fragments beyond the Syllogistic Boundary (Q3586020) (← links)
- Description Logics (Q3638996) (← links)
- Products of Modal Logics with Diagonal Constant Lacking the Finite Model Property (Q3655206) (← links)
- The equational theory of <i>CA</i><sub>3</sub> is undecidable (Q3874171) (← links)
- On Preservation Theorems for Two-Variable Logic (Q4264532) (← links)
- Undecidability of modal and intermediate first-order logics with two individual variables (Q4276022) (← links)
- On the Decision Problem for Two-Variable First-Order Logic (Q4338040) (← links)
- Deux ou trois choses que je sais de <i>L</i><sub>n</sub> (Q4744254) (← links)
- Fifty years of the spectrum problem: survey and new results (Q4902770) (← 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)
