An axiom-system for {K;N}-propositional calculus related to Simons' axiomatization of S3.

Boleslaw Sobocinski

Published in: Notre Dame J. Formal Log. (1962)

Keyphrases

propositional calculus
databases
closely related
inference rules
information retrieval
decision making
natural language
expert systems
modal logic