Hannes Leitgeb

36 papers Journal 34

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Defense of Logicism. Bull. Symb. Log. Hannes Leitgeb, Uri Nodelman, Edward N. Zalta
2025	J	`jnl`	Explaining Neural Networks with Reasons. CoRR Levin Hornischer, Hannes Leitgeb
2025	J	`jnl`	When Rules Define Logical Operators: Rules as Second-Order Definitions. J. Philos. Log. Hannes Leitgeb
2024	J	`jnl`	Axioms for Type-Free subjective Probability. Rev. Symb. Log. Cezary Cieslinski, Leon Horsten, Hannes Leitgeb
2023	J	`jnl`	Ramsification and Semantic Indeterminacy. Rev. Symb. Log. Hannes Leitgeb
2020	J	`jnl`	Why pure mathematical truths are metaphysically necessary: a set-theoretic explanation. Synth. Hannes Leitgeb
2019	J	`jnl`	Correction to: HYPE: A System of Hyperintensional Logic (with an Application to Semantic Paradoxes). J. Philos. Log. Hannes Leitgeb
2019	J	`jnl`	HYPE: A System of Hyperintensional Logic (with an Application to Semantic Paradoxes). J. Philos. Log. Hannes Leitgeb
2019	J	`jnl`	Probability for the Revision Theory of Truth. J. Philos. Log. Catrin Campbell-Moore, Leon Horsten, Hannes Leitgeb
2016	J	`jnl`	Editorial. FLAP Hannes Leitgeb, Iosif Petrakis, Peter Schuster, Helmut Schwichtenberg
2014	—	`ch.`	Belief as a Simplification of Probability, and What This Entails. Johan van Benthem on Logic and Information Dynamics Hannes Leitgeb
2013	J	`jnl`	Reducing belief simpliciter to degrees of belief. Ann. Pure Appl. Log. Hannes Leitgeb
2012	J	`jnl`	A Probabilistic Semantics for Counterfactuals. Part A. Rev. Symb. Log. Hannes Leitgeb
2012	J	`jnl`	A Probabilistic Semantics for Counterfactuals. Part B. Rev. Symb. Log. Hannes Leitgeb
2012	J	`jnl`	Revision Revisited. Rev. Symb. Log. Leon Horsten, Graham E. Leigh, Hannes Leitgeb, Philip D. Welch
2011	J	`jnl`	Logic in general philosophy of science: old things and new things. Synth. Hannes Leitgeb
2011	—	`ch.`	Mechanizing Induction. Inductive Logic Ronald Ortner, Hannes Leitgeb
2011	J	`jnl`	New life for Carnap's Synth. Hannes Leitgeb
2010	J	`jnl`	On the Ramsey Test without Triviality. Notre Dame J. Formal Log. Hannes Leitgeb
2008	J	`jnl`	Finitistic and Frequentistic Approximation of Probability Measures with or without Stud Logica Gerhard Schurz, Hannes Leitgeb
2008	J	`jnl`	Introduction to the special issue. Stud Logica Hannes Leitgeb
2008	J	`jnl`	On the Probabilistic Convention T. Rev. Symb. Log. Hannes Leitgeb
2007	J	`jnl`	A New Analysis of Quasianalysis. J. Philos. Log. Hannes Leitgeb
2007	J	`jnl`	Dynamic doxastic logic: why, how, and where to? Synth. Hannes Leitgeb, Krister Segerberg
2005	J	`jnl`	Interpreted Dynamical Systems and Qualitative Laws: from Neural Networks to Evolutionary Systems. Synth. Hannes Leitgeb
2005	J	`jnl`	Introduction. Synth. Gerhard Schurz, Hannes Leitgeb
2005	J	`jnl`	What Truth Depends on. J. Philos. Log. Hannes Leitgeb
2004	J	`jnl`	Circular Languages. J. Log. Lang. Inf. Hannes Leitgeb, Alexander Hieke
2003	J	`jnl`	Nonmonotonic Reasoning by Inhibition Nets II. Int. J. Uncertain. Fuzziness Knowl. Based Syst. Hannes Leitgeb
2003	J	`jnl`	Possible-Worlds Semantics for Modal Notions Conceived as Predicates. J. Philos. Log. Volker Halbach, Hannes Leitgeb, Philip D. Welch
2001	J	`jnl`	No Future. J. Philos. Log. Leon Horsten, Hannes Leitgeb
2001	J	`jnl`	Nonmonotonic reasoning by inhibition nets. Artif. Intell. Hannes Leitgeb
2001	J	`jnl`	Theories of Truth Which Have No Standard Models. Stud Logica Hannes Leitgeb
2001	J	`jnl`	Truth as Translation - Part A. J. Philos. Log. Hannes Leitgeb
2001	J	`jnl`	Truth as Translation - Part B. J. Philos. Log. Hannes Leitgeb
1999	J	`jnl`	Truth and the Liar in De Morgan-Valued Models. Notre Dame J. Formal Log. Hannes Leitgeb