Angellic content
From MaRDI portal
Publication:288248
DOI10.1007/s10992-015-9371-9zbMath1392.03030OpenAlexW3192742526MaRDI QIDQ288248
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
Philosophical and critical aspects of logic and foundations (03A05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items (43)
Correia semantics revisited ⋮ Tableaux and restricted quantification for systems related to weak Kleene logic ⋮ COMPLIANCE AND COMMAND I—CATEGORICAL IMPERATIVES ⋮ COMPLIANCE AND COMMAND II, IMPERATIVES AND DEONTICS ⋮ VOLUNTARY IMAGINATION: A FINE-GRAINED ANALYSIS ⋮ A simple sequent calculus for Angell's logic of analytic containment ⋮ Rivals to Belnap-Dunn logic on interlaced trilattices ⋮ Towards a Logic of Value and Disagreement via Imprecise Measures ⋮ THE SEMANTIC FOUNDATIONS OF PHILOSOPHICAL ANALYSIS ⋮ HYPE: a system of hyperintensional logic (with an application to semantic paradoxes) ⋮ The logic of framing effects ⋮ Epimorphism between Fine and Ferguson’s Matrices for Angell’s AC ⋮ The fundamental problem of logical omniscience ⋮ Logics of synonymy ⋮ Knowledge is closed under analytic content ⋮ Subject-matter and intensional operators. II: Applications to the theory of topic-sensitive intentional modals ⋮ Causation and fact granularity ⋮ PROOF SYSTEMS FOR EXACT ENTAILMENT ⋮ The laws of thought and the laws of truth as two sides of one coin ⋮ A theory of truthmaker content. I: Conjunction, disjunction and negation ⋮ A theory of truthmaker content. II: Subject-matter, common content, remainder and ground ⋮ That's it! Hyperintensional total logic ⋮ A puzzle about epistemic value and steps towards a solution ⋮ Hyperintensional logics for everyone ⋮ Ground-theoretic equivalence ⋮ Making Sense of Sense Containment ⋮ A semantics for the impure logic of ground ⋮ A hyperintensional criterion of irrelevance ⋮ Towards a theory of ground-theoretic content ⋮ The consequence argument ungrounded ⋮ A simple logical matrix and sequent calculus for Parry's logic of analytic implication ⋮ Sextus Empiricus' Fourth Conditional and Containment Logic ⋮ An Epistemic Interpretation of Paraconsistent Weak Kleene Logic ⋮ Simple hyperintensional belief revision ⋮ The logic of ground ⋮ On question-begging and analytic content ⋮ Truthmakers and normative conflicts ⋮ Why pure mathematical truths are metaphysically necessary: a set-theoretic explanation ⋮ Identity and aboutness ⋮ LOGIC FOR EXACT ENTAILMENT ⋮ Mighty belief revision ⋮ DYNAMIC HYPERINTENSIONAL BELIEF REVISION ⋮ Idempotent variations on the theme of exclusive disjunction
Cites Work
- Unnamed Item
- Unnamed Item
- Truth-maker semantics for intuitionistic logic
- 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
- POWER STRUCTURES AND LOGIC
This page was built for publication: Angellic content
