Independent Axiom Schemata for S5.

Alan Ross Anderson

Published in: J. Symb. Log. (1956)

Keyphrases

information systems
modal logic
database schema
artificial intelligence
website
high quality
data structure
cooperative
artificial neural networks
special case