- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Uniform definability in propositional dependence logic
Review of Symbolic Logic 10 (1):65-79 (2017)
Abstract
This article has no associated abstract. (fix it)Author's Profile
My notes
Similar books and articles
Uniform inductive definability and infinitary languages.Anders M. Nyberg - 1976 - Journal of Symbolic Logic 41 (1):109-120.
A Note On Uniform Definability And Minimal Fields Of Definition.Rahim Moosa - 2000 - Journal of Symbolic Logic 65 (2):817-821.
A note on uniform definability and minimal fields of definition.Rahim Moosa - 2000 - Journal of Symbolic Logic 65 (2):817-821.
On uniform definability of types over finite sets.Vincent Guingona - 2012 - Journal of Symbolic Logic 77 (2):499-514.
Review: Akiko Kino, On Definability of Ordinals in Logic with Infinitely Long Expressions; Akiko Kino, Correction to a Paper on Definability of Ordinals in Infinite Logic. [REVIEW]Carol Karp - 1970 - Journal of Symbolic Logic 35 (2):341-341.
Review: Albert R. Meyer, Rohit Parikh, Definability in Dynamic Logic. [REVIEW]David Harel - 1984 - Journal of Symbolic Logic 49 (4):1420-1421.
Review: Kiyoshi Iseki, Symbolic Logic (Propositional Logic). [REVIEW]A. Nakamura - 1970 - Journal of Symbolic Logic 35 (4):580-581.
On definability in multimodal logic.Joseph Y. Halpern, Dov Samet & Ella Segev - 2009 - Review of Symbolic Logic 2 (3):451-468.
On definability in multimodal logic: On definability in multimodal logic.Joseph Y. Halpern - 2009 - Review of Symbolic Logic 2 (3):451-468.
Review of Kleene, λ-Definability and Recursiveness. [REVIEW]Rózsa Péter - 1937 - Journal of Symbolic Logic 2 (1):38-39.
Analytics
Added to PP
2018-02-09
Downloads
5 (#1,562,871)
6 months
17 (#161,763)
2018-02-09
Downloads
5 (#1,562,871)
6 months
17 (#161,763)
Historical graph of downloads
Author's Profile
Citations of this work
Team Semantics for Interventionist Counterfactuals: Observations vs. Interventions.Fausto Barbero & Gabriel Sandu - 2020 - Journal of Philosophical Logic 50 (3):471-521.
Logics for propositional determinacy and independence.Valentin Goranko & Antti Kuusisto - 2018 - Review of Symbolic Logic 11 (3):470-506.
Characterizing Counterfactuals and Dependencies over (Generalized) Causal Teams.Fausto Barbero & Fan Yang - 2022 - Notre Dame Journal of Formal Logic 63 (3):301-341.
Modal Logics That Are Both Monotone and Antitone: Makinson’s Extension Results and Affinities between Logics.Lloyd Humberstone & Steven T. Kuhn - 2022 - Notre Dame Journal of Formal Logic 63 (4):515-550.
References found in this work
Compositionality I: Definitions and Variants.Peter Pagin & Dag Westerståhl - 2010 - Philosophy Compass 5 (3):250-264.
Compositional semantics for a language of imperfect information.W. Hodges - 1997 - Logic Journal of the IGPL 5 (4):539-563.
Inquisitive Logic.Ivano Ciardelli & Floris Roelofsen - 2011 - Journal of Philosophical Logic 40 (1):55-94.
Formal features of compositionality.Wilfrid Hodges - 2001 - Journal of Logic, Language and Information 10 (1):7-28.
Propositional logics of dependence.Fan Yang & Jouko Väänänen - 2016 - Annals of Pure and Applied Logic 167 (7):557-589.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-68866f4b87-lc8fp uwo