6 search results - page 1 / 2 » jelia 1990 |
JELIA
1990
Springer
14 years 17 days ago
1990
Springer
JELIA
1990
Springer
14 years 17 days ago
1990
Springer
JELIA
1990
Springer
14 years 17 days ago
1990
Springer
JELIA
1990
Springer
14 years 17 days ago
1990
Springer
In Floyd-Hoare logic, programs are dynamic while assertions are static (hold at states). In action logic the two notions become one, with programs viewed as on-the-fly assertions ...
JELIA
1990
Springer
14 years 17 days ago
1990
Springer
General Epistemic Logics suffer from the problem of logical omniscience, which is that an agent's knowledge and beliefs are closed under implication. There have been many att...