Semantical Interpretations of the Temporal Logic Systems CL and Kb with the Gaps of Traditional Truth-values
Open Access
- 21 April 2020
- journal article
- research article
- Published by Vilnius University Press in Problemos
- Vol. 97, 132-149
- https://doi.org/10.15388/problemos.97.11
Abstract
A peer-reviewed journal of philosophy founded in 1968 that publishes research articles, book reviews and an academic chronicle. Indexed in the Scopus database from 2002 and in the Web of Science database from 2005.Keywords
This publication has 15 references indexed in Scilit:
- The Metaphysics of the Thin Red LinePublished by Springer Science and Business Media LLC ,2012
- Determinism, the Open Future and Branching TimePublished by Springer Science and Business Media LLC ,2012
- Three-Valued Temporal Logic Q t and Future ContingentsStudia Logica, 2008
- Future Contingents and Relative TruthThe Philosophical Quarterly, 2003
- Double Time References: Speech-act Reports as Modalities in an Indeterminist SettingPublished by World Scientific Pub Co Pte Ltd ,2002
- Øhrstrøm Peter and Hasle Per F. V.. Temporal logic. From ancient ideas to artificial intelligence. Studies in linguistics and philosophy, vol. 57. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1995, viii + 413 pp.The Journal of Symbolic Logic, 1997
- Indeterminist time and truth‐value gaps1Theoria, 1970
- Presupposition, Implication, and Self-ReferenceThe Journal of Philosophy, 1968
- Semantical Analysis of Modal Logic I Normal Modal Propositional CalculiMathematical Logic Quarterly, 1963
- A completeness theorem in modal logicThe Journal of Symbolic Logic, 1959