Journal of Logic and Computation

Editorial

Valentin Shehtman

Editorial
J Logic Computation 2006 16: 539; doi:10.1093/logcom/exl023 [Full Text] [PDF] [Request Permissions]  

Original Articles

Philippe Balbiani and Tinko Tinchev

Definability Over the Class of all Partitions
J Logic Computation 2006 16: 541-557; doi:10.1093/logcom/exl024 [Abstract] [Full Text] [PDF] [Request Permissions]  

Jan Broersen, Andreas Herzig, and Nicolas Troquard

Embedding Alternating-time Temporal Logic in Strategic Logic of Agency
Journal of Logic and Computation Advance Access published on September 12, 2006
J Logic Computation 2006 16: 559-578; doi:10.1093/logcom/exl025 [Abstract] [Full Text] [PDF] [Request Permissions]  

Willem Conradie, Valentin Goranko, and Dimiter Vakarelov

Algorithmic Correspondence and Completeness in Modal Logic. II. Polyadic and Hybrid Extensions of the Algorithm SQEMA
Journal of Logic and Computation Advance Access published on September 23, 2006
J Logic Computation 2006 16: 579-612; doi:10.1093/logcom/exl026 [Abstract] [Full Text] [PDF] [Request Permissions]  

Davide Grossi, John-Jules CH. Meyer, and Frank Dignum

Classificatory Aspects of Counts-as: An Analysis in Modal Logic
Journal of Logic and Computation Advance Access published on October 10, 2006
J Logic Computation 2006 16: 613-643; doi:10.1093/logcom/exl027 [Abstract] [Full Text] [PDF] [Request Permissions]  

Vladimir N. Krupski

Reference Constructions in the Single-conclusion Proof Logic
Journal of Logic and Computation Advance Access published on September 12, 2006
J Logic Computation 2006 16: 645-661; doi:10.1093/logcom/exl028 [Abstract] [Full Text] [PDF] [Request Permissions]  

Ilya Mezhirov

A Game Semantics for Grz
Journal of Logic and Computation Advance Access published on September 27, 2006
J Logic Computation 2006 16: 663-669; doi:10.1093/logcom/exl029 [Abstract] [Full Text] [PDF] [Request Permissions]  

Natalia Rubtsova

On Realization of -modality by Evidence Terms
Journal of Logic and Computation Advance Access published on September 16, 2006
J Logic Computation 2006 16: 671-684; doi:10.1093/logcom/exl030 [Abstract] [Full Text] [PDF] [Request Permissions]  

Dmitrij Skvortsov

On Non-axiomatizability of Superintuitionistic Predicate Logics of Some Classes of Well-founded and Dually Well-founded Kripke Frames
Journal of Logic and Computation Advance Access published on September 27, 2006
J Logic Computation 2006 16: 685-695; doi:10.1093/logcom/exl031 [Abstract] [Full Text] [PDF] [Request Permissions]  

Tatiana Yavorskaya, Sidon

Logic of Proofs and Labels with a Complete Set of Operations
Journal of Logic and Computation Advance Access published on September 16, 2006
J Logic Computation 2006 16: 697-710; doi:10.1093/logcom/exl032 [Abstract] [Full Text] [PDF] [Request Permissions]  

Forthcoming Papers

Forthcoming Papers
J Logic Computation 2006 16: 711-712; doi:10.1093/logcom/exl040 [Full Text] [PDF] [Request Permissions]  

To see an article, click its [Full Text] or [PDF] link. To review many abstracts, check the boxes to the left of the titles you want, and click the 'Get All Checked Abstract(s)' button. To see one abstract at a time, click its [Abstract] link.