Login / Signup
The Pursuit of an Implication for the Logics L3A and L3B.
Alejandro Hernández-Tello
José R. Arrazola Ramírez
Mauricio Javier Osorio Galindo
Published in:
Logica Universalis (2017)
Keyphrases
</>
modal logic
expressive power
classical logic
inference rules
database
computational properties
epistemic logic
propositional calculus
databases
artificial intelligence
data model
functional dependencies
deductive databases
nonmonotonic logics
conditional logic
proof theory