Pages that link to "Item:Q4592970"
From MaRDI portal
The following pages link to On equivalence of infinitary formulas under the stable model semantics (Q4592970):
Displaying 11 items.
- Some remarks on equivalence in infinitary and stationary logic (Q759747) (← links)
- Infinitary definitions of equivalence relations in models of PA (Q1377633) (← links)
- An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms (Q2124445) (← links)
- Forgetting auxiliary atoms in forks (Q2321342) (← links)
- Erratum to: ``Reasoning with infinite stable models'' (Q2389687) (← links)
- Infinitary equilibrium logic and strongly equivalent logic programs (Q2407875) (← links)
- On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics (Q2851269) (← links)
- Infinitary Equilibrium Logic and Strong Equivalence (Q3449222) (← links)
- Proving infinitary formulas (Q4593059) (← links)
- Safe Formulas in the General Theory of Stable Models (Preliminary Report) (Q5504689) (← links)
- Gelfond-Zhang aggregates as propositional formulas (Q5919599) (← links)