Sign in
On the Mosaic Method for Many-Dimensional Modal Logics: A Case Study Combining Tense and Modal Operators.
Carlos Caleiro
Luca Viganò
Marco Volpe
Published in:
Logica Universalis (2013)
Keyphrases
</>
modal logic
reinforcement learning
modal operators