The undecidability of propositional adaptive logic

&
Synthese 169 (1):217-218 (2009)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/s11229-009-9496-x

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

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

The Undecidability of Propositional Adaptive Logic.Leon Horsten & Philip Welch - 2007 - Synthese 158 (1):41-60.
L. HORSTEN and P. WELCH/The undecidability of propositional adaptive logic 41.J. Hughes, P. Kroes & S. Zwart - 2007 - Synthese 158 (1):158.
Erratum: The Undecidability of Propositional Adaptive Logic.Leon Horsten & Philip Welch - 2009 - Synthese 169 (1):217 - 218.
Modal Logics Between Propositional and First Order.Melvin Fitting - unknown
The generation of abductive explanations from inconsistent theories.Dagmar Provijn - 2012 - Logic Journal of the IGPL 20 (2):400-416.
On Algorithmic Properties of Propositional Inconsistency-Adaptive Logics.Sergei P. Odintsov & Stanislav O. Speranski - 2012 - Logic and Logical Philosophy 21 (3):209-228.
Undecidability of the Problem of Recognizing Axiomatizations of Superintuitionistic Propositional Calculi.Evgeny Zolin - 2014 - Studia Logica 102 (5):1021-1039.
A second course in logic.Christopher Gauker - manuscript
Undecidability of the General Problems of Completeness, Decidability and Equivalence for Propositional Calculi.A. V. Kuznecov & E. Mendelson - 1972 - Journal of Symbolic Logic 37 (4):756-757.
Decision problems for propositional linear logic.Patrick Lincoln, John Mitchell, Andre Scedrov & Natarajan Shankar - 1992 - Annals of Pure and Applied Logic 56 (1-3):239-311.
The undecidability of the disjunction property of propositional logics and other related problems.Alexander Chagrov & Michael Zakharyaschev - 1993 - Journal of Symbolic Logic 58 (3):967-1002.
Game logic and its applications I.Mamoru Kaneko & Takashi Nagashima - 1996 - Studia Logica 57 (2-3):325 - 354.
Modelling def+easible reasoning by means of adaptive logic games.Peter Verdée - 2012 - Logic Journal of the IGPL 20 (2):417-437.
Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions.Davide Bresolin, Valentin Goranko, Angelo Montanari & Guido Sciavicco - 2010 - Annals of Pure and Applied Logic 161 (3):289-304.
A propositional dynamic logic with qualitative probabilities.Dimitar P. Guelev - 1999 - Journal of Philosophical Logic 28 (6):575-604.

Analytics

Added to PP
2016-02-04

Downloads
25 (#595,425)

6 months
4 (#678,769)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Leon Horsten
Universität Konstanz

Citations of this work

Wittgenstein on Incompleteness Makes Paraconsistent Sense.Francesco Berto - 2008 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Springer. pp. 257--276.
New arguments for adaptive logics as unifying frame for the defeasible handling of inconsistency.Diderik Batens - 2013 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Springer. pp. 101--122.

Add more citations

References found in this work

A general characterization of adaptive logics.Diderik Batens - 2001 - Logique Et Analyse 173 (175):45-68.

Add more references