Mathematical Modality: An Investigation in Higher-order Logic.

Published in: J. Philos. Log. (2024)

Keyphrases

higher order logic
higher order
theorem prover
conditional logic
multi modal
logical framework
medical images
incomplete information
feature selection
multi agent
programming language
inference rules
nonmonotonic reasoning
default reasoning