JELIA
1990
Springer
14 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 ...
JELIA
1990
Springer
14 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...
JELIA
1990
Springer
14 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...
JELIA
1990
Springer
14 years 3 months ago
1990
Springer
JELIA
1990
Springer
14 years 3 months ago
1990
Springer
JELIA
1990
Springer
14 years 3 months ago
1990
Springer
