Login / Signup
A modal theorem-preserving translation of a class of three-valued logics of incomplete information.
Davide Ciucci
Didier Dubois
Published in:
J. Appl. Non Class. Logics (2013)
Keyphrases
</>
incomplete information
nonmonotonic logics
modal logic
partial information
missing information
possibility theory
autonomous agents
inference rules
first order logic
query answering
expressive power
default logic
open world
nash equilibria
classical logic
propositional logic
knowledge base