Pages that link to "Item:Q2429991"
From MaRDI portal
The following pages link to Erratum to: ``On definability in dependence logic'' (Q2429991):
Displaying 8 items.
- Erratum to: ``Extension of a decision procedure for a fragment of hybrid logic with binders'' (Q286791) (← links)
- Erratum to: ``Semantic completeness of first-order theories in constructive reverse mathematics'' (Q509612) (← links)
- On elementary logics for quantitative dependencies (Q2172823) (← links)
- Negation and partial axiomatizations of dependence and independence logic revisited (Q2273016) (← links)
- Erratum to: ``Reasoning with infinite stable models'' (Q2389687) (← links)
- Grelling on Dependence (Q5213640) (← links)
- Erratum to <i>J. M. Font, The simplest protoalgebraic logic</i> (Q5404168) (← links)
- COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES (Q6103455) (← links)