Alan Rose. Self-dual primitives for modal logic. Mathematische Annalen, vol. 125 (1952–1953), pp. 284–286

Subjects

Subjects :

Rose (mathematics)
Philosophy
Logic
business.industry
Computer science
Modal logic
Artificial intelligence
DUAL (cognitive architecture)
business

Details

ISSN :

19435886 and 00224812

Volume :

18

Database :

OpenAIRE

Journal :

Journal of Symbolic Logic

Accession number :

edsair.doi...........7ff4ce3abf68bf223a9d6d05a1cb0652