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

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

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.

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,694

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
18 (#613,883)

6 months
1 (#388,319)

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 - Amsterdam, Netherlands: 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.
Modality and Possibility in Some Intuitionistic Modal Logics.Josep M. Font - 1986 - Notre Dame Journal of Formal Logic 27 (4):533-546.
An Algebraic Approach to Non-Classical Logics.Anne Preller - 1977 - Journal of Symbolic Logic 42 (3):432-432.

View all 6 references / Add more references