Algebraic Expansions of Logics.

Miguel Campercholi Diego Nicolás Castaño José Patricio Díaz Varela Joan Gispert

Published in: J. Symb. Log. (2023)

Keyphrases

expressive power
modal logic
database
real time
real world
knowledge representation
inference rules
default logic
computational properties
decision procedures