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