Walter Dean

12 papers B 1C 1Journal 8Unranked 1

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	From Real Analysis to the Sorites Paradox via Reverse Mathematics. Rev. Symb. Log. Walter Dean, Sam Sanders
2024	J	`jnl`	Artifical intelligence and inherent mathematical difficulty. CoRR Walter Dean, Alberto Naibo
2020	J	`jnl`	Incompleteness via Paradox and Completeness. Rev. Symb. Log. Walter Dean
2018	J	`jnl`	Strict finitism, Feasibility, and the Sorites. Rev. Symb. Log. Walter Dean
2017	J	`jnl`	The Prehistory of the Subsystems of second-order Arithmetic. Rev. Symb. Log. Walter Dean, Sean Walsh
2016	—	`ch.`	Kreisel's Theory of Constructions, the Kreisel-Goodman Paradox, and the Second Clause. Advances in Proof-Theoretic Semantics Walter Dean, Hidenori Kurokawa
2016	C	`conf`	Squeezing Feasibility. CiE Walter Dean
2014	J	`jnl`	Montague's Paradox, Informal Provability, and Explicit Modal Logic. Notre Dame J. Formal Log. Walter Dean
2014	J	`jnl`	The Paradox of the Knower revisited. Ann. Pure Appl. Log. Walter Dean, Hidenori Kurokawa
2011	—	`conf`	The Logic of Campaigning. ICLA Walter Dean, Rohit Parikh
2010	J	`jnl`	From the Knowability Paradox to the existence of proofs. Synth. Walter Dean, Hidenori Kurokawa
2009	B	`conf`	Knowledge, proof and the Knower. TARK Walter Dean, Hidenori Kurokawa

redb/extractors/__init__.py

← Index redb/extractors/__init__.py python

from .basicproperties import BasicPropertiesExtractor
from .hashes import HashExtractor
from .pe_extractor import PEExtractor
from .elf_extractor import ELFExtractor
from .capa import CAPAExtractor
from .detectiteasy import DIEExtractor