|
|||||
|
|
A Hybrid Intuitionistic Logic: Semantics and Decidability |
|
| Authors: | Chadha, Rohit Macedonio, Damiano Sassone, Vladimiro |
| Affiliation: | 1 Center for Logic and Computation, IST, Lisboa 1049-001, Portugal. Email: rchadha{at}math.ist.utl.pt, 2 Dipartimento di Informatica Universitá Ca' Foscari 30172 Venezia, Italy. Email: mace{at}dsi.unive.it, 3 ECS, University of Southampton. Email: vs{at}ecs.soton.ac.uk |
| Abstract: | |
| Keywords: | Spatial distribution of resources spatial modalities Kripke and birelational semantics soundness and completeness finite-model property |
| 本文献已被 Oxford 等数据库收录！ | |