- Modal and Hyperintensional Cognitivism and Modal and Hyperintensional Expressivism.David Elohim - manuscriptdetails
|
|
Non-Constructive Procedural Theory of Propositional Problems and the Equivalence of Solutions.Ivo Pezlar - 2019 - In Igor Sedlár & Martin Blicha (eds.), The Logica Yearbook 2018. College Publications. pp. 197-210.details
|
|
HYPE: A System of Hyperintensional Logic.Hannes Leitgeb - 2019 - Journal of Philosophical Logic 48 (2):305-405.details
|
|
Metóda, problém a úloha (Method, Problem and Task).František Gahér & Vladimir Marko - 2017 - Bratislava: Univerzita Komenského.details
|
|
Extensionality and logicality.Gil Sagi - 2017 - Synthese (Suppl 5):1-25.details
|
|
Non-Classical Circular Definitions.Shawn Standefer - 2017 - Australasian Journal of Logic 14 (1).details
|
|
(1 other version)Forms of Luminosity: Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - 2017 - Dissertation, Arché, University of St Andrewsdetails
|
|
(1 other version)Forms of Luminosity: Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - 2017details
|
|
(1 other version)Book Reviews. [REVIEW]Erich Rast - 2014 - Studia Logica 102 (1):219-223.details
|
|
Agnostic hyperintensional semantics.Carl Pollard - 2015 - Synthese 192 (3):535-562.details
|
|
Towards an Extensional Calculus of Hyperintensions.Marie Duží - 2012 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 19:20-45.details
|
|
Sense and the computation of reference.Reinhard Muskens - 2004 - Linguistics and Philosophy 28 (4):473 - 504.details
|
|
Peter Schroeder-Heister on Proof-Theoretic Semantics.Thomas Piecha & Kai F. Wehmeier (eds.) - 2024 - Springer.details
|
|
If structured propositions are logical procedures then how are procedures individuated?Marie Duží - 2019 - Synthese 196 (4):1249-1283.details
|
|
Co‐Hyperintensionality.Federico L. G. Faroldi - 2017 - Ratio 30 (3):270-287.details
|
|
Procedural isomorphism, analytic information and -conversion by value.M. Duzi & B. Jespersen - 2013 - Logic Journal of the IGPL 21 (2):291-308.details
|
|
Type-theoretic logic with an operational account of intensionality.Shalom Lappin & Chris Fox - 2015 - Synthese 192 (3):563-584.details
|
|
Procedural Semantics and its Relevance to Paradox.Elbert Booij - forthcoming - Logic and Logical Philosophy:1-24.details
|
|
Computational complexity explains neural differences in quantifier verification.Heming Strømholt Bremnes, Jakub Szymanik & Giosuè Baggio - 2022 - Cognition 223 (C):105013.details
|
|
Modelling Equivalent Definitions of Concepts.Daniele Porello - 2015 - In Modeling and Using Context - 9th International and Interdisciplinary Conference, {CONTEXT} 2015, Lanarca, Cyprus, November 2-6, 2015. Proceedings. Lecture Notes in Computer Science 9405. pp. 506-512.details
|
|
Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach.Ivo Pezlar - 2017 - Logic and Logical Philosophy 26 (4):473-508.details
|
|
Can concepts be defined in terms of sets?Marie Duží & Pavel Materna - 2010 - Logic and Logical Philosophy 19 (3):195-242.details
|
|
On Rereading van Heijenoort’s Selected Essays.Solomon Feferman - 2012 - Logica Universalis 6 (3):535-552.details
|
|
Computational Complexity of Polyadic Lifts of Generalized Quantifiers in Natural Language.Jakub Szymanik - 2010 - Linguistics and Philosophy 33 (3):215-250.details
|
|
On Two Notions of Computation in Transparent Intensional Logic.Ivo Pezlar - 2018 - Axiomathes 29 (2):189-205.details
|
|
The so-called myth of museum.Pavel Materna - 2004 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 11 (3):229-242.details
|
|
Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic.Marie Duží, Bjorn Jespersen & Pavel Materna - 2010 - Dordrecht, Netherland: Springer.details
|
|
A Note on Synonymy in Proof-Theoretic Semantics.Heinrich Wansing - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 339-362.details
|
|
Algorithmic Iteration for Computational Intelligence.Giuseppe Primiero - 2017 - Minds and Machines 27 (3):521-543.details
|
|
The Paradox of Inference and the Non-Triviality of Analytic Information.Marie Duží - 2010 - Journal of Philosophical Logic 39 (5):473 - 510.details
|
|
New directions for proof theory in linguistics. ESSLLI 2007 course reader.Anna Szabolcsi & Chris Barker - manuscriptdetails
|
|
Transparent quantification into hyperpropositional attitudes de dicto.Bjørn Jespersen & Marie Duží - 2022 - Linguistics and Philosophy 45 (5):1119-1164.details
|
|
The Phone Booth Puzzle.Bjørn Jespersen - 2006 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 13 (4):411-439.details
|
|
Generalized quantifiers.Dag Westerståhl - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Modelling dynamic behaviour of agents in a multiagent world: Logical analysis of Wh-questions and answers.Martina Číhalová & Marie Duží - 2023 - Logic Journal of the IGPL 31 (1):140-171.details
|
|
Logics of Synonymy.Levin Hornischer - 2020 - Journal of Philosophical Logic 49 (4):767-805.details
|
|