On Graphical Calculi for Modal Logics
We present a graphical approach to classical and intuitionistic modal logics, which provides uniform formalisms for expressing, analysing and comparing their semantics. This approach uses the flexibility of graphical calculi to express directly and intuitively the semantics for modal logics. We illu...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | Portuguese |
| Published: |
Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio)
2016-12-01
|
| Series: | O Que Nos Faz Pensar |
| Online Access: | http://www.oquenosfazpensar.fil.puc-rio.br/index.php/oqnfp/article/view/518 |