Sciweavers

711 search results - page 63 / 143
» Modal Logics are Coalgebraic
Sort
View
GG
2008
Springer
14 years 11 months ago
A Modal-Logic Based Graph Abstraction
Jörg Bauer, Iovka Boneva, Marcos E. Kurb&aacu...
FUIN
2007
65views more  FUIN 2007»
14 years 10 months ago
Modal Logics for Region-based Theories of Space
Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelo...
35
Voted
JACIII
2007
52views more  JACIII 2007»
14 years 10 months ago
Prior's Three-Valued Modal Logic Q and its Possible Applications
Seiki Akama, Yasunori Nagata
65
Voted
AMAI
2004
Springer
14 years 10 months ago
Programming Rational Agents in a Modal Action Logic
Matteo Baldoni, Alberto Martelli, Viviana Patti, L...