{"_id":"DLfQvXksYLRj6jYf4","bibbaseid":"punoch-algebrasofinformationstates-2016","author_short":["Punčochář, V."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Punčochář"],"firstnames":["Vı́t"],"suffixes":[]}],"journal":"Journal of Logic and Computation","pages":"1643–1675","volume":"27","issue":"5","keywords":"inquisitive logic","publisher":"Oxford University Press","title":"Algebras of Information States","year":"2016","abstract":"In this article, a non-standard informational semantics for superintuitionistic modal logics is introduced and studied. It is based on algebraic structures that are interpreted as algebras of information states. The proposed semantics combines into one framework various features of standard relational and algebraic semantics. Especially, the connection to the algebraic semantics is explored in detail. The framework can be viewed as a generalization of inquisitive semantics that enables us to add inquisitive disjunction to any superintuitionistic modal propositional logic.","bibtex":"@article{Puncochar:16algebras,\n\tauthor = {Pun{\\v{c}}och{\\'a}{\\v{r}}, V{\\'\\i}t},\n\tjournal = {Journal of Logic and Computation},\n\tpages = {1643–1675},\n\tvolume={27},\n\tissue ={5},\n\tkeywords = {inquisitive logic},\n\tpublisher = {Oxford University Press},\n\ttitle = {Algebras of Information States},\n\tyear = {2016},\n\tabstract={In this article, a non-standard informational semantics for superintuitionistic modal logics is introduced and studied. It is based on algebraic structures that are interpreted as algebras of information states. The proposed semantics combines into one framework various features of standard relational and algebraic semantics. Especially, the connection to the algebraic semantics is explored in detail. The framework can be viewed as a generalization of inquisitive semantics that enables us to add inquisitive disjunction to any superintuitionistic modal propositional logic.}\n\t}\n\n\t\n\t\n","author_short":["Punčochář, V."],"key":"Puncochar:16algebras","id":"Puncochar:16algebras","bibbaseid":"punoch-algebrasofinformationstates-2016","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":["algebras","information","states","punčochář"],"title":"Algebras of Information States","year":2016}