Embedding causal team languages into predicate logic

&
Annals of Pure and Applied Logic 173 (10):103159 (2022)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

DOI

10.1016/j.apal.2022.103159

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 83,748

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Team Semantics for Interventionist Counterfactuals: Observations vs. Interventions.Fausto Barbero & Gabriel Sandu - 2020 - Journal of Philosophical Logic 50 (3):471-521.
Embeddings between the elementary ontology with an atom and the monadic second-order predicate logic.Mitio Takano - 1987 - Studia Logica 46 (3):247 - 253.
Undecidability of the Logic of Partial Quasiary Predicates.Mikhail Rybakov & Dmitry Shkatov - 2022 - Logic Journal of the IGPL 30 (3):519-533.
Embedding of Modal Predicate Logics Into Lower Predicate Calculus I.Satoshi Miura - 1983 - International Logic Review 28:94.
Introduction to Mathematical Logic, Edition 2021.Vilnis Detlovs & Karlis Podnieks - manuscript
Semantic presuppositions in logical syntax.Yaroslav Kokhan - 2012 - Journal of Applied Non-Classical Logics 22 (1-2):29-41.
Embedding logics into product logic.Matthias Baaz, Petr Hájek, David Švejda & Jan Krajíček - 1998 - Studia Logica 61 (1):35-47.
Embedding first order predicate logic in fragments of intuitionistic logic.M. H. Löb - 1976 - Journal of Symbolic Logic 41 (4):705-718.
Kripke incompleteness of predicate extensions of the modal logics axiomatized by a canonical formula for a frame with a nontrivial cluster.Tatsuya Shimura - 2000 - Studia Logica 65 (2):237-247.
Logic: an introduction.Greg Restall - 2006 - New York: Routledge.
A Syntactic Embedding of Predicate Logic into Second-Order Propositional Logic.Morten H. Sørensen & Paweł Urzyczyn - 2010 - Notre Dame Journal of Formal Logic 51 (4):457-473.
Wittgensteinian Tableaux, Identity, and Co-Denotation.Kai F. Wehmeier - 2008 - Erkenntnis 69 (3):363-376.
Not every "tabular" predicate logic is finitely axiomatizable.Dmitrij Skvortsov - 1997 - Studia Logica 59 (3):387-396.
On the logic of adverbs.Ingmar Porn - 1982 - Bulletin of the Section of Logic 11 (1-2):62-63.
An introduction to the model theory of first-order predicate logic and a related temporal logic.Robert Mattison - 1968 - Santa Monica, Calif.,: Rand.

Analytics

Added to PP
2022-06-24

Downloads
12 (#842,295)

6 months
4 (#196,291)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Interventionist counterfactuals.Rachael Briggs - 2012 - Philosophical Studies 160 (1):139-166.
Compositional semantics for a language of imperfect information.W. Hodges - 1997 - Logic Journal of the IGPL 5 (4):539-563.
Dependence and Independence.Erich Grädel & Jouko Väänänen - 2013 - Studia Logica 101 (2):399-410.

View all 16 references / Add more references