Modal Logics and Topological Semantics for Hybrid Systems

doi 10.21236/ada344355
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Defense Technical Information Center

Related search

Sequent Systems for Modal Logics

2002English

Axiomatic Systems and Topological Semantics for Intuitionistic Temporal Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Modal Logics for Continuous Dynamics

1997English

Interchange Format for Hybrid Systems: Abstract Semantics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Modal Logics for Qualitative Spatial Reasoning

Logic Journal of the IGPL
Philosophy
1996English

Translating Classical Probability Logics Into Modal Fuzzy Logics

2019English

First-Order Resolution Methods for Modal Logics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Modal Logics of Reactive Frames

Cognitive Technologies
2013English

Fuzzy Description Logics Under Gödel Semantics

International Journal of Approximate Reasoning
Applied MathematicsTheoretical Computer ScienceArtificial IntelligenceSoftware
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy