Skip to content

Satisfiability for First-order Logic as a Non-Modal Deontic Logic.

Robert A. Kowalski

VenueBCogSci
Year2017
ProceedingsBridging@CogSci

Browse the full CogSci paper archive.