PL EN


Preferences help
enabled [disable] Abstract
Number of results
2012 | 47 |
Article title

Relational and Neighborhood Semantics for Intuitionistic Modal Logic

Authors
Content
Title variants
Languages of publication
PL
Abstracts
PL
We investigate semantics for an intuitionistic modal logic in which the “possibility” modality does not distribute over disjunction. In particular, the main aim of this paper is to study such intuitionistic modal logic as a variant of classical non-normal modal logic. We first give a neighborhood semantics together with a sound and complete axiomatization. Next, we study relationships between our approach and the relational (Kripke-style) semantics considered in the literature. It is shown that a relational model can be represented as a neighborhood model, and the converse direction holds under a slight restriction. Also, by considering degenerate cases of neighborhood and relational semantics, we demonstrate that a certain classical monotone modal logic has relational semantics, and can be embedded into a classical normal bimodal logic.
Keywords
PL
 
Publisher
Year
Volume
47
Physical description
Dates
published
2012
online
07 - 07 - 2015
Contributors
References
Document Type
Publication order reference
Identifiers
YADDA identifier
bwmeta1.element.ojs-issn-2084-2589-year-2012-volume-47-article-2897
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.