Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Unified correspondence as a proof-theoretic toolGreco, Giuseppe ; Ma, Minghui ; Palmigiano, Alessandra ; Tzimoulis, Apostolos ; Zhao, ZhiguangJournal of logic and computation, 2018-10, p.exw022 [Periódico revisado por pares]Oxford University PressTexto completo disponível |
|
2 |
Material Type: Artigo
|
Multi-type display calculus for dynamic epistemic logicFrittella, Sabine ; Greco, Giuseppe ; Kurz, Alexander ; Palmigiano, Alessandra ; Sikimić, VlastaJournal of logic and computation, 2016-12, Vol.26 (6), p.2017-2065 [Periódico revisado por pares]Oxford University Press (OUP)Texto completo disponível |
|
3 |
Material Type: Artigo
|
Multi-type display calculus for propositional dynamic logicFrittella, Sabine ; Greco, Giuseppe ; Kurz, Alexander ; Palmigiano, AlessandraJournal of logic and computation, 2016-12, Vol.26 (6), p.2067-2104 [Periódico revisado por pares]Oxford University Press (OUP)Texto completo disponível |
|
4 |
Material Type: Artigo
|
A proof-theoretic semantic analysis of dynamic epistemic logicFrittella, Sabine ; Greco, Giuseppe ; Kurz, Alexander ; Palmigiano, Alessandra ; Sikimić, VlastaJournal of logic and computation, 2016-12, Vol.26 (6), p.1961-2015 [Periódico revisado por pares]Oxford University Press (OUP)Texto completo disponível |