Journal: Journal of Logic and Computation

Volume 17, Issue 3

415 -- 452Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev. A Logic for Concepts and Similarity
453 -- 477Christian G. Fermüller, Reinhard Pichler. Model Representation over Finite and Infinite Signatures
479 -- 498Sven Ove Hansson. Contraction Based on Sentential Selection
499 -- 515Magdalena Ortiz, Mauricio Osorio. Strong Negation and Equivalence in the Safe Belief Semantics
517 -- 554Thomas Bolander, Patrick Blackburn. Termination for Hybrid Tableaus
555 -- 585Alexandru Baltag, Bob Coecke, Mehrnoosh Sadrzadeh. Epistemic Actions as Resources
587 -- 604Emil Jerábek. On Independence of Variants of the Weak Pigeonhole Principle
605 -- 0. An Institution-independent Generalization of Tarski s Elementary Chain Theorem
607 -- 0. Logics with Common Weak Completions