Categorical and Kripke Semantics for Constructive S4 Modal Logic Export

@incollection{citeulike:401358, abstract = {We consider two systems of constructive modal logic which are computationally motivated. Their modalities admit several computational interpretations and are used to capture intensional features such as notions of computation, constraints, concurrency, etc. Both systems have so far been studied mainly from type-theoretic and category-theoretic perspectives, but Kripke models for similar systems were studied independently. Here we bring these threads together and prove duality results...}, address = {Berlin}, author = {Alechina, Natasha and Mendler, Michael and de Paiva, Valeria and Ritter, Eike}, booktitle = {Proceedings 15th Int.\ Workshop on Computer Science Logic, CSL'01, Paris, France, 10--13 Sept.\ 2001}, citeulike-article-id = {401358}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.13.6306}, editor = {Fribourg, L.}, keywords = {intuitionistic, logic, modal}, pages = {292--307}, posted-at = {2005-11-19 16:50:09}, priority = {0}, publisher = {Springer-Verlag}, title = {Categorical and Kripke Semantics for Constructive S4 Modal Logic}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.13.6306}, volume = {2142}, year = {2001} }

TY - CHAP ID - citeulike:401358 L3 - citeulike-article-id:401358 N2 - We consider two systems of constructive modal logic which are computationally motivated. Their modalities admit several computational interpretations and are used to capture intensional features such as notions of computation, constraints, concurrency, etc. Both systems have so far been studied mainly from type-theoretic and category-theoretic perspectives, but Kripke models for similar systems were studied independently. Here we bring these threads together and prove duality results... AD - Berlin EP - 307 TI - Categorical and Kripke Semantics for Constructive S4 Modal Logic PB - Springer-Verlag VL - 2142 T2 - Proceedings 15th Int.\ Workshop on Computer Science Logic, CSL'01, Paris, France, 10--13 Sept.\ 2001 SP - 292 KW - intuitionistic KW - logic KW - modal AU - Alechina, Natasha AU - Mendler, Michael AU - de Paiva, Valeria AU - Ritter, Eike A2 - Fribourg, L PY - 2001/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.13.6306 ER -