Temporal Algebras, Pretemporal Algebras, and Modal Algebras: A Relation between Time and Necessity

&
Mathematical Logic Quarterly 41 (1):24-38 (1995)
  Copy   BIBTEX

Abstract

In this paper the structure of pretemporal algebra is used to study some aspects of temporal algebras and modal algebras. The paper contains a computational approach to finite temporal algebras and a general splitting theorem for finite temporal algebras.

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19950410104

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,296

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

Temporal Algebras, Pretemporal Algebras, and Modal Algebras: A Relation between Time and Necessity.Francisco M. García Olmedo & Antonio J. Rodríguez Salas - 1995 - Mathematical Logic Quarterly 41 (1):24-38.
A Structure Theorem for Free Temporal Algebras.Francisco M. García Olmedo & Antonio J. Rodríguez Salas - 1995 - Mathematical Logic Quarterly 41 (2):249-256.
A Structure Theorem For Free Temporal Algebras.Francisco García Olmedo & Antonio J. Rodríguez Salas - 1995 - Mathematical Logic Quarterly 41 (2):249-256.
Modal Tarski algebras.S. Celani - 2005 - Reports on Mathematical Logic:113-126.
Pseudomonadic Algebras as Algebraic Models of Doxastic Modal Logic.Nick Bezhanishvili - 2002 - Mathematical Logic Quarterly 48 (4):624-636.
Heyting Algebras with Operators.Yasusi Hasimoto - 2001 - Mathematical Logic Quarterly 47 (2):187-196.
On The Number Of Quasi-modal Algebras.Jacek Malinowski - 1985 - Bulletin of the Section of Logic 14 (3):99-101.
Symmetrical Heyting algebras with a finite order type of operators.Luisa Iturrioz - 1995 - Studia Logica 55 (1):89 - 98.
On a Generalization of Heyting Algebras I.Amirhossein Akbar Tabatabai, Majid Alizadeh & Masoud Memarzadeh - forthcoming - Studia Logica:1-45.
Varieties of positive modal algebras and structural completeness.Tommaso Moraschini - 2019 - Review of Symbolic Logic 12 (3):557-588.

Analytics

Added to PP
2017-02-17

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references