Angellic content
From MaRDI portal
Publication:288248
DOI10.1007/S10992-015-9371-9zbMATH Open1392.03030OpenAlexW3192742526MaRDI QIDQ288248FDOQ288248
Authors: Kit Fine
Publication date: 25 May 2016
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: http://pure-oai.bham.ac.uk/ws/files/50975462/Fine_Angellic_content_Journal_of_Philosophical_Logic_2018.pdf
Recommendations
Philosophical and critical aspects of logic and foundations (03A05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Cites Work
- Natural deduction and arbitrary objects
- A new theory of content. II: Model theory and some alternatives
- False though partly true -- an experiment in logic
- Semantics for analytic containment
- Faulty Belnap computers and subsystems of FDE
- Title not available (Why is that?)
- Title not available (Why is that?)
- POWER STRUCTURES AND LOGIC
- Truth-maker semantics for intuitionistic logic
Cited In (52)
- Some remarks on Popper's qualitative criterion of verisimilitude
- Verisimilitude and truthmaking
- Dynamic hyperintensional belief revision
- The consequence argument ungrounded
- Causal modeling semantics for counterfactuals with disjunctive antecedents
- Belief base: a minimal logic of fine-grained information dynamics
- COMPLIANCE AND COMMAND II, IMPERATIVES AND DEONTICS
- Knowledge is closed under analytic content
- Causation and fact granularity
- PROOF SYSTEMS FOR EXACT ENTAILMENT
- Idempotent variations on the theme of exclusive disjunction
- Sextus Empiricus' fourth conditional and containment logic
- An epistemic interpretation of paraconsistent weak Kleene logic
- Towards a Logic of Value and Disagreement via Imprecise Measures
- That's it! Hyperintensional total logic
- Correia semantics revisited
- Identity and aboutness
- A truthmaker-based epistemic logic
- Tableaux and restricted quantification for systems related to weak Kleene logic
- A puzzle about epistemic value and steps towards a solution
- The fundamental problem of logical omniscience
- HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
- Editorial introduction
- Making sense of sense containment
- Compliance and command. I: Categorical imperatives
- Logic for exact entailment
- Simple hyperintensional belief revision
- Why pure mathematical truths are metaphysically necessary: a set-theoretic explanation
- De Morgan-Płonka sums
- Physicalism and the identity of identity theories
- The logic of ground
- A simple sequent calculus for Angell's logic of analytic containment
- Rivals to Belnap-Dunn logic on interlaced trilattices
- A theory of truthmaker content. II: Subject-matter, common content, remainder and ground
- The logic of framing effects
- On question-begging and analytic content
- The laws of thought and the laws of truth as two sides of one coin
- Ground-theoretic equivalence
- A theory of truthmaker content. I: Conjunction, disjunction and negation
- Towards a theory of ground-theoretic content
- Epimorphism between Fine and Ferguson’s Matrices for Angell’s AC
- Hyperintensional logics for everyone
- A simple logical matrix and sequent calculus for Parry's logic of analytic implication
- Truthmakers and normative conflicts
- Mighty belief revision
- Logics of synonymy
- A semantics for the impure logic of ground
- THE SEMANTIC FOUNDATIONS OF PHILOSOPHICAL ANALYSIS
- A hyperintensional criterion of irrelevance
- Subject-matter and intensional operators. II: Applications to the theory of topic-sensitive intentional modals
- Exact truthmaker semantics for modal logics
- VOLUNTARY IMAGINATION: A FINE-GRAINED ANALYSIS
This page was built for publication: Angellic content
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q288248)