Login / Signup
An extension algebra and the modal system T.
E. J. Lemmon
Published in:
Notre Dame J. Formal Log. (1960)
Keyphrases
</>
query language
modal logic
artificial intelligence
relational algebra
machine learning
information systems
website
nonmonotonic logics