A Hilbert-Style Axiomatisation for Equational Hybrid Logic

• https://www.authenticus.pt/P-009-H0Y
• full text

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

Visão geral

autores

• Barbosa, L.S.
• Carreteiro, Marta
• Martins, MA
• Barbosa, L. S.
• Carreteiro, M

data de publicação

• janeiro 1, 2014

publicada em

• Journal of Logic Language and Information  Revista

Pesquisas

palavras-chave

• Completeness
• Equational hybrid logic
• Hilbert axiomatisation

Identidade

Digital Object Identifier (DOI)

• https://doi.org/10.1007/s10849-013-9184-6

Informação adicional documento

Página Inicial

• 31

página final

• 52

Volume

• 23

questão

• 1