Finite Model Property of Pretransitive Modal Logic.

Zhe Lin Minghui Ma

Published in: CoRR (2018)

Keyphrases

modal logic
probabilistic model
computational model
management system
objective function