著者

佐野 勝彦 中山 康雄

出版者

科学基礎論学会

雑誌

科学基礎論研究 (ISSN:00227668)

巻号頁・発行日

vol.34, no.1, pp.1-10, 2007-03-25 (Released:2009-07-31)

参考文献数

12

被引用文献数

1 1

---

This paper proposes a bimodal logic with an additional modality (called the irreflexive modality), which corresponds semantically to the intersection of the accessibility relation and the inequality. First, we show that we can define, within this framework, several properties that are undefinable in the unimodal language; irreflexivity is one of such properties. Second, with respect to the frame expressivity, we compare our language with the unimodal language and another bimodal language with the difference operator that is studied by de Rijke. Finally, we give a Hilbert-style axiomatization of our logic and prove that certain familiar modal systems, such as S4 and S5, enjoy Kripke completeness in our language.

著者

佐野 勝彦

出版者

日本数学会

雑誌

数学通信 (ISSN:13421387)

巻号頁・発行日

vol.21, no.2, pp.79-82, 2016-08

著者

佐野 勝彦 入江 一成 太田 紀久 森崎 正人 辻 久雄

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会総合大会講演論文集

巻号頁・発行日

vol.1996, no.2, 1996-03-11

---

筆者等は、一般家庭にLAN接続のためのインタフェースを提供し、予め登録されたユーザ間でお互いにPCを利用したコネクションレス通信を行える環境を実現する地域情報ネットワークシステムの開発を進めてきた。今回、本システムに適用するローエンドカードを試作したので報告する。