72
Voted
JELIA
1990
Springer
15 years 3 months 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 ...
93
Voted
JELIA
1990
Springer
15 years 3 months ago
1990
Springer
Traditional accounts of the semantic interpretation of quantified phrases and its interaction with reference and ellipsis have relied on formal manipulations of logical forms (qua...
82
Voted
JELIA
1990
Springer
15 years 3 months 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...
61
Voted
JELIA
1990
Springer
15 years 3 months ago
1990
Springer
67
Voted
JELIA
1990
Springer
15 years 3 months ago
1990
Springer
64
Voted
JELIA
1990
Springer
15 years 3 months ago
1990
Springer
