Hyperintensional logics for everyone

No abstract is available for this paper.

• Publication year

  2019

• Venue

  Synthese

• Publication date

  2019-01-12

• Fields of study

  Philosophy, Computer Science

• Identifiers
  DOI 10.1007/s11229-018-02076-7
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• If structured propositions are logical procedures then how are procedures individuated?

  2019cited by this paper
• Anatomy of a proposition

  2019cited by this paper
• HYPE: A System of Hyperintensional Logic (with an Application to Semantic Paradoxes)

  2018cited by this paper
• Simple Hyperintensional Belief Revision

  2018cited by this paper
• Knowability Relative to Information

  2018cited by this paper
• Aboutness in imagination

  2017cited by this paper
• Neighborhood Semantics for Modal Logic

  2017cited by this paper
• Angellic Content

  2016cited by this paper
• Transparent quantification into hyperintensional objectual attitudes

  2015cited by this paper
• The Impossible: An Essay on Hyperintensionality

  2014cited by this paper
• What are impossible worlds?

  2013cited by this paper
• Truth-Maker Semantics for Intuitionistic Logic

  2013cited by this paper
• Belief

  2012influential reference
• Structures and circumstances: two ways to fine-grain propositions

  2012cited by this paper
• annals of pure and applied logic

  2010cited by this paper
• Procedural Semantics for Hyperintensional Logic - Foundations and Applications of Transparent Intensional Logic

  2010cited by this paper
• THE LOGIC OF JUSTIFICATION

  2008cited by this paper
• Classical intensional logics

  2008cited by this paper
• QUANTIFIED LOGIC OF AWARENESS AND IMPOSSIBLE POSSIBLE WORLDS

  2008cited by this paper
• The Nature and Structure of Content

  2007cited by this paper
• How to Sell a Contradiction: The Logic and Metaphysics of Inconsistency

  2007cited by this paper
• Pragmatics

  2006cited by this paper
• The logic of proofs, semantically

  2005cited by this paper
• General semantics

  2004cited by this paper
• Modal Logic

  2001influential reference
• A Companion to the Philosophy of Language

  1999cited by this paper
• Compositionality

  1997cited by this paper
• Structured propostions and sentence structure

  1996cited by this paper
• (Direct) reference

  1995influential reference
• Reasoning about knowledge

  1995cited by this paper
• Structured Propositions and Complex Predicates

  1995cited by this paper
• Logic of Proofs

  1994cited by this paper
• Intensional Logic and the Metaphysics of Intentionality.

  1991cited by this paper
• A general possible worlds framework for reasoning about knowledge and belief

  1990cited by this paper
• Bemerkungen Zur Semantik Nicht-Normaler Möglicher Welten

  1989cited by this paper
• Intensional Logic and the Metaphysics of Intentionality

  1988cited by this paper
• The Foundations of Frege's Logic

  1988influential reference
• Direct Reference, Propositional Attitudes, and Semantic Content

  1987cited by this paper
• Belief, Awareness, and Limited Reasoning.

  1987cited by this paper
• Frege's Puzzle

  1986cited by this paper
• Situations and Attitudes.

  1986cited by this paper
• A Logic of Implicit and Explicit Belief

  1984cited by this paper
• The logic of inconsistency: a study in non-standar possible-world semantics and ontology

  1984cited by this paper
• A deduction model of belief and its logics

  1984cited by this paper
• Quantified modal logic: Non-normal worlds and propositional attitudes

  1982cited by this paper
• Computational Models of Belief and the Semantics of Belief Sentences

  1982cited by this paper
• Modal Logic: An Introduction

  1980cited by this paper
• Modal Logic: Normal systems of modal logic

  1980cited by this paper
• THE LOGIC OF BELIEVING

  1980cited by this paper
• Hyperintensional logic

  1975cited by this paper
• Impossible possible worlds vindicated

  1975cited by this paper
• A logic of believing, knowing, and inferring

  1974cited by this paper
• Intensional logics and logical truth

  1972cited by this paper
• Investigations into the sentential calculus with identity

  1972cited by this paper
• An essay in classical modal logic

  1971cited by this paper
• Semantics for the sentential calculus with identity

  1971cited by this paper
• Advice on Modal Logic

  1970cited by this paper
• On the impossible

  1960influential reference
• General Semantics.

  1958cited by this paper

• Formalizing the conditionals of Diodorus Cronus and Chrysippus: logic and potential applications in human thinking

  2025cites this paper
• Hyperintensionality for Logics

  2025cites this paper
• On the hyperintensionality of relevant logics and some of their rivals

  2025influential citation
• Hyperintensions as Computations

  2025cites this paper
• A Hyperintensional Logic of Non-prime Evidence

  2024cites this paper
• Epistemic Logics for Relevant Reasoners

  2024cites this paper
• A Logic of Knowledge and Justifications, with an Application to Computational Trust

  2024cites this paper
• What Should the Logic Formalizing Human Cognition Look Like? Psychologism as Applying Logic in Cognitive Science.

  2024cites this paper
• Hyperintensionality in Relevant Logics

  2023cites this paper
• Realizing impossibilities

  2023cites this paper
• THE LOGIC OF HYPERLOGIC. PART A: FOUNDATIONS

  2022cites this paper
• HYPER-REF: A General Model of Reference for First-Order Logic and First-Order Arithmetic

  2022cites this paper
• Belief Contraction in Non-classical logics as Hyperintensional Belief Change

  2021cites this paper
• Error, consistency and triviality

  2021cites this paper
• Alternative Semantics for Normative Reasoning with an Application to Regret and Responsibility

  2021cites this paper
• First among equals: co-hyperintensionality for structured propositions

  2020cites this paper
• Impossible Individuals as Necessarily Empty Individual Concepts

  2020cites this paper
• Towards a Theory of Hyperintensional Belief Change

  2020cites this paper
• Formal Analysis of Responsibility Attribution in a Multimodal Framework

  2019cites this paper
• A Complete Bibliography of Publications in Synthese, 2020–2029

  year unknowncites this paper