899 | -- | 0 | Trevor J. M. Bench-Capon, Henry Prakken. Editorial: Logic and Law Corner |
901 | -- | 940 | Emiliano Lorini, Dominique Longin, Benoit Gaudou, Andreas Herzig. The Logic of Acceptance: Grounding Institutions on Agents Attitudes |
941 | -- | 968 | Adam Zachary Wyner, Trevor J. M. Bench-Capon. Modelling Judicial Context in Argumentation Frameworks |
969 | -- | 0 | Arnon Avron. Editorial: Proof Theory Corner |
971 | -- | 985 | Luca Alberucci. Sequent Calculi for the Modal µ-Calculus over S5 |
987 | -- | 0 | Walter Alexandre Carnielli, Heinrich Wansing. Editorial and call for papers: The Non-classical Logics Corner of the ::::Journal of Logic and Computation:::: |
989 | -- | 1017 | Vladimir V. Rybakov. Linear Temporal Logic LTK::K:: extended by Multi-Agent Logic K::n:: with Interacting Agents |
1019 | -- | 1029 | Manuela Busaniche, Roberto Cignoli. Residuated Lattices as an Algebraic Semantics for Paraconsistent Nelson s Logic |
1031 | -- | 1069 | Félix Bou, Francesc Esteva, Josep Maria Font, Àngel J. Gil, Lluis Godo, Antoni Torrens, Ventura Verdú. Logics Preserving Degrees of Truth from Varieties of Residuated Lattices |
1071 | -- | 1109 | Phan Minh Thang, Phan Minh Dung, Nguyen Duy Hung. Towards a Common Framework for Dialectical Proof Procedures in Abstract Argumentation |
1111 | -- | 0 | Jean-Yves Béziau. Editorial: Introduction to the Universal Logic Corner |
1113 | -- | 1125 | Zofia Kostrzycka. On the Density of Truth of Locally Finite Logics |
1127 | -- | 1156 | Ji Ruan, Wiebe van der Hoek, Michael Wooldridge. Verification of Games in the Game Description Language |
1157 | -- | 1173 | Merlijn Sevenster. Model-theoretic and Computational Properties of Modal Dependence Logic |
1175 | -- | 1198 | Cesarino Bertini, Robert Leporini. An Axiomatic System Suggested by Quantum Computation |
1199 | -- | 1205 | Zofia Kostrzycka. On a Finitely Axiomatizable Kripke Incomplete Logic Containing ::::KTB:::: |
1207 | -- | 1244 | Matthew Collinson, Brian Monahan, David J. Pym. A Logical and Computational Theory of Located Resource |
1245 | -- | 1279 | David A. Basin, Carlos Caleiro, Jaime Ramos, Luca Viganò. Labelled Tableaux for Distributed Temporal Logic |
1281 | -- | 1320 | Amílcar Sernadas, Cristina Sernadas, João Rasga, Marcelo E. Coniglio. A Graph-theoretic Account of Logics |
1321 | -- | 1357 | Amílcar Sernadas, Cristina Sernadas, João Rasga, Marcelo E. Coniglio. On Graph-theoretic Fibring of Logics |
1359 | -- | 1383 | Manuel Bodirsky, Hubie Chen. Qualitative Temporal and Spatial Reasoning Revisited |
1385 | -- | 1425 | Rafael H. Bordini, Michael Fisher, Michael Wooldridge, Willem Visser. Property-based Slicing for Agent Verification |
1427 | -- | 1454 | Chunlai Zhou. A Complete Deductive System for Probability Logic |
1455 | -- | 1508 | Murdoch James Gabbay, Aad Mathijssen. Nominal (Universal) Algebra: Equational Logic with Names and Binding |
1509 | -- | 1540 | Hanifa Boucheneb, Guillaume Gardey, Olivier H. Roux. TCTL Model Checking of Time Petri Nets |
1541 | -- | 1575 | Stéphane Demri, Régis Gascon. The Effects of Bounding Syntactic Resources on Presburger LTL |
1577 | -- | 1610 | Salem Benferhat, Sylvain Lagrue, Julien Rossit. Max-based Prioritized Information Fusion without Commensurability |