Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Nicola Olivetti
Towards a Proof Theory of Gödel Modal Logics
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Countermodel Construction via Optimal Hypersequent Calculi for Non-Normal Modal Logics
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
A Finite Model Property for Gödel Modal Logics
Labelled Propositional Modal Logics: Theory and Practice
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Fuzzy Description Logics Under Gödel Semantics
International Journal of Approximate Reasoning
Applied Mathematics
Theoretical Computer Science
Artificial Intelligence
Software
Monadic Fragments of Gödel Logics: Decidability and Undecidability Results
Modal Logics of Reactive Frames
Cognitive Technologies
SAT in Monadic Gödel Logics: A Borderline Between Decidability and Undecidability
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Semantical Proof of Subformula Property for the Modal Logics K 4.3, KD 4.3, and S4.3
Bulletin of the Section of Logic
Philosophy
Logic
Translating Classical Probability Logics Into Modal Fuzzy Logics
Two-Layer Modal Logics: From Fuzzy Logics to a General Framework
