@inproceedings{Sano:20,
	address = {London},
	author = {Katsuhiko Sano},
	booktitle = {Advances in Modal Logic (AiML)},
	editor = {Nicola Olivetti and Rineke Verbrugge and Sara Negri and Gabriel Sandu},
	publisher = {College Publications},
	title = {Goldblatt-Thomason-style Characterization for Intuitionistic Inquisitive Logic},
	volume = {13},
	pages = {541-560},
	abstract={The purpose of this paper is to investigate a possible characterization of frame definability of intuitionistic inquisitive logic by Ciardelli et al. (2020) in terms of frame
constructions such as generated subframes and bounded morphic images. Sano and
Virtema (2015, 2019) provided a Goldblatt-Thomason-style characterization for (extended) modal dependence logic with the help of a normal form result for the logic.
A key ingredient of establishing the characterization was to show that the ordinary
modal logic expanded with positive occurrences of the universal modality and extended modal dependence logic have the same definability over Kripke models. This
paper first reviews Goldblatt-Thomason-style characterization for intuitionistic logic
from Rodenburg (1986)’s work on intuitionistic correspondence theory. Then we
employ a similar strategy to Sano and Virtema (2015, 2019) and provide a GoldblattThomason-style characterization for intuitionistic inquisitive logic.},
	keywords={inquisitive logic},
	year = {2020}}

{"_id":"g8DeCYyhyFtiBjqvJ","bibbaseid":"sano-goldblattthomasonstylecharacterizationforintuitionisticinquisitivelogic-2020","author_short":["Sano, K."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"London","author":[{"firstnames":["Katsuhiko"],"propositions":[],"lastnames":["Sano"],"suffixes":[]}],"booktitle":"Advances in Modal Logic (AiML)","editor":[{"firstnames":["Nicola"],"propositions":[],"lastnames":["Olivetti"],"suffixes":[]},{"firstnames":["Rineke"],"propositions":[],"lastnames":["Verbrugge"],"suffixes":[]},{"firstnames":["Sara"],"propositions":[],"lastnames":["Negri"],"suffixes":[]},{"firstnames":["Gabriel"],"propositions":[],"lastnames":["Sandu"],"suffixes":[]}],"publisher":"College Publications","title":"Goldblatt-Thomason-style Characterization for Intuitionistic Inquisitive Logic","volume":"13","pages":"541-560","abstract":"The purpose of this paper is to investigate a possible characterization of frame definability of intuitionistic inquisitive logic by Ciardelli et al. (2020) in terms of frame constructions such as generated subframes and bounded morphic images. Sano and Virtema (2015, 2019) provided a Goldblatt-Thomason-style characterization for (extended) modal dependence logic with the help of a normal form result for the logic. A key ingredient of establishing the characterization was to show that the ordinary modal logic expanded with positive occurrences of the universal modality and extended modal dependence logic have the same definability over Kripke models. This paper first reviews Goldblatt-Thomason-style characterization for intuitionistic logic from Rodenburg (1986)’s work on intuitionistic correspondence theory. Then we employ a similar strategy to Sano and Virtema (2015, 2019) and provide a GoldblattThomason-style characterization for intuitionistic inquisitive logic.","keywords":"inquisitive logic","year":"2020","bibtex":"@inproceedings{Sano:20,\n\taddress = {London},\n\tauthor = {Katsuhiko Sano},\n\tbooktitle = {Advances in Modal Logic (AiML)},\n\teditor = {Nicola Olivetti and Rineke Verbrugge and Sara Negri and Gabriel Sandu},\n\tpublisher = {College Publications},\n\ttitle = {Goldblatt-Thomason-style Characterization for Intuitionistic Inquisitive Logic},\n\tvolume = {13},\n\tpages = {541-560},\n\tabstract={The purpose of this paper is to investigate a possible characterization of frame definability of intuitionistic inquisitive logic by Ciardelli et al. (2020) in terms of frame\nconstructions such as generated subframes and bounded morphic images. Sano and\nVirtema (2015, 2019) provided a Goldblatt-Thomason-style characterization for (extended) modal dependence logic with the help of a normal form result for the logic.\nA key ingredient of establishing the characterization was to show that the ordinary\nmodal logic expanded with positive occurrences of the universal modality and extended modal dependence logic have the same definability over Kripke models. This\npaper first reviews Goldblatt-Thomason-style characterization for intuitionistic logic\nfrom Rodenburg (1986)’s work on intuitionistic correspondence theory. Then we\nemploy a similar strategy to Sano and Virtema (2015, 2019) and provide a GoldblattThomason-style characterization for intuitionistic inquisitive logic.},\n\tkeywords={inquisitive logic},\n\tyear = {2020}}\n\n","author_short":["Sano, K."],"editor_short":["Olivetti, N.","Verbrugge, R.","Negri, S.","Sandu, G."],"key":"Sano:20","id":"Sano:20","bibbaseid":"sano-goldblattthomasonstylecharacterizationforintuitionisticinquisitivelogic-2020","role":"author","urls":{},"keyword":["inquisitive logic"],"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://projects.illc.uva.nl/inquisitivesemantics/assets/files/papers.bib","dataSources":["LaLDs2mrYhQpgH6Lk"],"keywords":["inquisitive logic"],"search_terms":["goldblatt","thomason","style","characterization","intuitionistic","inquisitive","logic","sano"],"title":"Goldblatt-Thomason-style Characterization for Intuitionistic Inquisitive Logic","year":2020}