Amanote Research
Register
Sign In
Sequent Systems for Modal Logics
doi 10.1007/978-94-010-0387-2_2
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2002
Authors
Heinrich Wansing
Publisher
Springer Netherlands
Related search
Modal Logics and Topological Semantics for Hybrid Systems
Sequent Systems for Negative Modalities
Logica Universalis
Applied Mathematics
Logic
Modal Logics for Continuous Dynamics
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
