Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,197

External links

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

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Not every "tabular" predicate logic is finitely axiomatizable.Dmitrij Skvortsov - 1997 - Studia Logica 59 (3):387-396.
Three-elemnt non-finitely axiomatizable matrices and term-equivalence.Katarzyna Pałasińska - 2014 - Logic and Logical Philosophy 23 (4):481-497.
Finite basis problems and results for quasivarieties.Miklós Maróti & Ralph McKenzie - 2004 - Studia Logica 78 (1-2):293 - 320.
Finite basis problems and results for quasivarieties.Miklós Maróti & Ralph Mckenzie - 2004 - Studia Logica 78 (1-2):293-320.
Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable.Valentin Shehtman - 1990 - Studia Logica 49 (3):365 - 385.
The Fraenkel‐Carnap question for Dedekind algebras.George Weaver & Benjamin George - 2003 - Mathematical Logic Quarterly 49 (1):92-96.
Describing groups.André Nies - 2007 - Bulletin of Symbolic Logic 13 (3):305-339.
The Superintuitionistic Predicate Logic of Finite Kripke Frames Is Not Recursively Axiomatizable.Dmitrij Skvortsov - 2005 - Journal of Symbolic Logic 70 (2):451 - 459.
The superintuitionistic predicate logic of finite Kripke frames is not recursively axiomatizable.Dmitrij Skvortsov - 2005 - Journal of Symbolic Logic 70 (2):451-459.
Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra.Wles?aw Dziobiak - 1982 - Studia Logica 41 (4):415 - 428.
Concerning Axiomatizability of the Quasivariety Generated by a Finite Heyting or Topological Boolean Algebra.Wieslaw Dziobiak - 1982 - Studia Logica 41 (4):415 - 428.
All Finitely Axiomatizable Normal Extensions of K4.3 are Decidable.Michael Zakharyaschevm & Alexander Alekseev - 1995 - Mathematical Logic Quarterly 41 (1):15-23.
Standard bayes logic is not finitely axiomatizable.Zalán Gyenis - 2020 - Review of Symbolic Logic 13 (2):326-337.
On the Modal Logic of Jeffrey Conditionalization.Zalán Gyenis - 2018 - Logica Universalis 12 (3-4):351-374.
Classifying ℵo-categorical theories II: The existence of finitely axiomatizable proper class II theories.George Weaver & David Lippel - 1998 - Studia Logica 60 (2):275-297.

Analytics

Added to PP
2018-07-18

Downloads
15 (#951,094)

6 months
5 (#647,370)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Zalan Gyenis
Jagiellonian University

Citations of this work

No citations found.

Add more citations

References found in 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.
The Modal Logic of Bayesian Belief Revision.William Brown, Zalán Gyenis & Miklós Rédei - 2019 - Journal of Philosophical Logic 48 (5):809-824.

Add more references