Login / Signup
Fitch-Style Modal Necessity as a Substructural Sequent-Style System.
Favio Ezequiel Miranda-Perea
Ximena Estrada Zavaleta
Lourdes Del Carmen González-Huesca
Published in:
Computación y Sistemas (CyS) (2023)
Keyphrases
</>
database systems
databases
database
modal logic
data mining
feature extraction
medical images
temporal logic