default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStudia Logica, Volume 50
Volume 50, Number 1, March 1991
- George Boolos, Giovanni Sambin:
Provability: the emergence of a mathematical modality. 1-23 - Petr Hájek, Vítezslav Svejdar:
A note on the normal form of closed formulas of interpretability logic. 25-28 - Vítezslav Svejdar:
Some independence results in interpretability logic. 29-38 - Dick de Jongh, Albert Visser:
Explicit Fixed Points in Interpretability Logic. 39-49 - Dick de Jongh, Marc Jumelet, Franco Montagna:
On the proof of Solovay's theorem. 51-69 - Dick de Jongh, Franco Montagna:
Rosser orderings and free variables. 71-80 - Albert Visser:
The formalization of Interpretability. 81-105 - Lev D. Beklemishev
:
Provability logics for natural turing progressions of arithmetical theories. 107-128 - Raymond M. Smullyan:
Some unifying fixed point principles. 129-141 - V. Yu. Shavrukov:
The Lindenbaum fixed point algebra is undecidable. 143-148 - Giorgie Dzhaparidze:
Predicate provability logic with non-modalized quantifiers. 149-160 - Janusz Czelakowski, Lawrence S. Moss:
Books received. 161-167
Volume 50, Number 2, June 1991
- Tomasz F. Skura:
On decision procedures for sentential logics. 173-179 - Fred Johnson:
Three-membered domains for aristotle's syllogistic. 181-187 - Alexander V. Chagrov, Michael Zakharyaschev:
The disjunction property of intermediate propositional logics. 189-216 - Isidore Fleischer, Philip Scott:
An algebraic treatment of the barwise compactness theory. 217-223 - David Booth:
Logical feedback. 225-239 - Maarten de Rijke:
A note on the interpretability logic of finitely axiomatized theories. 241-250 - Sven Ove Hansson:
Belief contraction without recovery. 251-260 - Andrzej Wisniewski:
Erotetic arguments: A preliminary analysis. 261-274 - Piotr Wojtylak:
On structural completeness of implicational logics. 275-297 - Eiji Kiriyama, Hlroakira Ono:
The contraction rule and decision problems for logics without structural rules. 299-319 - Graham Priest:
Minimally inconsistent LP. 321-331 - S. I. Mardaev:
Two sequences of locally tabular superintuitionistic logics. 333-342 - Paul S. Strauss:
Arithmetical Set Theory. 343-350 - Janusz Czelakowski:
Books received. 351-357 - Heinrich Wansing:
Addenda and corrigenda to "A general possible worlds framework for reasoning about knowledge and belief". 359
Volume 50, Numbers 3-4, September 1991
- Willem J. Blok, Don Pigozzi:
Introduction. 365-374 - Roberto Cignoli:
Complete and atomic algebras of the infinite valued Łukasiewicz logic. 375-384 - Janusz Czelakowski, Wieslaw Dziobiak:
A deduction theorem schema for deductive systems of propositional logics. 385-390 - Josep Maria Font, Ventura Verdú:
Algebraic logic for classical conjunction and disjunction. 391-419 - Roger D. Maddux:
The origin of relation algebras in the development and axiomatization of the calculus of relations. 421-455 - Larisa Maksimova:
Amalgamation and interpolation in normal modal logics. 457-471 - Luiz F. Monteiro, Sonia Savini, Julio Sewald:
Construction of monadic three-valued Łukasiewicz algebras. 473-483 - István Németi:
Algebraization of quantifier logics, an introductory overview. 485-569 - Vaughan R. Pratt:
Dynamic algebras: Examples, constructions, applications. 571-605 - Wolfgang Rautenberg:
Axiomatizing logics closely related to varieties. 607-622 - R. A. Bull:
Review. 623-629
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-31 20:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
