Login / Signup
Quantified Modal Logics of Positive Rational Numbers and Some Related Systems.
Giovanna Corsi
Published in:
Notre Dame J. Formal Log. (1993)
Keyphrases
</>
modal logic
inference rules
temporal logic
reasoning systems
decision making
knowledge base
special case
state space