Local is Best: Efficient Reductions to Modal Logic K Documento

• http://dx.doi.org/10.1007/s10817-022-09630-6
• http://https://link.springer.com/article/10.1007/s10817-022-09630-6

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

Visão geral

tipo

• journal article

autores

• Clare Dixon
• Cláudia Nalon

data de publicação

• 2022-01-01

publicada em

• JOURNAL OF AUTOMATED REASONING (DORDRECHT. ONLINE) 

Pesquisas

áreas de investigação

• lógica e semântica de programas

palavras-chave

• Automated Reasoning
• Normal Forms
• RESOLUTION METHOD
• non-classical logics

Identidade

identificador BrCris

• 9b847bce7aedf6218fb307209c1bf1b7

Informação adicional documento

Página Inicial

• 1

Volume

• 1

Outro

tem linguagem

• Inglês