Kalafut, Juraj; Mesiarová-Zemánková, Andrea Decomposition of pseudo-uninorms with continuous underlying functions via ordinal sum. (English) Zbl 07950798 Inf. Sci. 690, Article ID 121573, 14 p. (2025). MSC: 47-XX 03-XX × Cite Format Result Cite Review PDF Full Text: DOI
Ghaziyani, Kh.; Hosseinzadeh Lotfi, F.; Kordrostami, Sohrab; Amirteimoori, Alireza Efficiency analysis in bi-level on fuzzy input and output. (English) Zbl 07950777 Inf. Sci. 690, Article ID 121551, 26 p. (2025). MSC: 90-XX 91-XX × Cite Format Result Cite Review PDF Full Text: DOI
Cerone, Antonio Multifaceted formal methods and their interdisciplinary role – from the cathedral of ‘components as coalgebras’ to the HCI context and the open source software bazaar. (English) Zbl 07949497 J. Log. Algebr. Methods Program. 142, Article ID 101006, 19 p. (2025). MSC: 68-03 03B70 68N30 68Q01 68Q42 68Q65 68U35 × Cite Format Result Cite Review PDF Full Text: DOI
Dzik, Wojciech; Kost, Sławomir; Wojtylak, Piotr Unification types and union splittings in intermediate logics. (English) Zbl 07921875 Ann. Pure Appl. Logic 176, No. 1, Article ID 103508, 37 p. (2025). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Acosta, Juan Pablo Groups definable in Presburger arithmetic. (English) Zbl 07921874 Ann. Pure Appl. Logic 176, No. 1, Article ID 103507, 17 p. (2025). MSC: 03C07 03C65 13L05 18A35 20E34 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Płotnicki, Zbigniew Information-oriented logic. Implications of natural-language sentences and all logical paradoxes solved (to appear). (English) Zbl 07875856 De Gruyter Graduate. Berlin: De Gruyter (ISBN 978-3-11-144046-0/pbk; 978-3-11-144138-2/ebook). (2025). MSC: 03-02 03B60 × Cite Format Result Cite Review PDF
Peirce, Charles S. Logic of the future. Writings on existential graphs. Part 2: correspondence (to appear). (English) Zbl 07398709 Peirceana 3/2. Berlin: De Gruyter (ISBN 978-3-11-076562-5/hbk; 978-3-11-076636-3/ebook). 500 p. (2025). MSC: 03-06 03-03 01A75 × Cite Format Result Cite Review PDF
Cooper, S. Barry; Sorbi, Andrea; Soskova, Mariya Computing with incomplete information. The mathematics of enumeration and positive reducibilities (to appear). (English) Zbl 07177077 Singapore: World Scientific (ISBN 978-981-4383-14-1/hbk). 450 p. (2025). MSC: 03-02 × Cite Format Result Cite Review PDF Full Text: DOI
Parlamento, Franco; Previale, Flavio Kanger-Wang-type sequent calculi with equality. (English) Zbl 07949022 J. Appl. Log. - IfCoLog J. Log. Appl. 11, No. 6, 725-754 (2024). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: Link
Bottazzi, Emanuele; Dinis, Bruno Flexible involutive meadows. (English) Zbl 07949021 J. Appl. Log. - IfCoLog J. Log. Appl. 11, No. 6, 701-723 (2024). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: arXiv Link
Ciungu, Lavinia Corina Centers of quantum-Wajsberg algebras. (English) Zbl 07949020 J. Appl. Log. - IfCoLog J. Log. Appl. 11, No. 6, 679-699 (2024). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: arXiv Link
Carrara, Massimiliano; Mancini, Filippo; Pra Baldi, Michele; Zhu, Wei A new game theoretic semantics (GTS-2) for weak Kleene logics. (English) Zbl 07948947 Stud. Log. 112, No. 6, 1439-1463 (2024). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI
Aranda, Víctor; Martins, Manuel; Manzano, María Propositional type theory of indeterminacy. (English) Zbl 07948946 Stud. Log. 112, No. 6, 1409-1438 (2024). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI
Tabakci, Selcuk Kaan Categoricity problem for LP and K3. (English) Zbl 07948945 Stud. Log. 112, No. 6, 1373-1407 (2024). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI
Randriamahazaka, Thomas De Morgan-Płonka sums. (English) Zbl 07948944 Stud. Log. 112, No. 6, 1343-1371 (2024). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI
Arenhart, Jonas R. B.; Omori, Hitoshi On Woodruff’s constructive nonsense logic. (English) Zbl 07948941 Stud. Log. 112, No. 6, 1261-1280 (2024). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI
Da Ré, Bruno; Szmuc, Damian; Corbalán, María Inés Non-reflexive nonsense: proof theory of paracomplete weak Kleene logic. (English) Zbl 07948940 Stud. Log. 112, No. 6, 1243-1259 (2024). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI
Greati, Vitor; Marcelino, Sérgio; Rivieccio, Umberto Finite Hilbert systems for weak Kleene logics. (English) Zbl 07948939 Stud. Log. 112, No. 6, 1215-1241 (2024). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Paoli, Francesco (ed.); St. John, Gavin (ed.) Editorial introduction. (English) Zbl 07948938 Stud. Log. 112, No. 6, 1201-1214 (2024). MSC: 00Bxx 03-XX × Cite Format Result Cite Review PDF Full Text: DOI
Editorial correction to: “Implications of Ramsey choice principles in \(\mathsf{ZF}\)”. (English) Zbl 07948153 Math. Log. Q. 70, No. 3, 356 (2024). MSC: 00Bxx 03-XX × Cite Format Result Cite Review PDF Full Text: DOI
Al-Hellawi, Layth; Alvir, Rachael; Csima, Barbara F.; Xie, Xinyue Effectiveness of Walker’s cancellation theorem. (English) Zbl 07948152 Math. Log. Q. 70, No. 3, 347-355 (2024). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Matet, Pierre Good points for scales (and more). (English) Zbl 07948151 Math. Log. Q. 70, No. 3, 333-346 (2024). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI
Guffanti, Francesca Adding a constant and an axiom to a doctrine. (English) Zbl 07948150 Math. Log. Q. 70, No. 3, 294-332 (2024). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Finkel, Olivier; Lecomte, Dominique Wadge degrees of \(\mathbf{\Delta}^0_2\) omega-powers. (English) Zbl 07948149 Math. Log. Q. 70, No. 3, 286-293 (2024). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Kamkru, Natthajak; Sonpanow, Nattapon The set of injections and the set of surjections on a set. (English) Zbl 07948148 Math. Log. Q. 70, No. 3, 275-285 (2024). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI
Barriga, Eliana Extensions of definable local homomorphisms in o-minimal structures and semialgebraic groups. (English) Zbl 07948147 Math. Log. Q. 70, No. 3, 267-274 (2024). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Kadyg-ool, Khulerben Kok-oolobovich Non-classical logic concepts of Hugh MacColl. (Russian. English summary) Zbl 07947087 Log. Issled. 30, No. 2, 111-131 (2024). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI
Lisanyuk, Elena Nikolaevna Either drink tea or hang yourself, or logical aspects of desires in argumentation about actions. (Russian. English summary) Zbl 07947086 Log. Issled. 30, No. 2, 89-110 (2024). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI
Alvand, Masoud Rethinking logical disagreements: a critique of verbalism and a normative constraints approach. (English) Zbl 07947085 Log. Issled. 30, No. 2, 72-88 (2024). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI
Devyatkin, Leonid Yur’evich Three-valued generalizations of classical logic in weak languages: the degree of maximality. (Russian. English summary) Zbl 07947084 Log. Issled. 30, No. 2, 44-71 (2024). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI
Shi, Weijun A Boolean-algebraic approach to completeness for normal modal predicate logics. (English) Zbl 07947083 Log. Issled. 30, No. 2, 23-43 (2024). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI
Markin, Vladimir Il’ich An analytic tableaux calculus adequate for the logic of existence propositions. (Russian. English summary) Zbl 07947082 Log. Issled. 30, No. 2, 11-22 (2024). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI
Wieczorek, Wojciech; Strąk, Łukasz; Nowakowski, Arkadiusz Report on the exact methods for finding minimum-sized DFA. (English) Zbl 07945601 Log. J. IGPL 32, No. 5, 909-935 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Cheng, Yong On the relationships between some meta-mathematical properties of arithmetical theories. (English) Zbl 07945600 Log. J. IGPL 32, No. 5, 880-908 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Ognjanović, Zoran; Stepić, Angelina Ilić; Perović, Aleksandar A probabilistic temporal epistemic logic: decidability. (English) Zbl 07945599 Log. J. IGPL 32, No. 5, 827-879 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Lipparini, Paolo Contact semilattices. (English) Zbl 07945598 Log. J. IGPL 32, No. 5, 815-826 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Alizadeh, Majid Remarks on uniform interpolation property. (English) Zbl 07945597 Log. J. IGPL 32, No. 5, 810-814 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Koshkin, Sergiy Logical reduction of relations: from relational databases to Peirce’s reduction thesis. (English) Zbl 07945596 Log. J. IGPL 32, No. 5, 779-809 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Zhao, Zhiguang Correspondence and canonicity theory of quasi-inequalities and \(\varPi_2\)-statements in modal subordination algebras. (English) Zbl 07945595 Log. J. IGPL 32, No. 5, 729-778 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Arusoaie, Andrei; Lucanu, Dorel Proof-carrying parameters in certified symbolic execution. (English) Zbl 07945593 Log. J. IGPL 32, No. 3, 534-571 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
González, Luciano J. Algebraic logic for the negation fragment of classical logic. (English) Zbl 07945592 Log. J. IGPL 32, No. 3, 517-533 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Robles, Gemma; Méndez, José M. The lattice of all 4-valued implicative expansions of Belnap-Dunn logic containing Routley and Meyer’s basic logic \(\mathrm{B}^{\mathrm{d}}\). (English) Zbl 07945591 Log. J. IGPL 32, No. 3, 493-516 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Rybakov, Mikhail Predicate counterparts of modal logics of provability: high undecidability and Kripke incompleteness. (English) Zbl 07945590 Log. J. IGPL 32, No. 3, 465-492 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Benzmüller, Christoph; Fuenmayor, David; Steen, Alexander; Sutcliffe, Geoff Who finds the short proof? (English) Zbl 07945589 Log. J. IGPL 32, No. 3, 442-464 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
de Jongh, Dick; Shirmohammadzadeh Maleki, Fatemeh Binary modal logic and unary modal logic. (English) Zbl 07945588 Log. J. IGPL 32, No. 3, 420-441 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Kozhemiachenko, Daniil; Vashentseva, Liubov Non-contingency in a paraconsistent setting. (English) Zbl 07945587 Log. J. IGPL 32, No. 3, 394-419 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Zhao, Zhiguang Sahlqvist completeness theory for hybrid logic with downarrow binder. (English) Zbl 07945586 Log. J. IGPL 32, No. 3, 367-393 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Michelena, Álvaro; García Ordás, María Teresa; Aveleira-Mata, José; Marcos del Blanco, David Yeregui; Timiraos Díaz, Míriam; Zayas-Gato, Francisco; Jove, Esteban; Casteleiro-Roca, José-Luis; Quintián, Héctor; Alaiz-Moretón, Héctor; Luis Calvo-Rolle, José Beta Hebbian learning for intrusion detection in networks with MQTT protocols for IoT devices. (English) Zbl 07945585 Log. J. IGPL 32, No. 2, 352-365 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Erdei, Rudolf; Delinschi, Daniela; Matei, Oliviu; Andreica, Laura Good practices in designing a communication channel architecture for secure async flexible distributed collaboration. (English) Zbl 07945584 Log. J. IGPL 32, No. 2, 334-351 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Calabrò, Antonello; Daoudagh, Said; Marchetti, Eda Towards enhanced monitoring framework with smart predictions. (English) Zbl 07945583 Log. J. IGPL 32, No. 2, 321-333 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Basurto, Nuño; García-Prieto, Diego; Quintián, Héctor; Urda, Daniel; Calvo-Rolle, José Luis; Corchado, Emilio Beta-Hebbian learning to enhance unsupervised exploratory visualizations of android malware families. (English) Zbl 07945582 Log. J. IGPL 32, No. 2, 306-320 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Karampidis, Konstantinos Exploiting multimodal biometrics for enhancing password security. (English) Zbl 07945581 Log. J. IGPL 32, No. 2, 293-305 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Llorente-Vazquez, Oscar; Santos-Grueiro, Igor; Pastor-Lopez, Iker; Garcia Bringas, Pablo Detection, exploitation and mitigation of memory errors. (English) Zbl 07945580 Log. J. IGPL 32, No. 2, 281-292 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Magán-Carrión, Roberto; Urda, Daniel; Diaz-Cano, Ignacio; Dorronsoro, Bernabé Evaluating the impact of different feature as a counter data aggregation approaches on the performance of NIDSs and their selected features. (English) Zbl 07945579 Log. J. IGPL 32, No. 2, 263-280 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Fernández-Becerra, Laura; Manuel Guerrero-Higueras, Ángel; Rodríguez-Lera, Francisco Javier; Matellán, Vicente Accountability as a service for robotics: performance assessment of different accountability strategies for autonomous robots. (English) Zbl 07945578 Log. J. IGPL 32, No. 2, 243-262 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Aranda-Corral, Gonzalo A.; Borrego-Díaz, Joaquín; Galán-Páez, Juan FCA-based reasoning for privacy. (English) Zbl 07945577 Log. J. IGPL 32, No. 2, 224-242 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Galiş, Darius; Pungilă, Ciprian; Negru, Viorel Realtime polymorphic malicious behavior detection in blockchain-based smart contracts. (English) Zbl 07945576 Log. J. IGPL 32, No. 2, 210-223 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Gyenis, Zalán; Öztürk, Övge Amalgamation and Robinson property in universal algebraic logic. (English) Zbl 07945573 Log. J. IGPL 32, No. 1, 180-196 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Shamkanov, Daniyar On algebraic and topological semantics of the modal logic of common knowledge \(\mathsf{S4}^C_I\). (English) Zbl 07945572 Log. J. IGPL 32, No. 1, 164-179 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Lv, Yajie; Chen, Wenjuan The spectra of quasi-Boolean algebras. (English) Zbl 07945571 Log. J. IGPL 32, No. 1, 139-163 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Ognjanović, Zoran; Ilić Stepić, Angelina; Perović, Aleksandar A probabilistic temporal epistemic logic: strong completeness. (English) Zbl 07945570 Log. J. IGPL 32, No. 1, 94-138 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
de Souza, Edelcio G.; Costa-Leite, Alexandre; Dias, Diogo H. B. Paraconsistentization and many-valued logics. (English) Zbl 07945569 Log. J. IGPL 32, No. 1, 76-93 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Moniri, Morteza; Shirmohammadzadeh Maleki, Fatemeh Another neighbourhood semantics for intuitionistic logic. (English) Zbl 07945568 Log. J. IGPL 32, No. 1, 64-75 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Ardeshir, Mohammad; Ruitenburg, Wim Kolmogorov and Kuroda translations into basic predicate logic. (English) Zbl 07945567 Log. J. IGPL 32, No. 1, 47-63 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Świętorzecka, Kordula First-order logic of change. (English) Zbl 07945566 Log. J. IGPL 32, No. 1, 35-46 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Afshari, Bahareh; Enqvist, Sebastian; Leigh, Graham E. Cyclic proofs for the first-order \(\mu\)-calculus. (English) Zbl 07945565 Log. J. IGPL 32, No. 1, 1-34 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Gorman, Alexi Block Book review of: J. Stillwell, The story of proof. Logic and the history of mathematics. (English) Zbl 07944741 Math. Intell. 46, No. 2, 202-204 (2024). MSC: 00A17 01-01 03-01 03-03 01A05 × Cite Format Result Cite Review PDF Full Text: DOI
Rowe, David E. On the origins of Cantor’s paradox: what Hilbert left unsaid at the 1900 ICM in Paris. (English) Zbl 07944726 Math. Intell. 46, No. 2, 102-116 (2024). Reviewer: Kıvanç Ersoy (Berlin) MSC: 01A60 03-03 × Cite Format Result Cite Review PDF Full Text: DOI
Gupal, A. M.; Vagis, O. A. Incompleteness theorem for computable problems. (English. Ukrainian original) Zbl 07944495 Cybern. Syst. Anal. 60, No. 5, 696-699 (2024); translation from Kibern. Sist. Anal. 60, No. 5, 16-19 (2024). MSC: 03Dxx 03-XX 03Bxx × Cite Format Result Cite Review PDF Full Text: DOI
Frost-Arnold, Greg Free logic. A generalization (to appear). (English) Zbl 07943795 Elements in Philosophy and Logic. Cambridge: Cambridge University Press (ISBN 978-1-00-911405-9/pbk; 978-1-00-951787-4/hbk). (2024). MSC: 03-01 03Bxx × Cite Format Result Cite Review PDF
Hartimo, Mirja Husserl’s philosophy of mathematical practice (to appear). (English) Zbl 07943694 Elements in the Philosophy of Mathematics. Cambridge: Cambridge University Press (ISBN 978-1-00-916571-6/pbk; 978-1-00-951707-2/hbk). (2024). MSC: 00-01 00A30 03-01 03A05 03-03 01A60 × Cite Format Result Cite Review PDF
Zarepour, Mohammad Saleh Medieval finitism (to appear). (English) Zbl 07943670 Elements in the Philosophy of Mathematics. Cambridge: Cambridge University Press (ISBN 978-1-00-904850-7/pbk; 978-1-00-961843-4/hbk). (2024). MSC: 01-01 01A35 03-03 03A05 × Cite Format Result Cite Review PDF
Eagle, Antony Probability and inductive logic (to appear). (English) Zbl 07943474 Elements in Philosophy and Logic. Cambridge: Cambridge University Press (ISBN 978-1-00-921019-5/pbk; 978-1-00-950758-5/hbk). (2024). MSC: 03-01 03B48 03A05 × Cite Format Result Cite Review PDF
Sauras-Altuzarra, Lorenzo Some applications of Baaz’s generalization method to the study of the factors of Fermat numbers. (English) Zbl 07942594 J. Log. Comput. 34, No. 6, 1199-1209 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Santos, Paulo Guilherme; Sieg, Wilfried; Kahle, Reinhard A new perspective on completeness and finitist consistency. (English) Zbl 07942593 J. Log. Comput. 34, No. 6, 1179-1198 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Salehi, Saeed A reunion of Gödel, Tarski, Carnap and Rosser. (English) Zbl 07942592 J. Log. Comput. 34, No. 6, 1172-1178 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Murwanashyaka, Juvenal; Pakhomov, Fedor; Visser, Albert There are no minimal essentially undecidable theories. (English) Zbl 07942591 J. Log. Comput. 34, No. 6, 1159-1171 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
ŁeŁyk, Mateusz; Nicolai, Carlo Implicit commitment in a general setting. (English) Zbl 07942590 J. Log. Comput. 34, No. 6, 1136-1158 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Kurahashi, Taishi The provability logic of all provability predicates. (English) Zbl 07942589 J. Log. Comput. 34, No. 6, 1108-1135 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Jäger, Gerhard Tame and full strict-\(\Pi^1_1\) reflection: a proof-theoretic approach. (English) Zbl 07942588 J. Log. Comput. 34, No. 6, 1082-1107 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Freund, Anton; Manca, Davide Normal functions and maximal order types. (English) Zbl 07942587 J. Log. Comput. 34, No. 6, 1064-1081 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Dybjer, Peter; Setzer, Anton The extended predicative Mahlo universe in Martin-Löf type theory. (English) Zbl 07942586 J. Log. Comput. 34, No. 6, 1032-1063 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Cheng, Yong Effective inseparability and some applications in meta-mathematics. (English) Zbl 07942585 J. Log. Comput. 34, No. 6, 1010-1031 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Baaz, Matthias (ed.); Ertel, Marcel (ed.); Kahle, Reinhard (ed.); Piecha, Thomas (ed.); von Plato, Jan (ed.) 90 years of Gödel’s incompleteness theorems: logic and computation. (English) Zbl 07942584 J. Log. Comput. 34, No. 6, 1003-1009 (2024). MSC: 03-XX 68-XX 00Bxx × Cite Format Result Cite Review PDF Full Text: DOI
Fernández-Duque, David; Joosten, Joost J.; Pakhomov, Fedor; Papafilippou, Konstantinos; Weiermann, Andreas Correction to: “Arithmetical and hyperarithmetical worm battles”. (English) Zbl 07942582 J. Log. Comput. 34, No. 5, 1001 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Pitsiladis, Georgios V.; Stefaneas, Petros S. A logical framework to model software development by multiple agents following a common specification. (English) Zbl 07942581 J. Log. Comput. 34, No. 5, 977-1000 (2024). MSC: 68N30 03B70 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Zhao, Bin; Wang, Wei Prime spectrums of EQ-algebras. (English) Zbl 07942579 J. Log. Comput. 34, No. 5, 936-962 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Almeida, Rodrigo Nicolau Polyatomic logics and generalized Blok-Esakia theory. (English) Zbl 07942578 J. Log. Comput. 34, No. 5, 887-935 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Castiglioni, José Luis; Fernández, Víctor; Mallea, Héctor Federico; San Martín, Hernán Javier On subreducts of subresiduated lattices and some related logics. (English) Zbl 07942577 J. Log. Comput. 34, No. 5, 856-886 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
D’Agostino, Marcello; Solares-Rojas, Alejandro Tractable depth-bounded approximations to FDE and its satellites. (English) Zbl 07942576 J. Log. Comput. 34, No. 5, 815-855 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Ruan, Xianglong Two kinds of enriched topological representations of \(Q\)-algebras. (English) Zbl 07942575 J. Log. Comput. 34, No. 5, 795-814 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Dalmonte, Tiziano; Grellois, Charles; Olivetti, Nicola Proof theory for the logics of bringing-it-about: ability, coalitions and means-end relationship. (English) Zbl 07942574 J. Log. Comput. 34, No. 4, 764-794 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Olszewski, Maya; Parent, Xavier; van der Torre, Leendert Permissive and regulative norms in deontic logic. (English) Zbl 07942573 J. Log. Comput. 34, No. 4, 728-763 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Governatori, Guido; Colombo Tosatto, Silvano; Rotolo, Antonino Avoiding pragmatic oddity: a bottom-up defeasible deontic logic. (English) Zbl 07942572 J. Log. Comput. 34, No. 4, 698-727 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Pardo, Pere; Straßer, Christian Modular orders on defaults in formal argumentation. (English) Zbl 07942571 J. Log. Comput. 34, No. 4, 665-697 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Faroldi, Federico L. G.; Ghari, Meghdad; Lehmann, Eveline; Studer, Thomas Consistency and permission in deontic justification logic. (English) Zbl 07942570 J. Log. Comput. 34, No. 4, 640-664 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Van De Putte, Frederik (ed.); Marra, Alessandra (ed.); Liu, Fenrong (ed.); Portner, Paul (ed.) Editorial DEON 2020/2021 Special issue. (English) Zbl 07942569 J. Log. Comput. 34, No. 4, 637-639 (2024). MSC: 03-XX 68-XX 00Bxx × Cite Format Result Cite Review PDF Full Text: DOI
Ghosh, Sujata; Gupta, Shreyas; Li, Lei Bisimulation in model-changing modal logics: an algorithmic study. (English) Zbl 07942568 J. Log. Comput. 34, No. 2, 399-427 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
van Eijck, Jan; Ju, Fengkui; Xu, Tianwen Modeling dynamics of legal relations with dynamic logic. (English) Zbl 07942567 J. Log. Comput. 34, No. 2, 372-398 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Xie, Kaibo; Yan, Jialiang A logic for desire based on causal inference. (English) Zbl 07942566 J. Log. Comput. 34, No. 2, 352-371 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI