Login / Signup
An axiomatic approach to CG′3 logic.
Miguel Pérez-Gaspar
Alejandro Hernández-Tello
José R. Arrazola Ramírez
Mauricio Javier Osorio Galindo
Published in:
Log. J. IGPL (2020)
Keyphrases
</>
modal logic
multi valued
classical logic
databases
epistemic logic
logic programming
logical framework
predicate logic
sound and complete axiomatization
linear temporal logic
asynchronous circuits
nonmonotonic logics
computational properties
multi agent systems
image processing
knowledge base
information retrieval