Negative Translations and Normal Modality (bibtex)
by Tadeusz Litak, Miriam Polzer, Ulrich Rabenstein
Reference:
Negative Translations and Normal Modality (Tadeusz Litak, Miriam Polzer, Ulrich Rabenstein), In 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017) (Dale Miller, ed.), Leibniz International Proceedings in Informatics (LIPIcs), vol. 84, pp. 27:1–27:18, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2017. ( [Local copy] )
Bibtex Entry:
@inproceedings{LitakPR17,
  author =	{Tadeusz Litak and Miriam Polzer and Ulrich Rabenstein},
  title =	{{Negative Translations and Normal Modality}},
  booktitle =	{2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017)},
  pages =	{27:1--27:18},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-047-7},
  ISSN =	{1868-8969},
  year =	{2017},
  volume =	{84},
  editor =	{Dale Miller},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2017/7741},
  URN =		{urn:nbn:de:0030-drops-77412},
  doi =		{10.4230/LIPIcs.FSCD.2017.27},
  annote =	{Keywords: negative translations, intuitionistic modal logic, normal modality, double negation},
  note = { <a href = "https://www8.cs.fau.de/_media/litak:dnegfscd2017final.pdf"> [Local copy] </a> }
}
Powered by bibtexbrowser