default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStudia Logica, Volume 49
Volume 49, Number 1, March 1990
- David Makinson:
The Gärdenfors impossibility theorem in non-monotonic contexts. 1-6 - Giorgie Dzhaparidze
:
Decidable and enumerable predicate logics of provability. 7-21 - Raymond M. Smullyan:
Some new double induction and superinduction principles. 23-30 - Néstor G. Martínez:
The Priestley duality for Wajsberg algebras. 31-46 - Richard Sylvan:
Variations on da Costa C Systems and dual-intuitionistic logics I. Analyses of Cω and CCω. 47-65 - Nuel Belnap, Gerald J. Massey:
Semantic holism. 67-82 - Gerald J. Massey:
Semantic Holism is seriously false. 83-86 - Charles B. Daniels:
Definite descriptions. 87-104 - Andrzej Sendlewski:
Nelson algebras through Heyting ones: I. 105-126 - Elias Humberto Alves, J. A. D. Guerzoni:
Extending Montague's system: a three valued intensional logic. 127-132 - F. W. Kroon, Walter A. Burkhard:
On a complexity-based way of constructivizing the recursive functions. 133-149 - Janusz Czelakowski, Alasdair Urquhart, Ryszard Wójcicki, Jan Wolenski, Andrzej Sendlewski, Marcin Mostowski:
Books received. 151-161
Volume 49, Number 2, June 1990
- Jan Wolenski:
Klemens Szaniawski (1925-1990). I - M. J. Cresswell:
Modality and Mellor's McTaggart. 163-170 - Kazimierz Swirydowicz:
On regular modal logics with axiom □ ⊤ → □□ ⊤. 171-174 - George Edward Hughes:
Every world can see a reflexive world. 175-181 - Alberto Zanardo:
Axiomatization of 'Peircean' branching-time logic. 183-195 - I. L. Humberstone:
Expressive power and semantic completeness: Boolean connectives in modal logic. 197-214 - Vladimir V. Rybakov:
Logical equations and admissible rules of inference with parameters in modal provability logics. 215-239 - Claudio Cerrato:
General canonical models for graded normal logics (graded modalities IV). 241-252 - Ewa Orlowska:
Kripke semantics for knowledge representation logics. 255-272 - Jan Wolenski:
Deontic logic and possible worlds semantics: A historical sketch. 273-282 - Janusz Czelakowski:
Books received. 283-287
Volume 49, Number 3, September 1990
- Nobu-Yuki Suzuki:
Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics. 289-306 - Ewa Orlowska:
Verisimilitude based on concept analysis. 307-320 - Marek Tokarz:
On the logic of conscious belief. 321-332 - Burghard Herrmann, Wolfgang Rautenberg:
Axiomatization of the De Morgan type rules. 333-343 - Charles B. Cross:
Temporal necessity and the conditional. 345-363 - Valentin B. Shehtman:
Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable. 365-385 - Krzysztof Szymanek:
Information functions with applications. 387-400 - Michal Krynicki, Leslaw Szczerba:
On simplicity of formulas. 401-419 - Janusz Czelakowski:
Books received. 421-429
Volume 49, Number 4, December 1990
- Wojciech Buszkowski, Gerald Penn:
Categorial grammars determined from linguistic data by unification. 431-454 - Marcus Kracht:
An almost general splitting theorem for modal logic. 455-470 - Katsumi Sasaki:
The simple substitution property of Gödel's intermediate propositional logics Sn's. 471-481 - Marek Nowak:
Logics preserving degrees of truth. 483-499 - André Fuhrmann:
Models for relevant modal logics. 501-514 - Wojciech Zielonka:
Linear axiomatics of commutative product-free Lambek calculus. 515-522 - Heinrich Wansing:
A general possible worlds framework for reasoning about knowledge and belief. 523-539 - Beata Konikowska:
A two-valued logic for reasoning about different types of consequence in Kleene's three-valued logic. 541-555 - Horacio L. Arlo Costa:
Conditionals and monotonic belief revisions: the success postulate. 557-566 - Jim D. Mackenzie:
Four dialogue systems. 567-583 - Patrick Dehornoy:
A coding of the countable linear orderings. 585-590 - Franco Montagna, Giovanni Sommaruga:
A note on some extension results. 591-600 - Janusz Czelakowski:
Books received. 601-611 - Wolfgang Rautenberg:
Mail box. 613-614
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 2025-02-05 20:35 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:
