Solving Modal Logic Problems by Translation to Higher-Order Logic

Book chapter

Alexander Steen, Geoff Sutcliffe, Tobias Scholl and Christoph Benzmüller

Logic and Argumentation - 5th International Conference, CLAR 2023, Proceedings, pp.25-43

2023

Abstract

Automated theorem proving

Higher-order logic

Non-classical logics

Quantified modal logics

1 Record Views

Title: Solving Modal Logic Problems by Translation to Higher-Order Logic
Creators: Alexander Steen - Universität Greifswald
Geoff Sutcliffe - University of Miami
Tobias Scholl - Berlin, Germany
Christoph Benzmüller - University of Bamberg
Publication Details: Logic and Argumentation - 5th International Conference, CLAR 2023, Proceedings, pp.25-43
Number of pages: 19
ISSN: 1611-3349
Academic Unit: College of A&S; A&S - Computer Science
Language: English
Resource Type: Book chapter
Record Identifier: 991032796343402976