Entailment Multipliers: An Algebraic Characterization of Validity for Classical and Modal Logics.

Marcelo Finger Mauricio S. C. Hernandes

Published in: WoLLIC (2010)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
nonmonotonic logics
default logic
epistemic logic
situation calculus
classical logic
dynamic logic
logic programming
probabilistic logic
artificial intelligence
cooperative
theorem proving
modal operators