Sentence examples for based on tense logic from inspiring English sources
These languages are based on tense logic, which permits statements to be located in the flow of time.
Scott's work on tense logic was one aspect of his study of the semantics of natural language, which he pursued in close collaboration with Richard Montague.
Four days later Prior himself addressed the Society, again on tense logic.
Also in 1962, Scott gave a lecture on tense logic in Amsterdam.
On Mondays during Hilary and Trinity terms Prior lectured on modal logic, his great passion, and on tense logic, his great invention.
Kamp attended Prior's lectures on tense logic in his first semester and became deeply interested in the subject.
These lectures led more or less directly to the topic of Kamp's Ph.D. thesis, written under Montague's supervision and entitled 'On Tense Logic and the Theory of Order' (1968).
It is well-known that intuitionistic propositional logic can be faithfully embedded into the normal modal logic S4, which, like K, is based on classical propositional logic (cf. the entries logic: intuitionistic and logic: modal).
Based on this logic, I propose an additional layer of taxes on newspaper editors.
