External Links

    Journal: Journal of Logic and Computation

    Volume 16, Issue 5

    539 -- 0Valentin B. Shehtman. Editorial
    541 -- 557Philippe Balbiani, Tinko Tinchev. Definability Over the Class of all Partitions
    559 -- 578Jan Broersen, Andreas Herzig, Nicolas Troquard. Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency
    579 -- 612Willem Conradie, Valentin Goranko, Dimiter Vakarelov. Algorithmic Correspondence and Completeness in Modal Logic. II. Polyadic and Hybrid Extensions of the Algorithm SQEMA
    613 -- 643Davide Grossi, John-Jules Ch. Meyer, Frank Dignum. Classificatory Aspects of Counts-as: An Analysis in Modal Logic
    645 -- 661Vladimir Krupski. Reference Constructions in the Single-conclusion Proof Logic
    663 -- 669Ilya Mezhirov. A Game Semantics for Grz
    671 -- 684Natalia Rubtsova. On Realization of S5-modality by Evidence Terms
    685 -- 695Dmitrij P. Skvortsov. On Non-axiomatizability of Superintuitionistic Predicate Logics of Some Classes of Well-founded and Dually Well-founded Kripke Frames
    697 -- 710Tatiana Yavorskaya. Logic of Proofs and Labels with a Complete Set of Operations
    runs on