Solving Modal Logic Problems by Translation to Higher-Order Logic

Solving Modal Logic Problems by Translation to Higher-Order Logic

Steen, Alexander; Sutcliffe, Geoff; Scholl, Tobias; u. a. (2023): Solving Modal Logic Problems by Translation to Higher-Order Logic, in: Andreas Herzig, Jieting Luo, Pere Pardo, u. a. (Hrsg.), Logic and Argumentation : 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023 ; Proceedings, Cham: Springer Nature Switzerland, S. 25–43, doi: 10.1007/978-3-031-40875-5_3.

Faculty/Chair:

AI Systems Engineering

Author:

Steen, Alexander

;

Sutcliffe, Geoff

;

;

Benzmüller, Christoph

Title of the compilation:

Logic and Argumentation : 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023 ; Proceedings

Volume Number/Title:

14156

Editors:

Herzig, Andreas

Luo, Jieting

Pardo, Pere

Publisher Information:

Cham : Springer Nature Switzerland

Year of publication:

2023

Pages:

25-43

ISBN:

978-3-031-40874-8

978-3-031-40875-5

Language:

English

DOI:

10.1007/978-3-031-40875-5_3

URL:

https://link.springer.com/content/pdf/10.1007/978-3-031-40875-5_3

Peer Reviewed:

Yes:

International Distribution:

Yes:

Type:

Contribution to an Articlecollection

URI:

https://fis.uni-bamberg.de/handle/uniba/90114

Activation date:

August 24, 2023

Permalink https://fis.uni-bamberg.de/handle/uniba/90114