Pages that link to "Item:Q3449222"
From MaRDI portal
The following pages link to Infinitary Equilibrium Logic and Strong Equivalence (Q3449222):
Displaying 15 items.
- Some remarks on equivalence in infinitary and stationary logic (Q759747) (← links)
- Strong equivalence of logic programs under the infinite-valued semantics (Q987828) (← links)
- On elementary equivalence for equality-free logic (Q1355131) (← links)
- Infinitary definitions of equivalence relations in models of PA (Q1377633) (← links)
- Infinitary equilibrium logic and strongly equivalent logic programs (Q2407875) (← links)
- Strong and uniform equivalence of nonmonotonic theories -- an algebraic approach (Q2642629) (← links)
- Stable Models for Temporal Theories (Q3449185) (← links)
- (Q4140988) (← links)
- (Q4554399) (← links)
- Stable models for infinitary formulas with extensional atoms (Q4593057) (← links)
- Proving infinitary formulas (Q4593059) (← links)
- (Q4789047) (← links)
- (Q4820591) (← links)
- (Q5413342) (← links)
- On Heuer's procedure for verifying strong equivalence (Q6545537) (← links)