On Conservative Extensions in Logics with Infinitary Predicates.

Miklós Ferenczi

Published in: Stud Logica (2009)

Keyphrases

expressive power
default logic
knowledge representation formalisms
modal logic
aggregate functions
efficient implementation
inference rules
default theories
propositional calculus
information retrieval
website
model checking
computational properties
autoepistemic logic