Correspondence, Canonicity, and Model Theory for Monotonic Modal Logics.

Kentarô Yamamoto

Published in: Stud Logica (2021)

Keyphrases

theoretical framework
formal model
mathematical model
computational model
modal logic
high level
probabilistic model
theoretical foundation
mathematical models
inference rules