Solving Quantified Modal Logic Problems by Translation to Classical Logics
Steen, Alexander; Sutcliffe, Geoff; Benzmüller, Christoph (2024): Solving Quantified Modal Logic Problems by Translation to Classical Logics, in: arXiv, doi: 10.48550/arxiv.2212.09570.
Faculty/Chair:
Author:
 ;  ; 
Publisher Information:
Year of publication:
2024
Pages:
Language:
English
DOI:
Type:
Preprint
URI:
Activation date:
May 23, 2024

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/95350