Programming, Logic and Intelligent Systems

Research output

Research output per year 2004 2006 2009 2011 2017 2018 2020 2021 2023 2024 2024

• 143 Article in proceedings
• 90 Journal article
• 33 Book chapter
• 30 Conference article
• 125 More
  • 29 Anthology
  • 24 Paper
  • 12 Ph.D. thesis
  • 9 Report
  • 8 Editorial
  • 8 Net publication - Internet publication
  • 7 Conference abstract for conference
  • 6 Encyclopedia chapter
  • 4 Preprint
  • 3 Compendium/lecture notes
  • 3 Preface/postscript
  • 2 Poster
  • 2 Review
  • 2 Working paper
  • 1 Book
  • 1 Doctoral thesis
  • 1 Conference abstract in proceedings
  • 1 Contribution to newspaper - Newspaper article
  • 1 Literature review
  • 1 Other contribution

Research output per year

Research output per year

Search results

• 2021

  Hybrid logic with propositional quantiers: Natural deduction style (Work in progress)

  Braüner, T., Blackburn, P. R. & Kofod, J. L., 2021, Non-Classical Modal and Predicate Logic: Book of abstracts. Bochum: Ruhr University Bochum, p. 29-32

  Research output: Chapter in Book/Report/Conference proceeding › Conference abstract in proceedings › Research › peer-review

  Open Access

  File