@article{16257cec32b7491db546e2ebc060928c,
title = "Axiomatizing Ja{\'s}kowski{\textquoteright}s Discussive Logic D2 ",
abstract = "We outline the rather complicated history of attempts at axiomatizing Ja{\'s}kowski{\textquoteright}s discussive logic D2 and show that some clarity can be had by paying close attention to the language we work with. We then examine the problem of axiomatizing D2 in languages involving discussive conjunctions. Specifically, we show that recent attempts by Ciuciura are mistaken. Finally, we present an axiomatization of D2 in the language Ja{\'s}kowski suggested in his second paper on discussive logic, by following a remark of da Costa and Dubikajtis. We also deal with an interesting variant of D2, introduced by Ciuciura, in which negation is also taken to be discussive.",
keywords = "Automated theorem proving, Counter model, Discursive logic, Discussive logic, Matrices, Modal logic",
author = "Hitoshi Omori and Jesse Alama",
note = "Funding Information: The first author was a Postdoctoral Fellow for Research Abroad of JSPS at the time of submission, and now a Postdoctoral Research Fellow of JSPS. The second author was supported by FWF Grant P25417-G15 (LOGFRADIG). We would like to thank the referees for their helpful comments and suggestions which substantially improved the paper. Presented by Heinrich Wansing Funding Information: Acknowledgements. The first author was a Postdoctoral Fellow for Research Abroad of JSPS at the time of submission, and now a Postdoctoral Research Fellow of JSPS. The second author was supported by FWF Grant P25417-G15 (LOGFRADIG). We would like to thank the referees for their helpful comments and suggestions which substantially improved the paper. Publisher Copyright: {\textcopyright} 2018, Springer Science+Business Media B.V., part of Springer Nature.",
year = "2018",
month = dec,
day = "1",
doi = "10.1007/s11225-017-9780-6",
language = "English",
volume = "106",
pages = "1163--1180",
journal = "Studia Logica",
issn = "0039-3215",
publisher = "Springer Netherlands",
number = "6",
}