Solving Quantified Modal Logic Problems by Translation to Classical Logics

MLA

Steen, Alexander, et al. Solving Quantified Modal Logic Problems by Translation to Classical Logics. 2022. EBSCOhost, widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsarx&AN=edsarx.2212.09570&authtype=sso&custid=ns315887.

APA

Steen, A., Sutcliffe, G., & Benzmüller, C. (2022). Solving Quantified Modal Logic Problems by Translation to Classical Logics.

Chicago

Steen, Alexander, Geoff Sutcliffe, and Christoph Benzmüller. 2022. “Solving Quantified Modal Logic Problems by Translation to Classical Logics.” http://widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsarx&AN=edsarx.2212.09570&authtype=sso&custid=ns315887.