論文

査読有り
2012年

RELATIONAL AND NEIGHBORHOOD SEMANTICS FOR INTUITIONISTIC MODAL LOGIC

REPORTS ON MATHEMATICAL LOGIC
  • Kensuke Kojima

47
開始ページ
87
終了ページ
113
記述言語
英語
掲載種別
研究論文(学術雑誌)
出版者・発行元
JAGIELLONIAN UNIV, INST ENVIRONMENTAL SCIENCES

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.

リンク情報
Web of Science
https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=JSTA_CEL&SrcApp=J_Gate_JST&DestLinkType=FullRecord&KeyUT=WOS:000321226400004&DestApp=WOS_CPL
URL
http://www.iphils.uj.edu.pl/rml/rml-47/cont-47.htm
ID情報
  • ISSN : 0137-2904
  • Web of Science ID : WOS:000321226400004

エクスポート
BibTeX RIS