Bjørn Jespersen

15 papers Journal 12Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Twin procedures, two kinds of variable binding, and two kinds of computation.
Ann. Pure Appl. Log.
Marie Duzí, Bjørn Jespersen
2021 J jnl
Two Tales of the Turnstile.
FLAP
Bjørn Jespersen
2019 J jnl
Anatomy of a proposition.
Synth.
Bjørn Jespersen
2019 J jnl
Introduction: primitivism versus reductionism about the problem of the unity of the proposition.
Synth.
Manuel García-Carpintero, Bjørn Jespersen
2018 J jnl
When logic lays down the law.
CoRR
Bjørn Jespersen, Ana de Almeida Borges, Jorge del Castillo Tierz, Juan José Conejero Rodríguez, Eric Sancho Adamson, Aleix Solé Sánchez, Nika Pona, Joost J. Joosten
2017 J jnl
Iterated privation and positive predication.
J. Appl. Log.
Bjørn Jespersen, Massimiliano Carrara, Marie Duzí
2015 J jnl
Introduction.
Synth.
Bjørn Jespersen, Marie Duzí
2015 J jnl
Transparent quantification into hyperintensional objectual attitudes.
Synth.
Marie Duzí, Bjørn Jespersen
2013 J jnl
A New Logic of Technical Malfunction.
Stud Logica
Bjørn Jespersen, Massimiliano Carrara
2013 J jnl
Procedural isomorphism, analytic information and
Log. J. IGPL
Marie Duzí, Bjørn Jespersen
2011 — conf
Alleged Assassins: Realist and Constructivist Semantics for Modal Modification.
TbiLLC
Bjørn Jespersen, Giuseppe Primiero
2010 J jnl
How hyper are hyperpropositions?
Lang. Linguistics Compass
Bjørn Jespersen
2010 — book
Procedural Semantics for Hyperintensional Logic - Foundations and Applications of Transparent Intensional Logic
Marie Duzí, Bjørn Jespersen, Pavel Materna
2009 — conf
Two Kinds of Procedural Semantics for Privative Modification.
JSAI-isAI Workshops
Giuseppe Primiero, Bjørn Jespersen
2008 J jnl
Predication and Extensionalization.
J. Philos. Log.
Bjørn Jespersen