Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jennifer M. Davoren
Modal Logics for Continuous Dynamics
Modal Logics and Topological Semantics for Hybrid Systems
Related publications
Sequent Systems for Modal Logics
Modal Logics for Qualitative Spatial Reasoning
Logic Journal of the IGPL
Philosophy
Translating Classical Probability Logics Into Modal Fuzzy Logics
First-Order Resolution Methods for Modal Logics
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Modal Logics of Reactive Frames
Cognitive Technologies
A Finite Model Property for Gödel Modal Logics
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
Two-Layer Modal Logics: From Fuzzy Logics to a General Framework