A Method of Generating Modal Logics Defining Jaśkowski’s Discussive Logic D2

@article{Nasieniewski2011AMO,
  title={A Method of Generating Modal Logics Defining Jaśkowski’s Discussive Logic D2},
  author={M. Nasieniewski and A. Pietruszczak},
  journal={Studia Logica},
  year={2011},
  volume={97},
  pages={161-182}
}
Jaśkowski’s discussive logic D2 was formulated with the help of the modal logic S5 as follows (see [7, 8]): $${A \in {D_{2}}}$$ iff $${\ulcorner\diamond{{A}^{\bullet}}\urcorner \in {\rm S}5}$$, where (–)• is a translation of discussive formulae from Ford into the modal language. We say that a modal logic L defines D2 iff $${{\rm D}_{2} = \{A \in {\rm For^{\rm d}} : \ulcorner\diamond{{A}^{\bullet}}\urcorner \in {\it L}\}}$$. In [14] and [10] were respectively presented the weakest normal and the… Expand

References

SHOWING 1-10 OF 20 REFERENCES
THE WEAKEST REGULAR MODAL LOGIC DEFINING JALOGIC D2
Modal Logic - An Introduction
Basic Modal Logic
A comparison of two approaches to parainconsistency: Flemish and Polish
On M-fragments and L-fragments of normal modal propositional logics
  • Reports on Mathematical Logic
  • 1975
Pietruszczak, ‘Semantics for regular logics connected with Jaśkowski’s discussive logic D2
  • Bulletin of the Section of Logic
  • 2009
...
1
2
...