@article{Puncochar:12,
	author = {Pun{\v{c}}och{\'a}{\v{r}}, V{\'\i}t},
	journal = {Studia Logica},
	keywords = {inquisitive logic},
	number = {3},
	pages = {517--543},
	publisher = {Springer},
	title = {Some modifications of Carnap's modal logic},
	abstract={In this paper, Carnap’s modal logic C is reconstructed. It is shown that the Carnapian approach enables us to create some epistemic logics in a relatively straight-forward way. These epistemic modifications of C are axiomatized and one of them is compared with intuitionistic logic. At the end of the paper, some connections between this epistemic logic and Medvedev’s logic of finite problems and inquisitive semantics are shortly discussed.},
	volume = {100},
	year = {2012}}

{"_id":"4zBcyjKMEbFmiiNNA","bibbaseid":"punoch-somemodificationsofcarnapsmodallogic-2012","author_short":["Punčochář, V."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Punčochář"],"firstnames":["Vı́t"],"suffixes":[]}],"journal":"Studia Logica","keywords":"inquisitive logic","number":"3","pages":"517–543","publisher":"Springer","title":"Some modifications of Carnap's modal logic","abstract":"In this paper, Carnap’s modal logic C is reconstructed. It is shown that the Carnapian approach enables us to create some epistemic logics in a relatively straight-forward way. These epistemic modifications of C are axiomatized and one of them is compared with intuitionistic logic. At the end of the paper, some connections between this epistemic logic and Medvedev’s logic of finite problems and inquisitive semantics are shortly discussed.","volume":"100","year":"2012","bibtex":"@article{Puncochar:12,\n\tauthor = {Pun{\\v{c}}och{\\'a}{\\v{r}}, V{\\'\\i}t},\n\tjournal = {Studia Logica},\n\tkeywords = {inquisitive logic},\n\tnumber = {3},\n\tpages = {517--543},\n\tpublisher = {Springer},\n\ttitle = {Some modifications of Carnap's modal logic},\n\tabstract={In this paper, Carnap’s modal logic C is reconstructed. It is shown that the Carnapian approach enables us to create some epistemic logics in a relatively straight-forward way. These epistemic modifications of C are axiomatized and one of them is compared with intuitionistic logic. At the end of the paper, some connections between this epistemic logic and Medvedev’s logic of finite problems and inquisitive semantics are shortly discussed.},\n\tvolume = {100},\n\tyear = {2012}}\n\n\n","author_short":["Punčochář, V."],"key":"Puncochar:12","id":"Puncochar:12","bibbaseid":"punoch-somemodificationsofcarnapsmodallogic-2012","role":"author","urls":{},"keyword":["inquisitive logic"],"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://projects.illc.uva.nl/inquisitivesemantics/assets/files/papers.bib","dataSources":["LaLDs2mrYhQpgH6Lk"],"keywords":["inquisitive logic"],"search_terms":["modifications","carnap","modal","logic","punčochář"],"title":"Some modifications of Carnap's modal logic","year":2012}