User loginNavigation |
Dynamic LogicDynamic Logic is a topic that I don't recall seeing on Ltu previously. I am quite intrigued by the way it merges action (ie side effects) into a more or less conventional logic. It is also interesting that this is core computer science going back to the 1970's, and there is a nice text book. Can anyone really say that there is some problem with action semantics? By Hank Thediek at 2009-03-05 14:28 | LtU Forum | previous forum topic | next forum topic | other blogs | 4219 reads
|
Browse archivesActive forum topics |
Recent comments
7 weeks 2 days ago
7 weeks 4 days ago
7 weeks 5 days ago
14 weeks 5 days ago
20 weeks 3 days ago
20 weeks 4 days ago
21 weeks 3 days ago
24 weeks 1 day ago
25 weeks 4 days ago
25 weeks 5 days ago