Supervenience, Dependence, Disjunction
From MaRDI portal
Publication:5215498
DOI10.12775/LLP.2018.007zbMath1477.03052MaRDI QIDQ5215498
Publication date: 11 February 2020
Published in: Logic and Logical Philosophy (Search for Journal in Brave)
contingencyconservative extensiondisjunctionmodal dependence logic\textit{whether}-disjunctionsupervenience, inquisitive logic
Related Items (8)
What is a relevant connective? ⋮ COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS ⋮ Priest on Negation ⋮ A simple logic of functional dependence ⋮ Explicating logical independence ⋮ A modal logic of supervenience ⋮ Revisiting Semilattice Semantics ⋮ Idempotent variations on the theme of exclusive disjunction
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
- Weak negation in inquisitive semantics
- Truth-maker semantics for intuitionistic logic
- Algebraic foundations for the semantic treatment of inquisitive content
- Transition semantics: the dynamics of dependence logic
- Concepts of supervenience revisited
- Defining global supervenience
- On the semantics and logic of declaratives and interrogatives
- Wittgensteinian predicate logic
- A remark on Henkin sentences and their contraries
- Inquisitive logic
- A remark on negation in dependence logic
- Dependence of variables construed as an atomic formula
- What truth depends on
- From IF to BI. A tale of dependence and separation
- Deep sequent systems for modal logic
- Grounding, dependence, and paradox
- Kripke and the logic of truth
- Operational semantics for positive R
- Necessity and contingency
- From worlds to possibilities
- On the necessity of S4
- Interval semantics for tense logic: Some remarks
- Sequent-systems and groupoid models. II
- Supervenience for operators
- Functional dependencies, supervenience, and consequence relations
- Singulary extensional connectives: A closer look
- A survey of abstract algebraic logic
- The modal logic of agreement and noncontingency
- Independent choices and the interpretation of IF logic
- Archetypal forms of inference
- A new semantics for intuitionistic predicate logic
- The lattice of extensional connectives: A correction
- The logic of non-contingency
- Classes of valuations closed under operations Galois-dual to Boolean sentence connectives
- Epistemic operators in dependence logic
- A modal logic of supervenience
- Extended Modal Dependence Logic $\mathcal{EMDL}$
- ‘Ought’ and Resolution Semantics*
- Free Choice in Deontic Inquisitive Semantics (DIS)
- TRUTH-FUNCTIONALITY
- In the beginning was game semantics
- Inquisitive Semantics: Two Possibilities for Disjunction
- Correction to “An equivalence between relational database dependencies and a fragment of propositional logic”
- Functional Dependencies in a Relational Database and Propositional Logic
- Compositional semantics for a language of imperfect information
- Rejection
- Moral Realism and the Modal Argument
- CLASSICALLY ARCHETYPAL RULES
- The Expressive Power of Modal Dependence Logic
- Inquisitive Semantics
- A study of some ‘separated’ conditions on binary relations
- LOGICS FOR PROPOSITIONAL DETERMINACY AND INDEPENDENCE
- Modal dependence logics: axiomatizations and model-theoretic properties
- Dependency as Question Entailment
- Avoiding Impossibility Theorems in Radical Inquisitive Semantics
- On Dependence Logic
- Supervenience and Infinitary Logic
- Propositional computability logic I
- AGGREGATION AND IDEMPOTENCE
- The independence of connectives
- All or none; A novel choice of primitives for elementary logic
- Minimal predicates, fixed-points, and definability
- On the syntactical construction of systems of modal logic
- Note on supervenience and definability
This page was built for publication: Supervenience, Dependence, Disjunction