Characterization of Medvedev's logic by means of Kubinski's frames

Bulletin of the Section of Logic 42 (1/2):83-90 (2013)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

On fragments of Medvedev's logic.Miros>law Szatkowski - 1981 - Studia Logica 40 (1):39 - 54.
On Fragments of Medvedev's Logic.Mirosław Szatkowski - 1981 - Studia Logica 40 (1):39 - 54.
Characterizing the Join-Irreducible Medvedev Degrees.Paul Shafer - 2011 - Notre Dame Journal of Formal Logic 52 (1):21-38.
Some remarks on the algebraic structure of the Medvedev lattice.Andrea Sorbi - 1990 - Journal of Symbolic Logic 55 (2):831-853.
A General Lindström Theorem for Some Normal Modal Logics.Sebastian Enqvist - 2013 - Logica Universalis 7 (2):233-264.
Cylindric modal logic.Yde Venema - 1995 - Journal of Symbolic Logic 60 (2):591-623.
Characterizations of negative definability in modal logic.Marco Hollenberg - 1998 - Studia Logica 60 (3):357-386.
Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable.Valentin Shehtman - 1990 - Studia Logica 49 (3):365 - 385.
Coding true arithmetic in the Medvedev and Muchnik degrees.Paul Shafer - 2011 - Journal of Symbolic Logic 76 (1):267 - 288.
Models for relevant modal logics.André Fuhrmann - 1990 - Studia Logica 49 (4):501 - 514.
On axiomatising products of Kripke frames.Ágnes Kurucz - 2000 - Journal of Symbolic Logic 65 (2):923-945.
Constructive Logic and the Medvedev Lattice.Sebastiaan A. Terwijn - 2006 - Notre Dame Journal of Formal Logic 47 (1):73-82.
Provability and Interpretability Logics with Restricted Realizations.Thomas F. Icard & Joost J. Joosten - 2012 - Notre Dame Journal of Formal Logic 53 (2):133-154.

Analytics

Added to PP
2013-10-28

Downloads
22 (#709,216)

6 months
2 (#1,198,900)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Standard bayes logic is not finitely axiomatizable.Zalán Gyenis - 2020 - Review of Symbolic Logic 13 (2):326-337.
The Modal Logic of Bayesian Belief Revision.Zalán Gyenis, Miklós Rédei & William Brown - 2019 - Journal of Philosophical Logic 48 (5):809-824.

Add more citations

References found in this work

Add more references