{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,5]],"date-time":"2024-06-05T02:40:24Z","timestamp":1717555224991},"reference-count":25,"publisher":"MDPI AG","issue":"2","license":[{"start":{"date-parts":[[2016,5,26]],"date-time":"2016-05-26T00:00:00Z","timestamp":1464220800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100004442","name":"National Science Centre, Poland","doi-asserted-by":"publisher","award":["DEC-2012\/04\/A\/HSI\/00715"],"id":[{"id":"10.13039\/501100004442","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Axioms"],"abstract":"An axiomatic system for question evocation in Classical Propositional Logic is proposed. Soundness and completeness of the system are proven.<\/jats:p>","DOI":"10.3390\/axioms5020014","type":"journal-article","created":{"date-parts":[[2016,5,26]],"date-time":"2016-05-26T16:13:20Z","timestamp":1464279200000},"page":"14","source":"Crossref","is-referenced-by-count":2,"title":["An Axiomatic Account of Question Evocation: The Propositional Case"],"prefix":"10.3390","volume":"5","author":[{"given":"Andrzej","family":"Wi\u015bniewski","sequence":"first","affiliation":[{"name":"Department of Logic and Cognitive Science, Institute of Psychology, Adam Mickiewicz University, Pozna\u0144 60-568, Poland"}]}],"member":"1968","published-online":{"date-parts":[[2016,5,26]]},"reference":[{"key":"ref_1","doi-asserted-by":"crossref","unstructured":"Wi\u015bniewski, A. (1995). The Posing of Questions: Logical Foundations of Erotetic Inferences, Kluwer.","DOI":"10.1007\/978-94-015-8406-7"},{"key":"ref_2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00413820","article-title":"The logic of questions as a theory of erotetic arguments","volume":"109","year":"1996","journal-title":"Synthese"},{"key":"ref_3","unstructured":"Wi\u015bniewski, A. (2013). Questions, Inferences, and Scenarios, College Publications."},{"key":"ref_4","unstructured":"Hintikka, J. (1995). Inquiry as Inquiry: A Logic of Scientific Discovery, Kluwer."},{"key":"ref_5","doi-asserted-by":"crossref","unstructured":"Hintikka, J. (2007). Socratic Epistemology: Explorations of Knowledge-Seeking by Questioning, Cambridge University Press.","DOI":"10.1017\/CBO9780511619298"},{"key":"ref_6","unstructured":"Gabbay, D., Johnson, R., Ohlbach, H., and Woods, J. (2002). Handbook of the Logic of Argument and Inference, North-Holland."},{"key":"ref_7","first-page":"174","article-title":"Erotetic implications","volume":"23","year":"1994","journal-title":"J. Philos. Log."},{"key":"ref_8","first-page":"241","article-title":"A system for proper multiple-conclusion entailment","volume":"24","author":"Skura","year":"2015","journal-title":"Log. Log. Philos."},{"key":"ref_9","doi-asserted-by":"crossref","unstructured":"Sintonen, M. (1997). Knowledge and Inquiry: Essays on Jaakko Hintikka\u2019s Epistemology and Philosophy of Science, Rodopi.","DOI":"10.1163\/9789004457508"},{"key":"ref_10","first-page":"295","article-title":"Erotetic search scenarios","volume":"134","year":"2003","journal-title":"Synthese"},{"key":"ref_11","unstructured":"Auxier, R.E., and Hahn, L.E. (2006). The Philosophy of Jaakko Hintikka, Open Court."},{"key":"ref_12","doi-asserted-by":"crossref","first-page":"1585","DOI":"10.1007\/s11229-013-0355-4","article-title":"Inferential erotetic logic meets inquisitive semantics","volume":"192","year":"2015","journal-title":"Synthese"},{"key":"ref_13","first-page":"1","article-title":"The logic of questions","volume":"Volume 8","author":"Gabbay","year":"2002","journal-title":"Handbook of Philosophical Logic, Second Edition"},{"key":"ref_14","doi-asserted-by":"crossref","first-page":"1187","DOI":"10.1093\/logcom\/exq014","article-title":"Interrogatives, recursion, and incompleteness","volume":"20","author":"Pogonowski","year":"2010","journal-title":"J. Log. Comput."},{"key":"ref_15","first-page":"194a","article-title":"Analiza semantyczna zdania pytajnego","volume":"10","author":"Ajdukiewicz","year":"1926","journal-title":"Ruch Filoz."},{"key":"ref_16","unstructured":"Wi\u015bniewski, A., and Zygmunt, J. (1997). Erotetic Logic, Deontic Logic, and Other Logical Matters. Essays in Memory of Tadeusz Kubi\u0144ski, Wydawnictwo Uniwersytetu Wroc\u0142awskiego."},{"key":"ref_17","unstructured":"Kubi\u0144ski, T. (1971). Wst\u0229p do logicznej teorii pyta\u0144, Pa\u0144stwowe Wydawnictwo Naukowe."},{"key":"ref_18","doi-asserted-by":"crossref","unstructured":"Kubi\u0144ski, T. (1980). An Outline of the Logical Theory of Questions, Akademie-Verlag.","DOI":"10.1515\/9783112699928"},{"key":"ref_19","unstructured":"van Benthem, J., and ter Meulen, A. (2011). Handbook of Logic and Language, Elsevier. [2nd ed.]."},{"key":"ref_20","doi-asserted-by":"crossref","unstructured":"Lappin, S., and Fox, C. (2015). The Handbook of Contemporary Semantic Theory, Wiley-Blackwell. [2nd ed.].","DOI":"10.1002\/9781118882139"},{"key":"ref_21","doi-asserted-by":"crossref","unstructured":"Smullyan, R. (1968). First-order Logic, Springer.","DOI":"10.1007\/978-3-642-86718-7"},{"key":"ref_22","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1023\/B:LOGI.0000031374.60945.6e","article-title":"Socratic proofs","volume":"33","year":"2004","journal-title":"J. Philos. Log."},{"key":"ref_23","first-page":"151","article-title":"A loop-free decision procedure for modal propositional logics K4, S4 and S5","volume":"24","year":"2009","journal-title":"J. Philos. Log."},{"key":"ref_24","doi-asserted-by":"crossref","first-page":"959","DOI":"10.1007\/s11225-012-9404-0","article-title":"Socratic trees","volume":"101","year":"2013","journal-title":"Stud. Log."},{"key":"ref_25","doi-asserted-by":"crossref","first-page":"1245","DOI":"10.1007\/s11225-015-9617-0","article-title":"Dual erotetic calculi and the minimal LFI","volume":"103","author":"Chlebowski","year":"2015","journal-title":"Stud. Log."}],"container-title":["Axioms"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/2075-1680\/5\/2\/14\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,5]],"date-time":"2024-06-05T02:03:56Z","timestamp":1717553036000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/2075-1680\/5\/2\/14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5,26]]},"references-count":25,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2016,6]]}},"alternative-id":["axioms5020014"],"URL":"https:\/\/doi.org\/10.3390\/axioms5020014","relation":{},"ISSN":["2075-1680"],"issn-type":[{"value":"2075-1680","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,5,26]]}}}