On Reductions of Hintikka Sets for Higher-Order Logic
Steen, Alexander; Benzmüller, Christoph (2025): On Reductions of Hintikka Sets for Higher-Order Logic, in: Journal of applied logics - IfCoLoG journal of logics and their applications, London: College Publications, Jg. 12, Nr. 7, S. 1813–1834.
Faculty/Chair:
Author:
 ; 
Title of the Journal:
Journal of applied logics - IfCoLoG journal of logics and their applications
ISSN:
2631-9810
2631-9829
Publisher Information:
Year of publication:
2025
Volume:
12
Issue:
7
Pages:
Language:
English
URL:
Peer Reviewed:
Yes:
International Distribution:
Yes:
Open Access Journal:
Yes:
Type:
Article
URI:
Activation date:
December 8, 2025

Question on publication

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