default search action
Journal of Logic and Computation, Volume 32
Volume 32, Number 1, January 2022
- Grigory K. Olkhovikov, Guillermo Badia:
Maximality of bi-intuitionistic propositional logic. 1-31 - Paolo Aglianò, Sara Ugolini:
Strictly join irreducible varieties of residuated lattices. 32-64 - Matea Celar, Zvonko Iljazovic:
Computability of glued manifolds. 65-97 - Uri Andrews, Steffen Lempp, Manat Mustafa, Noah David Schweber:
The first-order theory of the computably enumerable equivalence relations in the uncountable setting. 98-114 - Régis Riveret, Nir Oren:
On probabilistic argumentation and subargument-completeness. 115-128 - Lukas Grätz:
Truth tables for modal logics T and S4, by using three-valued non-deterministic level semantics. 129-157 - Pawel Pawlowski, Elio La Rosa:
Modular non-deterministic semantics for T, TB, S4, S5 and more. 158-171 - Takahiro Sawasaki, Katsuhiko Sano:
Corrigendum to: Frame definability, canonicity and cut elimination in common sense modal predicate logics. 172 - Yongfeng Yuan, Shier Ju, Xuefeng Wen:
Erratum to: Evaluative multiple revision based on core beliefs. 173
Volume 32, Number 2, February 2022
- Francesco Calimeri, Simona Perri, Ester Zumpano:
Preface to the Special Issue from the 35th Italian Conference on Computational Logic (CILC 2020). 175-177 - Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré:
A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps. 178-205 - Stefano Forti, Giuseppe Bisicchia, Antonio Brogi:
Declarative continuous reasoning in the cloud-IoT continuum. 206-232 - Marianna Girlando, Björn Lellmann, Nicola Olivetti, Stefano Pesce, Gian Luca Pozzato:
Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning. 233-280 - Stefano Bistarelli, Carlo Taticchi:
A Labelling Semantics and Strong Admissibility for Weighted Argumentation Frameworks. 281-306 - Nicola Rizzo, Agostino Dovier:
3coSoKu and its declarative modeling. 307-330 - Francesco Fabiano, Alessandro Dal Palù:
An ASP approach for arteries classification in CT scans. 331-346 - Andrea Loreggia, Emiliano Lorini, Giovanni Sartor:
Modelling Ceteris Paribus Preferences with Deontic Logic. 347-368 - Roberta Calegari, Andrea Omicini, Giuseppe Pisano, Giovanni Sartor:
Arg2P: an argumentation framework for explainable intelligent systems. 369-401 - Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach. 402-442 - Stefania Costantini:
Ensuring trustworthy and ethical behaviour in intelligent logical agents. 443-478
Volume 32, Number 3, April 2022
- Sergey Slavnov:
On embedding Lambek calculus into commutative categorial grammars. 479-517 - Sujata Ghosh, Katsuhiko Sano:
Rely more or less, for better or for worse: Intertwining reliability and preferences. 518-553 - Maciej Zielenkiewicz, Aleksy Schubert:
Automata theory approach to predicate intuitionistic logic. 554-580 - Wesley Calvert, Douglas Cenzer, Valentina S. Harizanov:
Densely computable structures. 581-607 - Antonio Di Nola, Giacomo Lenzi, Gaetano Vitale:
Geometry of super-Łukasiewicz logics. 608-629 - Theofanis I. Aravanis:
An ASP-based solver for parametrized-difference revision. 630-666
Volume 32, Number 4, June 2022
- K. Subramani, Piotr Wojciechowski, Ying Sheng:
Read-once refutations in Horn constraint systems: an algorithmic approach. 667-696 - João Rasga, Cristina Sernadas:
Adding abductive reasoning to a propositional logic. 697-728 - Ziba Assadi, Saeed Salehi:
Gödelian sentences, Rosserian sentences and truth. 729-740 - Juntao Wang, Pengfei He, Jiang Yang, Mei Wang, Xiaoli He:
Monadic NM-algebras: an algebraic approach to monadic predicate nilpotent minimum logic. 741-766 - Marcelo E. Coniglio, Francesc Esteva, Tommaso Flaminio, Lluís Godo:
On the expressive power of Łukasiewicz square operator. 767-807 - Stefano Bonzio, Michele Pra Baldi:
Containment logics: Algebraic Counterparts and Reduced Models. 808-831 - Lia Bozzone, Pavel Naumov:
Budget-constrained coalition strategies with discounting. 832-851
Volume 32, Number 5, July 2022
- Mikhail N. Rybakov, Dmitry Shkatov:
Complexity of finite-variable fragments of products with non-transitive modal logics. 853-870 - Luciano Caroprese, Ester Zumpano:
Semantic data management in P2P systems driven by self-esteem. 871-901 - Emanuel Kieronski, Antti Kuusisto:
One-dimensional fragment over words and trees. 902-941 - Daniel Gaina, Tomasz Kowalski:
Lindström's theorem, both syntax and semantics free. 942-975 - Yuya Okawa:
Countably many sublogics of the interpretability logic IL having fixed point properties. 976-995 - Zofia Kostrzycka:
Projective unification in weakly transitive and weakly symmetric modal logics. 996-1013
Volume 32, Number 6, September 2022
- Giuseppe Primiero, Marija Slavkovik, Sonja Smets:
Netreason: Reasoning about social networks. 1015-1016 - Mirko Tagliaferri, Alessandro Aldini:
From belief to trust: A quantitative framework based on modal logic. 1017-1047 - Bogdan Aman, Gabriel Ciobanu:
Stochastic sharing calculus for reasoning about social networks. 1048-1066 - Andrés Occhipinti Liberman, Rasmus K. Rendsvig:
Reasoning about epistemic social network dynamics using dynamic term-modal logic. 1067-1087 - Vitor Machado, Mario R. F. Benevides:
Temporal logic for social networks. 1088-1108 - Vlasta Sikimic, Ole Herud-Sikimic:
Modelling efficient team structures in biology. 1109-1128 - Nicole Fitzgerald, Jacopo Tagliabue:
On the plurality of graphs. 1129-1141 - Yuri David Santos, Barteld Kooi, Rineke Verbrugge:
Iterative social consolidations: Forming beliefs from many-valued evidence and peers' opinions. 1142-1161 - Piotr Faliszewski, Rica Gonen, Martin Koutecký, Nimrod Talmon:
Opinion diffusion and campaigning on society graphs. 1162-1194 - Louise A. Dennis, Yu Fu, Marija Slavkovik:
Markov chain model representation of information diffusion in social networks. 1195-1211 - Saúl Fernández González:
Change in social networks: Some dynamic extensions of Social Epistemic Logic. 1212-1233 - Zahra Moezkarimi, Fatemeh Ghassemi, Mohammad Reza Mousavi:
A policy-aware epistemic framework for social networks. 1234-1271 - Alessandro Aldini:
On the modeling and verification of the spread of fake news, algebraically. 1272-1291 - Lorenzo Prandi, Giuseppe Primiero:
A logic for biassed information diffusion by paranoid agents in social networks. 1292-1315
Volume 32, Number 7, October 2022
- Nico Roos:
Extending dynamic logic with refinements of abstract actions. 1317-1351 - José Carmo, Andrew J. I. Jones:
Carmo and Jones' logic for contrary-to-duty obligations revised. 1352-1364 - Jonathan van Toor:
Pattern connectives. 1365-1374 - Wei Wang, Bin Zhao:
Topologies on residuated lattices. 1375-1400 - Emma Rollon, Javier Larrosa:
Proof Complexity for the Maximum Satisfiability Problem and its Use in SAT Refutations. 1401-1435 - Nadia Creignou, Raïda Ktari, Odile Papini:
Belief contraction and erasure in fragments of propositional logic. 1436-1468 - Wenjing Du, Zihan Niu, Minghui Xiong:
Resolving the Cohenian paradox in judicial probability theory. 1469-1485
Volume 32, Number 8, December 2022
- Sergei Artemov, Anil Nerode:
Editorial. 1486 - Juan P. Aguilera, Jan Bydzovsky, David Fernández-Duque:
Noetherian Gödel logics. 1487-1503 - Richard Krogman, Douglas Cenzer:
Complexity of injection structures induced by finite state transducers. 1504-1530 - Neil J. DeBoer:
Justification logic and type theory as formalizations of intuitionistic propositional logic. 1531-1557 - David Fernández-Duque, Joost J. Joosten, Fedor Pakhomov, Konstnatinos Papafilippou, Andreas Weiermann:
Arithmetical and Hyperarithmetical Worm Battles. 1558-1584 - Christian Hagemeier, Dominik Kirst:
Constructive and mechanised meta-theory of IEL and similar modal logics. 1585-1610 - Bjørn Kjos-Hanssen:
Interpolating between the Jaccard distance and an analogue of the normalized information distance. 1611-1623 - Juha Kontinen, Arne Meier, Yasir Mahmood:
A parameterized view on the complexity of dependence and independence logic. 1624-1644 - David Lehnherr, Zoran Ognjanovic, Thomas Studer:
A logic of interactive proofs. 1645-1658 - Yanhong A. Liu, Scott D. Stoller:
Recursive rules with aggregation: a simple unified semantics. 1659-1693 - Pedro Filipe, Sérgio Marcelino, Carlos Caleiro:
Computational properties of finite PNmatrices. 1694-1719 - Eoin Moore:
Soundness and completeness results for LEA and probability semantics. 1720-1746 - Dag Normann, Sam Sanders:
On the computational properties of basic mathematical notions. 1747-1795 - V. Alexis Peluce:
Classical reasoning in the justification paradigm. 1796-1814 - Iosif Petrakis:
Strict computability models over categories and presheaves. 1815-1838 - Daniel Rogozin:
Some results on relation algebra reducts: Residuated and semilattice-ordered semigroups. 1839-1854 - Davide Trotta, Matteo Spadetto, Valeria de Paiva:
Dialectica logical principles: not only rules. 1855-1875
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.