Login / Signup
Polynomial Ring Calculus for Modal Logics: a New Semantics and Proof method for Modalities.
Juan Carlos Agudelo Agudelo
Walter Alexandre Carnielli
Published in:
Rev. Symb. Log. (2011)
Keyphrases
</>
modal logic
similarity measure
multi agent
search algorithm