A deep inference system for the modal logic S5
| Data(s) |
2007
|
|---|---|
| Formato |
application/pdf application/pdf |
| Identificador |
http://boris.unibe.ch/26455/1/sto07.pdf http://boris.unibe.ch/26455/8/art%253A10.1007%252Fs11225-007-9028-y.pdf Stouppa, Phiniki (2007). A deep inference system for the modal logic S5. Studia logica, 85(2), pp. 199-214. Dordrecht: Springer Science + Business Media 10.1007/s11225-007-9028-y <http://dx.doi.org/10.1007/s11225-007-9028-y> doi:10.7892/boris.26455 info:doi:10.1007/s11225-007-9028-y urn:issn:0039-3215 |
| Idioma(s) |
eng |
| Publicador |
Springer Science + Business Media |
| Relação |
http://boris.unibe.ch/26455/ |
| Direitos |
info:eu-repo/semantics/openAccess info:eu-repo/semantics/restrictedAccess |
| Fonte |
Stouppa, Phiniki (2007). A deep inference system for the modal logic S5. Studia logica, 85(2), pp. 199-214. Dordrecht: Springer Science + Business Media 10.1007/s11225-007-9028-y <http://dx.doi.org/10.1007/s11225-007-9028-y> |
| Tipo |
info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion PeerReviewed |
