The following pages link to Agi Kurucz (Q1006484):
Displaying 30 items.
- (Q295919) (redirect page) (← links)
- The decision problem of modal product logics with a diagonal, and faulty counter machines (Q295920) (← links)
- Towards a natural language semantics without functors and operands (Q1006485) (← links)
- Many-dimensional modal logics: theory and applications (Q1422049) (← links)
- A tetrachotomy of ontology-mediated queries with a covering axiom (Q2152500) (← links)
- Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations (Q2304538) (← links)
- Bimodal logics with a ``weakly connected'' component without the finite model property (Q2364656) (← links)
- Non-primitive recursive decidability of products of modal logics with expanding domains (Q2503403) (← links)
- Deciding FO-definability of regular languages (Q2695357) (← links)
- (Q2853714) (← links)
- On the complexity of modal axiomatisations over many-dimensional structures (Q2904058) (← links)
- Islands of tractability for relational constraints: towards dichotomy results for the description logic \({\mathcal{EL}}\) (Q2904059) (← links)
- Non-finitely axiomatisable two-dimensional modal logics (Q2915901) (← links)
- A Note on Axiomatisations of Two-Dimensional Modal Logics (Q2936227) (← links)
- Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting (Q2957765) (← links)
- One-variable first-order linear temporal logics with counting (Q2958532) (← links)
- (Q3012529) (← links)
- (Q3085168) (← links)
- Undecidability of First-Order Intuitionistic and Modal Logics with Two variables (Q3370616) (← links)
- Weakly associative relation algebras with projections (Q3619868) (← links)
- Products of Modal Logics with Diagonal Constant Lacking the Finite Model Property (Q3655206) (← links)
- KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS (Q5222523) (← links)
- (Q5224579) (← links)
- Horn Fragments of the Halpern-Shoham Interval Temporal Logic (Q5369240) (← links)
- (Q5419887) (← links)
- (Q5419892) (← links)
- (Q5465443) (← links)
- (Q5715695) (← links)
- Products of ‘transitive” modal logics (Q5718700) (← links)
- Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic (Q6135954) (← links)
