Journal: Journal of Logic and Computation

Volume 27, Issue 8

2303 -- 2339Costas D. Koutras, Christos Moyzes, Yorgos Zikos. A modal logic of knowledge, belief and estimation
2341 -- 2381Fernando R. Velázquez-Quesada. Reliability-based preference dynamics: lexicographic upgrade
2383 -- 2410Yanjun Li, Quan Yu, Yanjing Wang. More for free: a dynamic epistemic framework for conformant planning over transition systems
2411 -- 2430Kentarô Yamamoto. Results in modal correspondence theory for possibility semantics
2431 -- 2449Ringo Baumann, Hannes Strass. On the number of bipolar Boolean functions
2451 -- 2469Juan Pablo Aguilera Ozuna, David Fernández Duque. Verification logic
2471 -- 2503Livio Robaldo, Xin Sun 0001. Reified Input/Output logic: Combining Input/Output logic and Reification to represent norms coming from existing legislation
2505 -- 2524Patrick Allo. Hard and soft logical information
2525 -- 2549Stefano Aguzzoli, Tommaso Flaminio, Sara Ugolini. Equivalences between subcategories of MTL-algebras via Boolean algebras and prelinear semihoops
2551 -- 2580Ana Luísa Duboc, Aline Paes, Gerson Zaverucha. On the formal characterization of the FORTE_MBC theory revision operators
2581 -- 2609Edmond Awad, Martin W. A. Caminada, Gabriella Pigozzi, Mikolaj Podlaszewski, Iyad Rahwan. Pareto optimality and strategy-proofness in group argument evaluation
2611 -- 2630Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne, Marek Zaionc. Combinatorics of $$\lambda$$-terms: a natural approach
2631 -- 2651Martin Fischer, Carlo Nicolai, Leon Horsten. Iterated reflection over full disquotational truth
2653 -- 2688Carlos Areces, Miguel Campercholi, Daniel Penazzi, Pedro Sánchez Terraf. The lattice of congruences of a finite line frame

Volume 27, Issue 7

1871 -- 1895Jerzy Pilecki, Marek A. Bednarczyk, Wojciech Jamroga. SMC: synthesis of uniform strategies and verification of strategic ability for multi-agent systems
1897 -- 1954Alexander Leitsch, Nicolas Peltier, Daniel Weller. CERES for first-order schemata
1955 -- 1986Ali Rezaei Divroodi, Linh Anh Nguyen. On directed simulations in description logics
1987 -- 2009Argimiro Arratia, Carlos E. Ortiz. Methods of class field theory to separate logics over finite residue classes and circuit complexity
2011 -- 2042Eduardo Fermé, Marco Garapa, Maurício D. Luís Reis. On ensconcement and contraction
2043 -- 2062Natasha Alechina, Wiebe van der Hoek, Brian Logan. Fair decomposition of group obligations
2063 -- 2088Sérgio Marcelino, Carlos Caleiro. On the characterization of fibred logics, with applications to conservativity and finite-valuedness
2089 -- 2134Mark Snaith, Chris Reed. Argument Revision
2135 -- 2169Nick Bezhanishvili, Silvio Ghilardi, Frederik Möllerström Lauridsen. One-step Heyting Algebras and Hypersequent Calculi with the Bounded Proof Property
2171 -- 2192Michael Brand, David L. Dowe. The IMP game: Learnability, approximability and adversarial learning beyond $$\Sigma^0_1$$
2193 -- 2226Emmanuel Chemla, Paul Égré, Benjamin Spector. Characterizing logical consequence in many-valued logic
2227 -- 2250Stefano Aguzzoli, Manuela Busaniche, Brunella Gerla, Miguel Andrés Marcos. On the category of Nelson paraconsistent lattices
2251 -- 2269Maciej Bendkowski, Katarzyna Grygiel, Marek Zaionc. On the likelihood of normalization in combinatory logic
2271 -- 2301Norihiro Kamide. Relating first-order monadic omega-logic, propositional linear-time temporal logic, propositional generalized definitional reflection logic and propositional infinitary logic

Volume 27, Issue 6

1677 -- 1678Razvan Diaconescu. Universal logic and computation
1679 -- 1716Ionut Tutu, José Luiz Fiadeiro. From conventional to institution-independent logic programming
1717 -- 1752Daniel Gâinâ. Downward Löwenheim-Skolem Theorem and interpolation in logics with constructors
1753 -- 1798Florian Rabe. How to identify, translate and combine logics?
1799 -- 1824Adriana Balan, Alexander Kurz 0001, Jiri Velebil. An institutional approach to positive coalgebraic logic
1825 -- 1852Diana Costa, Manuel A. Martins. Paraconsistency in hybrid logic
1853 -- 1870Juan Carlos Agudelo Agudelo, Walter Carnielli. Polynomial ring calculus for modalities

Volume 27, Issue 5

1307 -- 1332Libor Behounek. A minimalistic many-valued theory of types
1333 -- 1352Juha Kontinen, Julian-Steffen Müller, Henning Schnoor, Heribert Vollmer. Modal independence logic
1353 -- 1389Johan van Benthem, Nick Bezhanishvili, Wesley H. Holliday. A bimodal perspective on possibility semantics
1391 -- 1397Saeed Salehi, Payam Seraji. Gödel-Rosser's Incompleteness Theorem, generalized and optimized for definable theories
1399 -- 1420Evgeny Zolin. Undecidability of the transitive graded modal logic with converse
1421 -- 1464Gabrielle Anderson, David J. Pym. A Substructural Modal Logic of Utility
1465 -- 1488Victor Lagerkvist, Magnus Wahlström. The power of primitive positive definitions with polynomially many variables
1489 -- 1521Wolfgang Dvorák, Christof Spanring. Comparing the expressiveness of argumentation semantics
1523 -- 1548Norihiro Kamide. Logics with definitional reflection rules
1549 -- 1575Norihiro Kamide, Yaroslav Shramko. Embedding from multilattice logic into classical logic and vice versa
1577 -- 1606Razvan Diaconescu. Implicit Kripke semantics and ultraproducts in stratified institutions
1607 -- 1641Joaquín Díaz-Boïls. Categorical comprehensions and recursion
1643 -- 1675Vít Puncochár. Algebras of Information States

Volume 27, Issue 4

961 -- 983Andrew Matusiewicz, Neil V. Murray, Paul W. Olsen, Erik Rosenthal. Computing prime implicates by pruning the search space and accelerating subsumption
985 -- 998Seyed Mohammad Bagheri, Roghieh Safari. Completeness for linear continuous logic
999 -- 1021Emanuel Kieronski, Ian Pratt-Hartmann, Lidia Tendera. Equivalence closure in the two-variable guarded fragment
1023 -- 1066Gabriela Steren, Eduardo Bonelli. The first-order hypothetical logic of proofs
1067 -- 1094Bernhard Bliem, Reinhard Pichler, Stefan Woltran. Implementing Courcelle's Theorem in a declarative framework for dynamic programming
1095 -- 1131Shuanglong Kan, Zhiqiu Huang, Zhe Chen, Weiwei Li, Yutao Huang. Partial order reduction for checking LTL formulae with the next-time operator
1133 -- 1141Sven Ove Hansson. AGM contraction is not reconstructible as a descriptor operation
1143 -- 1156Brett McLean. Complete representation by partial functions for composition, intersection and anti-domain
1157 -- 1168Marija Boricic. Suppes-style sequent calculus for probability logic
1169 -- 1187Christian W. Bach, Jérémie Cabessa. Limit-agreeing to disagree
1189 -- 1224Pavel Naumov, Jia Tao. Knowledge in communication networks
1225 -- 1305Cédric Dégremont, Soumya Paul, Nicholas Asher. A logic of sights

Volume 27, Issue 3

607 -- 608Willem Conradie, Alessandra Palmigiano. Editorial
609 -- 637Wilmari Morton, Clint J. van Alten. The canonical FEP construction
639 -- 678Sabine Frittella, Alessandra Palmigiano, Luigi Santocanale. Dual characterizations for finite lattices via correspondence theory for monotone modal logic
679 -- 703Nick Bezhanishvili, Sumit Sourabh. Sahlqvist preservation for topological fixed-point logic
705 -- 748Willem Conradie, Andrew Craig. Canonicity results for mu-calculi: an algorithmic approach
749 -- 773Lutz Schröder, Dirk Pattinson, Tadeusz Litak. A Van Benthem/Rosen theorem for coalgebraic predicate logic
775 -- 816Alessandra Palmigiano, Sumit Sourabh, Zhiguang Zhao. Sahlqvist theory for impossible worlds
817 -- 865Alessandra Palmigiano, Sumit Sourabh, Zhiguang Zhao. Jónsson-style canonicity for ALBA-inequalities
867 -- 900Willem Conradie, Claudette Robinson. On Sahlqvist theory for hybrid logics
901 -- 920Philippe Balbiani, Tinko Tinchev. Undecidable problems for modal definability
921 -- 960Minghui Ma, Zhiguang Zhao. Unified correspondence and proof theory for strict implication

Volume 27, Issue 2

415 -- 0Matthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Stefan Hetzl, Daniel Weller. Preface
417 -- 439Egon Börger. The abstract state machines method for modular design and analysis of programming languages
441 -- 468Manuel Lamotte-Schubert, Christoph Weidenbach. BDI: a new decidable clause class
469 -- 495Georg Moser. KBOs, ordinals, subrecursive hierarchies and all that
497 -- 507Daniele Mundici, Claudia Picardi. Faulty sets of Boolean formulas and Łukasiewicz logic
509 -- 548Hans de Nivelle. Theorem proving for classical logic with partial functions by reduction to Kleene logic
549 -- 576Nicolas Peltier. A paramodulation-based calculus for refuting schemata of clause sets defined by rewrite rules
577 -- 606Bruno Woltzenlogel Paleo. Reducing redundancy in cut-elimination by resolution

Volume 27, Issue 1

1 -- 19Paulo Mateus, Amílcar Sernadas, André Souto. Universality of quantum Turing machines with deterministic control
21 -- 40Mario Piazza, Gabriele Pulcini. Unifying logics via context-sensitiveness
41 -- 80Matthew Collinson, Kevin Mcdonald, David J. Pym. Layered graph logic as an assertion language for access control policy models
81 -- 107Patrick Blackburn, Thomas Bolander, Torben Braüner, Klaus Frovin Jørgensen. Completeness and termination for a Seligman-style tableau system
109 -- 128Sebastian Eberhard, Stefan Hetzl, Daniel Weller. Boolean unification with predicates
129 -- 154Tomás Kroupa, Bruno Teheux. Modal extensions of Łukasiewicz logic for modelling coalitional power
155 -- 199Umberto Rivieccio, Achim Jung, Ramon Jansana. Four-valued modal logic: Kripke semantics and duality
201 -- 212Steffen Lewitzka. A modal logic amalgam of classical and intuitionistic propositional logic
213 -- 225Hiroyuki Kido, Yukio Ohsawa, Katsumi Nitta. Paretian argumentation frameworks for Pareto optimal arguments
227 -- 259Edmond Awad, Richard Booth 0001, Fernando Tohmé, Iyad Rahwan. Judgement aggregation in multi-agent argumentation
261 -- 297Salem Benferhat, Zied Bouraoui. Min-based possibilistic DL-Lite
299 -- 336Amanda Vidal, Francesc Esteva, Lluis Godo. On modal extensions of Product fuzzy logic
337 -- 356Milan Petrík, Thomas Vetterlein. Rees coextensions of finite, negative tomonoids
357 -- 394Ernst-Erich Doberkat, Pedro Sánchez Terraf. Stochastic non-determinism and effectivity functions
395 -- 412Pavel Naumov, Jia Tao. A modal logic for reasoning about economic policies
413 -- 414Matthew Collinson, Kevin Mcdonald, Simon Docherty, David J. Pym. Erratum to: A substructural logic for layered graphs