Login / Signup

On Interactive Proof-Search for Constructive Modal Necessity.

Favio E. Miranda-PereaLourdes Del Carmen González-HuescaP. Selene Linares-Arévalo
Published in: LANMR (Selected Papers) (2019)
Keyphrases
  • proof search
  • inference rules
  • theorem proving
  • linear logic
  • theorem prover
  • modal logic
  • proof planning
  • machine learning
  • search procedure
  • proof procedure