Duality for Modal -Logics

@inproceedings{Hartonas1998DualityFM,
  title={Duality for Modal -Logics},
  author={Chrysa s Hartonas},
  year={1998}
}
  • Chrysa s Hartonas
  • Published 1998
The modal-calculi are extensions of propositional modal logics with least and greatest xpoint operators. They have signiicant expressive power, being capable to encode properly temporal notions alien to standard modal systems. We focus here on Kozen's 20]-calculi, both nitary and innnitary. Based on an extension of the classical modal duality to the case of positive modal algebras that we present, we prove a Stone-type duality for positive modal-calculi which specializes to a duality for the… CONTINUE READING

References

Publications referenced by this paper.
Showing 1-10 of 29 references

Topology and duality in modal logic

Ann. Pure Appl. Logic • 1988
View 7 Excerpts
Highly Influenced

Lectures on Boolean Algebras

P. R. Halmos
D. Van Nostrand Company, INC, Toronto, 1967 • 1963
View 8 Excerpts
Highly Influenced

Varieties of Complex Algebras

Ann. Pure Appl. Logic • 1989
View 9 Excerpts
Highly Influenced

Modal Logics for Communicating Systems

Theor. Comput. Sci. • 1987
View 8 Excerpts
Highly Influenced

Results on the Propositional mu-Calculus

Theor. Comput. Sci. • 1983
View 9 Excerpts
Highly Influenced

Distributive Lattices with a Dual Homomorphic Operation I

A. Urquhart
II", Studia Logica 38 (1979), 201-209, and 40 • 1982
View 4 Excerpts
Highly Influenced

Metamathematics of Modal Logic I

R. I. Goldblatt
II", Reports on Mathematical Logic 6 (1976) 41-78 and 7 • 1976
View 11 Excerpts
Highly Influenced

Tarski, \Boolean Algebras with Operators I, II

A. B. J onsson
American Journal of Mathematics • 1951
View 6 Excerpts
Highly Influenced

Relevance logic and concurrent composition

[1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science • 1988
View 6 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…