Many-valued coalgebraic modal logic: One-step completeness and finite model property.

Chun-Yu Lin Churn-Jung Liau

Published in: Fuzzy Sets Syst. (2023)

Keyphrases

modal logic
computational model
probabilistic model
high level
temporal logic
probability distribution
similarity measure
objective function
domain knowledge