Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jonas Rogger
A Finite Model Property for Gödel Modal Logics
Related publications
Towards a Proof Theory of Gödel Modal Logics
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Multi-Valued Modal Fixed Point Logics for Model Checking
IEICE Transactions on Information and Systems
Electronic Engineering
Pattern Recognition
Hardware
Computer Vision
Electrical
Architecture
Artificial Intelligence
Software
Fuzzy Description Logics Under Gödel Semantics
International Journal of Approximate Reasoning
Applied Mathematics
Theoretical Computer Science
Artificial Intelligence
Software
Modal Logics for Continuous Dynamics
Sequent Systems for Modal Logics
A Finite Model Construction for Coalgebraic Modal Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Modal Logics for Qualitative Spatial Reasoning
Logic Journal of the IGPL
Philosophy
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
Monadic Fragments of Gödel Logics: Decidability and Undecidability Results
