Login / Signup

Proof Analysis in Modal Logic.

Sara Negri
Published in: J. Philos. Log. (2005)
Keyphrases
  • modal logic
  • data analysis
  • statistical analysis
  • temporal logic
  • decision procedures
  • neural network
  • theorem prover
  • dynamic programming
  • inference rules
  • theorem proving
  • epistemic logic
  • dynamic logic
  • sequent calculus