Normalization for fitch-style modal calculi.

Nachiappan Valliappan Fabian Ruch Carlos Tomé Cortiñas

Published in: Proc. ACM Program. Lang. (2022)

Keyphrases

modal logic
preprocessing
sequent calculi
data sets
reasoning problems
databases
nonmonotonic logics
normalization method
neural network
information retrieval
information systems
data structure