A Logic for robotics?

This paper introduces HHL, a hierarchical variant of hybrid logic. First-order correspondence and a Hennessy-Milner like theorem relating (hierarchical) bisimulation and logical equivalence for HHLare presented. Combining hierarchical transition structures with the ability to refer to specific state...

Full description

Bibliographic Details
Main Author: Madeira, Alexandre (author)
Other Authors: Neves, Renato (author), Martins, Manuel A. (author), Barbosa, L. S. (author)
Format: conferencePaper
Language:eng
Published: 2015
Subjects:
Logic in computer science
Dynamic logic
Robotics
Science & Technology
Online Access:http://hdl.handle.net/1822/37963
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/37963

Internet

http://hdl.handle.net/1822/37963

Similar Items