Sign in
On the Finite Model Property of Non-normal Modal Logics.
Yu Peng
Yiheng Wang
Published in:
LORI (2023)
Keyphrases
</>
modal logic
high level
data management
mathematical model