Fibring of Logics as a Categorial Construction.

Amílcar Sernadas Cristina Sernadas Carlos Caleiro

Published in: J. Log. Comput. (1999)

Keyphrases

modal logic
expressive power
temporal logic
inference rules
databases
real time
data sets
construction process
nonmonotonic logics
data mining
information systems
feature selection
decision making
default logic
epistemic logic