The following pages link to (Q5537356):
Displayed 18 items.
- Synonymous theories and knowledge representations in answer set programming (Q414849) (← links)
- A map of dependencies among three-valued logics (Q497633) (← links)
- A first order nonmonotonic extension of constructive logic (Q813086) (← links)
- Equilibrium logic (Q854969) (← links)
- A semantic hierarchy for intuitionistic logic (Q1740610) (← links)
- The simple substitution property of Gödel's intermediate propositional logics \(S_ n\)'s (Q1814180) (← links)
- Pseudo two-valued evaluation method for intermediate logics (Q1820766) (← links)
- Infinitary equilibrium logic and strongly equivalent logic programs (Q2407875) (← links)
- Three-Valued Logics for Incomplete Information and Epistemic Logic (Q2915066) (← links)
- Infinitary Equilibrium Logic and Strong Equivalence (Q3449222) (← links)
- A modal theorem-preserving translation of a class of three-valued logics of incomplete information (Q4583322) (← links)
- Stable reasoning (Q4586232) (← links)
- On equivalence of infinitary formulas under the stable model semantics (Q4592970) (← links)
- Proving infinitary formulas (Q4593059) (← links)
- EPSILON THEOREMS IN INTERMEDIATE LOGICS (Q5082060) (← links)
- The separable axiomatization of the intermediate propositional systems $S_n $ of Gödel (Q5537357) (← links)
- Here and There with Arithmetic (Q6063863) (← links)
- Logical connectives for two-state semantics (Q6080576) (← links)