Pages that link to "Item:Q5053008"
From MaRDI portal
The following pages link to Modal provability foundations for negation by failure (Q5053008):
Displaying 6 items.
- Naive modus ponens and failure of transitivity (Q263086) (← links)
- MOLOG: A system that extends PROLOG with modal logic (Q1079962) (← links)
- Definability and commonsense reasoning (Q1402721) (← links)
- Modal Logic and Negation as Failure (Q3356290) (← links)
- A linear axiomatization of negation as failure (Q3992234) (← links)
- A Modal Approach to Negation as Failure Rule (Q4305346) (← links)