Sign in
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