Annals of Pure and Applied Logic:103159 (forthcoming)
Abstract | This article has no associated abstract. (fix it) |
Keywords | No keywords specified (fix it) |
Categories | (categorize this paper) |
DOI | 10.1016/j.apal.2022.103159 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Dynamic Epistemic Logic.Hans van Ditmarsch, Wiebe van Der Hoek & Barteld Kooi - 2008 - Studia Logica 89 (3):441-445.
The Intransitivity of Causation Revealed in Equations and Graphs.Christopher Hitchcock - 2001 - Journal of Philosophy 98 (6):273.
Compositional Semantics for a Language of Imperfect Information.W. Hodges - 1997 - Logic Journal of the IGPL 5 (4):539-563.
View all 15 references / Add more references
Citations of this work BETA
No citations found.
Similar books and articles
Team Semantics for Interventionist Counterfactuals: Observations vs. Interventions.Fausto Barbero & Gabriel Sandu - 2021 - 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.
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.
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.
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 index
2022-06-24
Total views
6 ( #1,137,425 of 2,519,499 )
Recent downloads (6 months)
6 ( #116,789 of 2,519,499 )
2022-06-24
Total views
6 ( #1,137,425 of 2,519,499 )
Recent downloads (6 months)
6 ( #116,789 of 2,519,499 )
How can I increase my downloads?
Downloads