Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Sergei N. Artemov
Modal Logics and Topological Semantics for Hybrid Systems
Related publications
Sequent Systems for Modal Logics
Axiomatic Systems and Topological Semantics for Intuitionistic Temporal Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Modal Logics for Continuous Dynamics
Interchange Format for Hybrid Systems: Abstract Semantics
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
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
Fuzzy Description Logics Under Gödel Semantics
International Journal of Approximate Reasoning
Applied Mathematics
Theoretical Computer Science
Artificial Intelligence
Software
