Tractable deduction in some fragments of auto-epistemic logic / G.J. Akkerman
mainEntity
Tractable deduction in some fragments of auto-epistemic logic / G.J. Akkerman
author
inLanguage
mainEntityOfPage
name
Tractable deduction in some fragments of auto-epistemic logic
numberOfPages
publication
sameAs
label
Tractable deduction in some fragments of auto-epistemic logic / G.J. Akkerman