Expressive functional completeness in tense logic (preliminary report)

In U. Mönnich (ed.), Aspects of Philosophical Logic. Dordrecht. pp. 91--117 (1981)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,164

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Completeness and decidability of tense logics closely related to logics above K.Frank Wolter - 1997 - Journal of Symbolic Logic 62 (1):131-158.
A note on generalized functional completeness in the realm of elementrary logic.Henri Galinon - 2009 - Bulletin of the Section of Logic 38 (1/2):1-9.
Properties of Tense Logics.Frank Wolter - 1996 - Mathematical Logic Quarterly 42 (1):481-500.
Fibring non-truth-functional logics: Completeness preservation.C. Caleiro, W. A. Carnielli, M. E. Coniglio, A. Sernadas & C. Sernadas - 2003 - Journal of Logic, Language and Information 12 (2):183-211.
‘Now’ and ‘Then’ in Tense Logic.Ulrich Meyer - 2009 - Journal of Philosophical Logic 38 (2):229-247.
Predicate Metric Tense Logic for 'Now' and 'Then'.M. J. Cresswell - 2013 - Journal of Philosophical Logic 42 (1):1-24.
Combinations of tense and modality for predicate logic.Stefan Wölfl - 1999 - Journal of Philosophical Logic 28 (4):371-398.
Expressive completeness of temporal logic of trees.Bernd-Holger Schlingloff - 1992 - Journal of Applied Non-Classical Logics 2 (2):157-180.
T × W Completeness.Franz von Kutschera - 1997 - Journal of Philosophical Logic 26 (3):241-250.
Tense Logic Without Tense Operators.Frank Wolter - 1996 - Mathematical Logic Quarterly 42 (1):145-171.
Expressive completeness of modal logic on binary ramified frames.Bernhard Heinemann - 1996 - Journal of Applied Non-Classical Logics 6 (4):347-367.

Analytics

Added to PP
2014-01-26

Downloads
35 (#431,398)

6 months
5 (#526,961)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Dov Gabbay
Hebrew University of Jerusalem

Citations of this work

Multi-dimensional modal logic.Maarten Marx - 1997 - Boston, Mass.: Kluwer Academic Publishers. Edited by Yde Venema.
Hierarchies of modal and temporal logics with reference pointers.Valentin Goranko - 1996 - Journal of Logic, Language and Information 5 (1):1-24.
Essays in Formal Metaphysics.Daniel Rubio - 2019 - Dissertation, Rutgers - New Brunswick

View all 17 citations / Add more citations

References found in this work

No references found.

Add more references