The following pages link to The Pure Logic of Necessitation (Q4018168):
Displaying 8 items.
- Zolin and Pizzi: defining necessity from noncontingency (Q485619) (← links)
- On the relation between default and modal nonmonotonic reasoning (Q1274266) (← links)
- Tableau-based characterization and theorem proving for default logic (Q1344885) (← links)
- Alternative foundations for Reiter's default logic (Q1589575) (← links)
- Proof theory for functional modal logic (Q1708100) (← links)
- Modal nonmonotonic logics demodalized (Q1924826) (← links)
- Logical Atomism’s Necessity (Q3295763) (← links)
- Arithmetical completeness theorems for monotonic modal logics (Q6040616) (← links)