Normalization for Fitch-Style Modal Calculi.

Nachiappan Valliappan Fabian Ruch Carlos Tomé Cortiñas

Published in: CoRR (2022)

Keyphrases

modal logic
authorship attribution
normalization method
preprocessing
qualitative spatial and temporal reasoning
knowledge base
image processing
website
data structure
expert systems
search engine
inference rules
reasoning problems
genetic algorithm
data mining
sequent calculi
database