Explicating logical independence
From MaRDI portal
Publication:2301324
DOI10.1007/s10992-019-09516-wzbMath1484.03003OpenAlexW2946278411WikidataQ127799166 ScholiaQ127799166MaRDI QIDQ2301324
Publication date: 24 February 2020
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10992-019-09516-w
Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05)
Related Items (2)
Things may not be simple: on Wittgenstein's internal relations ⋮ A simple logic of functional dependence
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Why conclusions should remain single
- Theory of 2-structures. I: Clans, basic subclasses, and morphisms
- Generalized equivalence: A pattern of mathematical expression
- Modal logics with functional alternative relations
- Consequences, consistency and independence in Boolean algebras
- A sieve for entailments
- Relevance: A fallacy?
- Independent propositional modal logics
- Common sense and relevance
- A perspective on modal sequent logic
- An alternative rule of disjunction in modal logic
- Classical relevant logics. II
- Absolutely independent axiomatizations for countable sets in classical logic
- Independent axiomatizability of sets of sentences
- Functional dependencies, supervenience, and consequence relations
- Nonmonotonic reasoning: From finitary relations to infinitary inference operations
- Singulary extensional connectives: A closer look
- Functional dependencies between variables
- Propositional inquisitive logic: a survey
- Declarations of independence
- Archetypal forms of inference
- Intuitive semantics for first-degree entailments and `coupled trees'
- Elementary propositions and independence
- Dependence and independence
- De Morgan functions and free De Morgan algebras.
- An abelian rule for BCI -- and variations
- What kind of independence do we need for multiple iterated belief change?
- A characterization of the concept of independence in knowledge structures
- Normal form generation of S5 functions via truth functions
- A warning about the choice of primitive operators in modal logic
- Notes on Some Ideas in Lloyd Humberstone’s Philosophical Applications of Modal Logic
- On the Negative Disjunction Property
- Modal Foundations for Predicate Logic
- Relevant implication
- "Flexible" Predicates of Formal Number Theory
- The uniqueness of atomic facts in Wittgenstein's Tractatus
- Some old and new problems in the independence theory
- What is an inference rule?
- POPPER'S QUALITATIVE THEORY OF VERISIMILITUDE
- Of A and B being logically independent of each other and of their having no common factual content
- Embeddings of propositional monomodal logics
- CLASSICALLY ARCHETYPAL RULES
- An infinity of super-Belnap logics
- The decidability of dependency in intuitionistic propositional logic
- Adding 4.0241 to TLP
- Dependency as Question Entailment
- Supervenience, Dependence, Disjunction
- On Dependence Logic
- The Semantics of First Degree Entailment
- A Very Independent Axiom System
- The independence of connectives
- Independence in algebras of sets and Boolean algebras
- Sheffer Functions in Intuitionistic Logic
- Four Notions of Independence
- The Separation Theorem for Fragments of the Intuitionistic Propositional Calculus
- Deducibility and many-valuedness
- Indeterminist time and truth‐value gaps1
- On intermediate propositional logics
- A system of completely independent axioms for the sequence of natural numbers
- A nonstandard approach to the logical omniscience problem
- The pleasures of anticipation: Enriching intuitionistic logic
This page was built for publication: Explicating logical independence
