Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL
Attributed to:
Consequence Relations in Logics of AI
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-540-69407-6_4
Publication URI: http://dx.doi.org/10.1007/978-3-540-69407-6_4
Type: Book Chapter
Book Title: Logic and Theory of Algorithms (2008)
Page Reference: 32-41
ISBN: 978-3-540-69405-2