skip to main content
Refinado por: Nome da Publicação: Journal of logic and computation remover autor: Greco, Giuseppe remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Unified correspondence as a proof-theoretic tool
Material Type:
Artigo
Adicionar ao Meu Espaço

Unified correspondence as a proof-theoretic tool

Greco, Giuseppe ; Ma, Minghui ; Palmigiano, Alessandra ; Tzimoulis, Apostolos ; Zhao, Zhiguang

Journal of logic and computation, 2018-10, p.exw022 [Periódico revisado por pares]

Oxford University Press

Texto completo disponível

2
Multi-type display calculus for dynamic epistemic logic
Material Type:
Artigo
Adicionar ao Meu Espaço

Multi-type display calculus for dynamic epistemic logic

Frittella, Sabine ; Greco, Giuseppe ; Kurz, Alexander ; Palmigiano, Alessandra ; Sikimić, Vlasta

Journal 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
Multi-type display calculus for propositional dynamic logic
Material Type:
Artigo
Adicionar ao Meu Espaço

Multi-type display calculus for propositional dynamic logic

Frittella, Sabine ; Greco, Giuseppe ; Kurz, Alexander ; Palmigiano, Alessandra

Journal 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
A proof-theoretic semantic analysis of dynamic epistemic logic
Material Type:
Artigo
Adicionar ao Meu Espaço

A proof-theoretic semantic analysis of dynamic epistemic logic

Frittella, Sabine ; Greco, Giuseppe ; Kurz, Alexander ; Palmigiano, Alessandra ; Sikimić, Vlasta

Journal 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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até

Buscando em bases de dados remotas. Favor aguardar.