Completeness for flat modal fixpoint logics

Authors
Publication date 2007
Host editors
  • N. Dershowitz
  • A. Voronkov
Book title Logic for Programming, Artificial Intelligence, and Reasoning
Book subtitle 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 : proceedings
ISBN
  • 9783540755586
ISBN (electronic)
  • 9783540755609
Series Lecture Notes in Computer Science
Event Logic for programming, artificial intelligence, and reasoning: 14th international conference, LPAR 2007
Pages (from-to) 499-513
Publisher Berlin: Springer
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Conference contribution
Note Extended abstract
Language English
Published at https://doi.org/10.1007/978-3-540-75560-9_36
Permalink to this page
Back