Name
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 which show how to relate Kripke models to algebraic models and these in turn to the appropriate categorical models for these logics. |
Year | DOI | Venue |
|---|---|---|
2001 | 10.1007/3-540-44802-0_21 | CSL |
Keywords | Field | DocType |
kripke model,intensional feature,duality result,kripke semantics,category-theoretic perspective,similar system,computational interpretation,constructive s4 modal logic,constructive modal logic,appropriate categorical model,modal logic | Kripke structure,Discrete mathematics,Normal modal logic,Kripke semantics,Impossible world,Computer science,Constructive,Concurrency,Type theory,Modal logic | Conference |
ISBN | Citations | PageRank |
3-540-42554-3 | 37 | 1.67 |
References | Authors | |
14 | 4 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Natasha Alechina | 1 | 147 | 16.19 |
| Michael Mendler | 2 | 314 | 34.60 |
| valeria de paiva | 3 | 366 | 54.78 |
| Eike Ritter | 4 | 343 | 26.36 |