Boolean valued semantics for infinitary logics.

Juan M. Santiago Suárez Matteo Viale

Published in: Ann. Pure Appl. Log. (2024)

Keyphrases

valued semantics
consistent query answering
default logic
dl lite
logical implication
description logics
integrity constraints
database
functional dependencies
nonmonotonic reasoning
expert systems
logic programming
fixed point
query answering
modal logic