Natural Deduction for Hybrid Logic

From MaRDI portal
Publication:4820470

DOI10.1093/logcom/14.3.329zbMath1060.03036OpenAlexW2116784584MaRDI QIDQ4820470

Torben Braüner

Publication date: 15 October 2004

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/cb7cd45bc65eb40318f4a7d42cee332a941465ce




Related Items (15)







This page was built for publication: Natural Deduction for Hybrid Logic