Quantification in autoepistemic logic

Cite this paper

@article{Konolige1991QuantificationIA, title={Quantification in autoepistemic logic}, author={Kurt Konolige}, journal={Fundam. Inform.}, year={1991}, volume={15}, pages={275-300} }