On Reductions of Hintikka Sets for Higher-Order Logic




Author(s): Steen, Alexander; Benzmüller, Christoph  
Publisher Information: arXiv
Year of publication: 2020
Pages: 1-10
Language(s): English
DOI: 10.48550/ARXIV.2004.07506
URL: https://arxiv.org/abs/2004.07506
Type: Preprint
URI: https://fis.uni-bamberg.de/handle/uniba/55647
Release Date: 21. September 2022