Capturing equilibrium models in modal logic.

Luis Fariñas del Cerro Andreas Herzig Ezgi Iraz Su

Published in: J. Appl. Log. (2014)

Keyphrases

modal logic
temporal logic
inference rules
complex systems
decision procedures
conditional logic
probabilistic model
model selection