A Modal Logic of a Truth Definition for Finite Models.

Marek Czarnecki Konrad Zdanowski

Published in: Fundam. Informaticae (2019)

Keyphrases

modal logic
temporal logic
inference rules
probabilistic model
model selection
complex systems
decision procedures
epistemic logic
artificial intelligence
statistical models