Proof theory for hybrid(ised) logics Artigo Académico

•  
• Visão geral
•  
• Pesquisas
•  
• Identidade
•  
• Informação adicional documento
•  
• Ver Todos
•  

Visão geral

autores

• Neves, R
• Madeira, A
• Manuel A. Martins
• Barbosa, L. S.

data de publicação

• janeiro 1, 2016

publicada em

• International Journal on Software Tools for Technology Transfer  Revista

Pesquisas

palavras-chave

• Completeness
• Decidability
• Hilbert calculus
• Hybrid logic
• Tableau systems

Identidade

Digital Object Identifier (DOI)

• https://doi.org/10.1016/j.scico.2016.03.001

Informação adicional documento

Página Inicial

• 73

página final

• 93

Volume

• 126