Hybrid languages
- 1 January 1995
- journal article
- research article
- Published by Springer Nature in Journal of Logic, Language and Information
- Vol. 4 (3) , 251-272
- https://doi.org/10.1007/bf01049415
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- Temporal logic with reference pointersPublished by Springer Nature ,2005
- On a decidable generalized quantifier logic corresponding to a decidable fragment of first-order logicJournal of Logic, Language and Information, 1995
- Tense, Temporal Reference, and Tense LogicJournal of Semantics, 1994
- Modal logic with namesJournal of Philosophical Logic, 1993
- Using the Universal Modality: Gains and QuestionsJournal of Logic and Computation, 1992
- Towards a general theory of action and timeArtificial Intelligence, 1984
- Correspondence TheoryPublished by Springer Nature ,1984
- Dynamic LogicPublished by Springer Nature ,1984
- An approach to tense logic1Theoria, 1970
- "Now"Noûs, 1968