Login / Signup
An extension of Jónsson-Tarski representation and model existence in predicate non-normal modal logics.
Yoshihito Tanaka
Published in:
Math. Log. Q. (2022)
Keyphrases
</>
computational model
modal logic
probabilistic model
objective function
probability distribution
inference rules
high level
mathematical model