Sciweavers

2307 search results - page 180 / 462
» Dynamic Fuzzy Logic
Sort
View
JAR
2008
107views more  JAR 2008»
15 years 4 months ago
Differential Dynamic Logic for Hybrid Systems
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equat...
André Platzer
CSL
2010
Springer
15 years 6 months ago
Quantified Differential Dynamic Logic for Distributed Hybrid Systems
Abstract. We address a fundamental mismatch between the combinations of dynamics that occur in complex physical systems and the limited kinds of dynamics supported in analysis. Mod...
André Platzer
146
Voted
CLIMA
2011
14 years 4 months ago
A Dynamic Logic of Institutional Actions
We propose a logical framework to represent and reason about some important aspects of a theory of institutional action: (1) the distinctions between physical facts and actions and...
Andreas Herzig, Emiliano Lorini, Nicolas Troquard
LORI
2009
Springer
15 years 11 months ago
Dynamic Testimonial Logic
We propose a dynamic testimonial logic (DTL) to model communication and belief change among agents with different dispositions to trust each other as information sources. DTL is ...
Wesley H. Holliday
KI
2010
Springer
14 years 11 months ago
Differential Dynamic Logics
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equa...
André Platzer