Logics for Contravariant Simulations.

Ignacio Fábregas David de Frutos-Escrig Miguel Palomino

Published in: CoRR (2024)

Keyphrases

expressive power
modal logic
inference rules
simulation study
epistemic logic
agent based simulations
data sets
case study
numerical simulations
mathematical analysis
conditional logic
simulation platform
proof theoretic