“Hamblin’s axiom”的概念、定义、翻译、参考文献-科学参考

Hamblin’s axiom

Logic

In tense logic with operators $H$ (‘it has always been the case that…’) and $F$ (‘it will be the case that…’), the axiom scheme:
- • $(φ \land H φ) \to F H φ$
Hamblin’s axiom corresponds to the discreteness of time, that is, for any moment $t$ , there exists a future moment $t^{'}$ such that only $t$ and its predecessors come before $t^{'}$ . Hamblin’s axiom is named for philosopher C. L. Hamblin (1922–1985), whose work influenced the early development of tense logic.

单词	Hamblin’s axiom
释义	Hamblin’s axiom Logic In tense logic with operators $H$ (‘it has always been the case that…’) and $F$ (‘it will be the case that…’), the axiom scheme: • $(φ \land H φ) \to F H φ$ Hamblin’s axiom corresponds to the discreteness of time, that is, for any moment $t$ , there exists a future moment $t^{'}$ such that only $t$ and its predecessors come before $t^{'}$ . Hamblin’s axiom is named for philosopher C. L. Hamblin (1922–1985), whose work influenced the early development of tense logic.
随便看	particle system particle velocity particular integral particularism particular quantifier particulars particular solution particulate fluidization particulate inheritance particulate matter particulates parting parting agent parting lineation Parti Québécois Partition partition partition coefficient partition-exchange sort partition function partition noise partition(of an interval) partition(of a number) partition(of a set) partnership