Boolean negation and non-conservativity I: Relevant modal logics.

Tore Fjetland Øgaard

Published in: Log. J. IGPL (2021)

Keyphrases

modal logic
decision procedures
inference rules
temporal logic
nonmonotonic logics
epistemic logic
logic programs
classical logic
default logic
situation calculus
real valued
conditional logic
deductive databases
partial order
integrity constraints
logic programming
cooperative