Studia Logica, Volume 84

Volume 84, Number 1, September 2006

Melvin Fitting:
FOIL Axiomatized. 1-22
Siegfried Gottwald:
Universes of Fuzzy Sets and Axiomatizations of Fuzzy Set Theory. Part II: Category Theoretic Approaches. 23-50
Petr Hájek:
Mathematical Fuzzy Logic - What It Can Learn from Mostowski and Rasiowa. 51-62
Ramon Jansana:
Selfextensional Logics with a Conjunction. 63-104
Dimiter Vakarelov:
Non-Classical Negation in the Works of Helena Rasiowa and Their Impact on the Theory of Negation. 105-127
Boris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev:
On Dynamic Topological and Metric Logics. 129-160
David Jehle:
Knowledge and Lotteries. 161-165

Way of Worlds II. On Possible Worlds and Related Notions

Vincent F. Hendricks, Stig Andur Pedersen:
Ways of Worlds I-II. 167-169
Horacio L. Arló-Costa, Eric Pacuit:
First-Order Classical Modal Logic. 171-210
Adam Brandenburger, H. Jerome Keisler:
An Impossibility Theorem on Beliefs in Games. 211-240
Mai Gehrke:
Generalized Kripke Frames. 241-275
Patrick Blackburn, Balder ten Cate:
Pure Extensions, Proof Rules, and Hybrid Axiomatics. 277-322
John F. Sowa:
Worlds, Models and Descriptions. 323-360

Peter Aczel, Laura Crosilla, Hajime Ishihara, Erik Palmgren, Peter Schuster:
Binary Refinement Implies Discrete Exponentiation. 361-368
Johan van Benthem, Guram Bezhanishvili, Balder ten Cate, Darko Sarenac:
Multimo dal Logics of Products of Topologies. 369-392
Roberto Cignoli, Luiz Monteiro:
Maximal Subalgebras of MV_n-algebras. A Proof of a Conjecture of A. Monteiro. 393-405
David J. Foulis:
The Universal Group of a Heyting Effect Algebra. 407-424
Benjamin George:
Second-Order Characterizable Cardinals and Ordinals. 425-449
Sergiu Rudeanu, Dan A. Simovici:
On the Ranges of Algebraic Functions on Lattices. 451-468
Jouni Järvinen:
Incomplete Information: Structure, Inference, Complexity. 469-475

Last update Fri May 24 20:49:05 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page