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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,423

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 a Generalization of Heyting Algebras I.Amirhossein Akbar Tabatabai, Majid Alizadeh & Masoud Memarzadeh - forthcoming - Studia Logica:1-45.
On The Number Of Quasi-modal Algebras.Jacek Malinowski - 1985 - Bulletin of the Section of Logic 14 (3):99-101.
An Algebraic Study of S5-Modal Gödel Logic.Diego Castaño, Cecilia Cimadamore, José Patricio Díaz Varela & Laura Rueda - 2021 - Studia Logica 109 (5):937-967.
Symmetrical Heyting algebras with a finite order type of operators.Luisa Iturrioz - 1995 - Studia Logica 55 (1):89 - 98.

Analytics

Added to PP
2017-02-17

Downloads
1 (#1,946,798)

6 months
1 (#1,892,267)

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