A new extension of S4.

Robert Goldblatt

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

Keyphrases

decision making
real time
artificial intelligence
databases
search engine
data analysis
mobile devices
logic programs