Solving quantified modal logic problems by translation to classical logics
Steen, Alexander; Sutcliffe, Geoff; Benzmüller, Christoph (2025): Solving quantified modal logic problems by translation to classical logics, in: Journal of logic and computation, Eynsham, Oxford: Oxford Univ. Press, Nr. Online First, S. 1–23, doi: 10.1093/logcom/exaf006.
Faculty/Chair:
Author:
 ;  ; 
Title of the Journal:
Journal of logic and computation
ISSN:
1465-363X
0955-792X
Publisher Information:
Year of publication:
2025
Issue:
Online First
Pages:
Language:
English
DOI:
Peer Reviewed:
Yes:
International Distribution:
Yes:
Type:
Article
URI:
Activation date:
February 6, 2025

Question on publication

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