446 search results - page 7 / 90 » Modal Logics for Timed Control |
105
Voted
CHARME
2005
Springer
15 years 8 months ago
2005
Springer
Timing diagrams are useful for capturing temporal specifications in which all mentioned events are required to occur. We first show that translating timing diagrams with both par...
117
Voted
LPAR
2010
Springer
15 years 20 days ago
2010
Springer
Abstract. Recently, graded modalities have been added to the semantics of two of the logics most commonly used by the computer science community:
118
Voted
FLAIRS
2008
15 years 5 months ago
2008
We develop a formal system dealing `spatially' with certain aspects of uniformity and control during knowledge acquisition. To this end, we study an appropriate modality, whi...
112
Voted
DAGSTUHL
2007
15 years 4 months ago
2007
Abstract. While some recent frameworks on cognitive agents addressed the combination of mental attitudes with deontic concepts, they commonly ignore the representation of time. An ...
147
Voted
TABLEAUX
2009
Springer
15 years 9 months ago
2009
Springer
We present a terminating tableau calculus for graded hybrid logic with global modalities, reflexivity, transitivity and role hierarchies. Termination of the system is achieved thr...