Login / Signup
On interactive proof-search for constructive modal necessity.
Favio E. Miranda-Perea
Lourdes Del Carmen González-Huesca
P. Selene Linares-Arévalo
Published in:
LANMR (2019)
Keyphrases
</>
proof search
inference rules
proof planning
theorem prover
theorem proving
modal logic
linear logic
search procedure
machine learning
genetic algorithm