External Links

    Journal: Journal of Logic and Computation

    Volume 16, Issue 6

    713 -- 735Daniel Gâinâ, Andrei Popescu. An Institution-independent Generalization of Tarski s Elementary Chain Theorem
    737 -- 763Thomas Bolander, Torben Braüner. Tableau-based Decision Procedures for Hybrid Logic
    765 -- 787Dirk Walther, Carsten Lutz, Frank Wolter, Michael Wooldridge. ATL Satisfiability is Indeed EXPTIME-complete
    789 -- 815Wendy MacCaull, Ewa Orlowska. A Logic of Type Relations and its Applications to Relational Databases
    817 -- 840Argimiro Arratia, Carlos E. Ortiz. Expressive Power and Complexity of a Logic with Quantifiers that Count Proportions of Sets
    841 -- 865Raymond Turner. Computability in Specification
    867 -- 890Mauricio Osorio, Juan Antonio Navarro Pérez, José R. Arrazola Ramírez, Verónica Borja Macías. Logics with Common Weak Completions
    891 -- 916Ernest Davis. The Expressivity of Quantifying over Regions

    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

    Volume 16, Issue 4

    405 -- 422George Metcalfe. Proof Theory for Casari s Comparative Logics
    423 -- 450Franco Montagna, Carles Noguera, Rostislav Horcík. On Weakly Cancellative Fuzzy Logics
    451 -- 460Rafal Urbaniak. On Representing Sentential Connectives of Lesniewski s Elementary Protothetic
    461 -- 487Danièle Beauquier, Alexander Moshe Rabinovich, Anatol Slissenko. A Logic of Probability with Decidable Model Checking
    489 -- 532Giorgi Japaridze. Introduction to Cirquent Calculus and Abstract Resource Semantics

    Volume 16, Issue 3

    315 -- 338Quoc Bao Vo, Abhaya C. Nayak, Norman Y. Foo. A Syntax-based Approach to Reasoning about Action and Belief Update
    339 -- 357Razvan Diaconescu. Proof Systems for Institutional Logic
    359 -- 373Manuel Bodirsky, Jaroslav Nesetril. Constraint Satisfaction with Countable Homogeneous Templates
    375 -- 402M. Birna van Riemsdijk, Frank S. de Boer, John-Jules Ch. Meyer. Dynamic Logic for Plan Revision in Agent Programming

    Volume 16, Issue 2

    161 -- 175Barteld P. Kooi, Gerard R. Renardel de Lavalette, Rineke Verbrugge. Hybrid Logics with Infinitary Proof Systems
    177 -- 197Nick Bezhanishvili, Balder ten Cate. Transfer Results for Hybrid Logic. Part I: The Case Without Satisfaction Operators
    199 -- 204Morteza Moniri. An Independence Result for Intuitionistic Bounded Arithmetic
    205 -- 225Petr Savický, Roberto Cignoli, Francesc Esteva, Lluis Godo, Carles Noguera. On Product Logic with Truth-constants
    227 -- 255Jorge García Duque, Martín López Nores, José J. Pazos Arias, Ana Fernández Vilas, Rebeca P. Díaz Redondo, Alberto Gil-Solla, Yolanda Blanco-Fernández, Manuel Ramos Cabrer. A Six-valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications
    257 -- 285Zoran Ognjanovic. Discrete Linear-time Probabilistic Logics: Completeness, Decidability and Complexity
    287 -- 309Riccardo Pucella. Deductive Algorithmic Knowledge

    Volume 16, Issue 1

    1 -- 3. Editorial
    5 -- 25Miki Tanaka, John Power. A Unified Category-theoretic Semantics for Binding Signatures in Substructural Logics
    27 -- 59Rohit Chadha, Damiano Macedonio, Vladimiro Sassone. A Hybrid Intuitionistic Logic: Semantics and Decidability
    61 -- 133Tatjana Lutovac, James Harland. Detecting Loops During Proof Search in Propositional Affine Logic
    135 -- 155Jeff Polakow. Linearity Constraints as Bounded Intervals in Linear Logic Programming
    runs on