Pages that link to "Item:Q3356290"
From MaRDI portal
The following pages link to Modal Logic and Negation as Failure (Q3356290):
Displaying 12 items.
- Naive modus ponens and failure of transitivity (Q263086) (← links)
- Complete extension of general logic programs (Q1190477) (← links)
- \(N\)-Prolog and equivalence of logic programs. I (Q1314280) (← links)
- Bottom-up evaluation of datalog with negation (Q1333369) (← links)
- Negation in the light of modal logic (Q2715517) (← links)
- A linear axiomatization of negation as failure (Q3992234) (← links)
- A Modal Approach to Negation as Failure Rule (Q4305346) (← links)
- (Q4325785) (← links)
- On the declarative and procedural semantics of definite metalogic programs (Q4885624) (← links)
- (Q4895422) (← links)
- Modal provability foundations for negation by failure (Q5053008) (← links)
- Failure of interpolation in combined modal logics (Q5937819) (← links)