A General Semantics for Logics of Affirmation and Negation.

Published in: FLAP (2021)

Keyphrases

logic programming
special case
proof theory
expressive power
epistemic logic
logic programs
formal semantics
computational properties
highly expressive
propositional dynamic logic
derivation rules
hybrid probabilistic logic programs