Formal systems for modal operators on locales.

Gonzalo E. Reyes Marek W. Zawadowski

Published in: Stud Logica (1993)

Keyphrases

artificial intelligence
general purpose
autonomous agents
machine learning
case based reasoning
formal specification
formal methods