A Modal Logic for Mixed Strategies.

Joshua Sack Wiebe van der Hoek

Published in: Stud Logica (2014)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
classical logic
epistemic logic
nonmonotonic logics
situation calculus
default logic
conditional logic
explanation based generalization
prime implicates
sequent calculus
online auctions
knowledge representation
modal operators
dynamic logic