Login / Signup
A semantical analysis of cut-free calculi for modal logics.
Mitio Takano
Published in:
Reports Math. Log. (2018)
Keyphrases
</>
modal logic
data analysis
cooperative
fuzzy logic
temporal logic