Progress, Justness and Fairness in Modal μ-Calculus Formulae.

Myrthe S. C. Spronck Bas Luttik Tim A. C. Willemse

Published in: CoRR (2024)

Keyphrases

modal logic
resource allocation
transition systems
game theory
data sets
natural deduction
computer algebra
information systems
nonmonotonic logics
algebraic structure
provably correct