Adding Intensional Machinery to Hybrid Logic
Torben Braüner · Journal of Logic and Computation · 2007
Journal Article Adding Intensional Machinery to Hybrid Logic Get access Torben Braüner Torben Braüner Programming, Logic and Intelligent Systems Research Group, Roskilde University, DK-4000 Roskilde, Denmark. E-mail: [email protected] Search for other works by this author on: Oxford Academic Google Scholar Journal of Logic and Computation, Volume 18, Issue 4, August 2008, Pages 631–648, https://doi.org/10.1093/logcom/exn005 Published: 13 March 2008