The Modal Logic of Inner Models.

Tanmay Inamdar Benedikt Löwe

Published in: J. Symb. Log. (2016)

Keyphrases

modal logic
inference rules
reinforcement learning
probabilistic model
model selection
complex systems
computational models
mathematical models
default logic
formal semantics
nonmonotonic logics
conditional logic