An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics

Studia Logica 48 (2):141 - 155 (1989)
  Copy   BIBTEX

Abstract

Modal counterparts of intermediate predicate logics will be studied by means of algebraic devise. Our main tool will be a construction of algebraic semantics for modal logics from algebraic frames for predicate logics. Uncountably many examples of modal counterparts of intermediate predicate logics will be given.

Links

PhilArchive



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

External links

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

Through your library

Analytics

Added to PP
2009-01-28

Downloads
25 (#560,650)

6 months
2 (#785,137)

Historical graph of downloads
How can I increase my downloads?

References found in this work

An algebraic approach to non-classical logics.Helena Rasiowa - 1974 - Warszawa,: PWN - Polish Scientific Publishers.
MIPC as the formalisation of an intuitionist concept of modality.R. A. Bull - 1966 - Journal of Symbolic Logic 31 (4):609-616.
On some intuitionistic modal logics.Hiroakira Ono - 1977 - Bulletin of the Section of Logic 6 (4):182-184.
Modality and possibility in some intuitionistic modal logics.Josep M. Font - 1986 - Notre Dame Journal of Formal Logic 27 (4):533-546.

View all 6 references / Add more references