From logics of formal inconsistency to logics of formal classicality.

Published in: Log. J. IGPL (2020)

Keyphrases

modal logic
expressive power
classical logic
databases
formal methods
social networks
formal model
database
data sets
artificial intelligence
formal specification
mathematical theory