Pages that link to "Item:Q1115426"
From MaRDI portal
The following pages link to Fixed points in propositional nonmonotonic logic (Q1115426):
Displaying 6 items.
- Characters and fixed points in provability logic (Q749521) (← links)
- A context for belief revision: forward chaining-normal nonmonotonic rule systems (Q1326782) (← links)
- A Fixed Point Semantics for the ATMS (Q4276177) (← links)
- (Q4395548) (← links)
- Evidence for Fixpoint Logic (Q5351951) (← links)
- Least and Greatest Fixed Points in Linear Logic (Q5892168) (← links)