Bilattice Public Announcement Logic.

Umberto Rivieccio

Published in: Advances in Modal Logic (2014)

Keyphrases

truth values
inference rules
multi valued
fixpoint
default logic
fixed point
database
knowledge base
special case
logic programming
background knowledge
network structure