Login / Signup

Ordered Inference in Sequent Calculi for Applied Logics.

Alexander Sakharov
Published in: ICMAI (2024)
Keyphrases
  • sequent calculi
  • probabilistic inference
  • search algorithm
  • modal logic
  • inference rules