Beyond pure axioms: Node creating rules in hybrid tableaux

Authors
Publication date 2002
Host editors
  • M. Marx
  • C. Areces
  • P. Blackburn
  • U. Sattler
Book title Proceedings of the 4th Workshop on Hybrid Logics (HyLo 2002)
Pages (from-to) 1-15
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Conference contribution
Permalink to this page
Back