Iwata, Sohei; Kurahashi, Taishi; Okawa, Yuya The fixed point and the Craig interpolation properties for sublogics of IL. (English) Zbl 07790929 Arch. Math. Logic 63, No. 1-2, 1-37 (2024). MSC: 03B45 03F45 PDFBibTeX XMLCite \textit{S. Iwata} et al., Arch. Math. Logic 63, No. 1--2, 1--37 (2024; Zbl 07790929) Full Text: DOI arXiv OA License
Gorbunov, Igor; Shkatov, Dmitry Extensions of Solovay’s system \(\mathbf{S}\) without independent sets of axioms. (English) Zbl 07748769 Ann. Pure Appl. Logic 175, No. 1, Article ID 103360, 23 p. (2024). MSC: 03B45 03B22 03F45 03F07 PDFBibTeX XMLCite \textit{I. Gorbunov} and \textit{D. Shkatov}, Ann. Pure Appl. Logic 175, No. 1, Article ID 103360, 23 p. (2024; Zbl 07748769) Full Text: DOI
Férée, Hugo; van der Giessen, Iris; van Gool, Sam; Shillito, Ian Mechanised uniform interpolation for modal logics K, GL and iSL. arXiv:2402.10494 Preprint, arXiv:2402.10494 [cs.LO] (2024). MSC: 03B45 03B20 03F45 68V20 BibTeX Cite \textit{H. Férée} et al., ``Mechanised uniform interpolation for modal logics K, GL and iSL'', Preprint, arXiv:2402.10494 [cs.LO] (2024) Full Text: arXiv OA License
Protin, Clarence Combinatory Intensional Logic: Formal foundations. arXiv:2401.01668 Preprint, arXiv:2401.01668 [math.LO] (2024). MSC: 03B65 03B45 03B42 03A05 BibTeX Cite \textit{C. Protin}, ``Combinatory Intensional Logic: Formal foundations'', Preprint, arXiv:2401.01668 [math.LO] (2024) Full Text: arXiv OA License
Shehtman, V. B.; Shkatov, D. Semiproducts, products, and modal predicate logics: some examples. (English. Russian original) Zbl 07812324 Dokl. Math. 108, No. 2, 411-418 (2023); translation from Dokl. Ross. Akad. Nauk, Mat. Inform. Protsessy Upr. 513, 99-107 (2023). MSC: 03Bxx 03-XX 03Cxx PDFBibTeX XMLCite \textit{V. B. Shehtman} and \textit{D. Shkatov}, Dokl. Math. 108, No. 2, 411--418 (2023; Zbl 07812324); translation from Dokl. Ross. Akad. Nauk, Mat. Inform. Protsessy Upr. 513, 99--107 (2023) Full Text: DOI
Piazza, Mario; Pulcini, Gabriele; Tesi, Matteo Fractional-valued modal logic and soft bilateralism. (English) Zbl 07811416 Bull. Sect. Log., Univ. Łódź, Dep. Log. 52, No. 3, 275-299 (2023). MSC: 03B45 03F03 03B50 PDFBibTeX XMLCite \textit{M. Piazza} et al., Bull. Sect. Log., Univ. Łódź, Dep. Log. 52, No. 3, 275--299 (2023; Zbl 07811416) Full Text: DOI
Luo, Jieting; Studer, Thomas; Dastani, Mehdi Providing personalized explanations: a conversational approach. (English) Zbl 07789766 Herzig, Andreas (ed.) et al., Logic and argumentation. 5th international conference, CLAR 2023, Hangzhou, China, September 10–12, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14156, 121-137 (2023). MSC: 68T27 03B42 03B45 PDFBibTeX XMLCite \textit{J. Luo} et al., Lect. Notes Comput. Sci. 14156, 121--137 (2023; Zbl 07789766) Full Text: DOI arXiv
Steen, Alexander; Sutcliffe, Geoff; Scholl, Tobias; Benzmüller, Christoph Solving modal logic problems by translation to higher-order logic. (English) Zbl 1528.68393 Herzig, Andreas (ed.) et al., Logic and argumentation. 5th international conference, CLAR 2023, Hangzhou, China, September 10–12, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14156, 25-43 (2023). MSC: 68V15 03B45 PDFBibTeX XMLCite \textit{A. Steen} et al., Lect. Notes Comput. Sci. 14156, 25--43 (2023; Zbl 1528.68393) Full Text: DOI arXiv
Fu, Xiaoxuan; Zhao, Zhiguang Dynamic modal logic with counting: when reduction axioms work and fail. (English) Zbl 07789760 Herzig, Andreas (ed.) et al., Logic and argumentation. 5th international conference, CLAR 2023, Hangzhou, China, September 10–12, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14156, 11-24 (2023). MSC: 03B45 03B42 03B70 PDFBibTeX XMLCite \textit{X. Fu} and \textit{Z. Zhao}, Lect. Notes Comput. Sci. 14156, 11--24 (2023; Zbl 07789760) Full Text: DOI
Cachin, Christian; Lehnherr, David; Studer, Thomas Modal and justification logics for multi-agent systems (invited talk). (English) Zbl 1528.68363 Herzig, Andreas (ed.) et al., Logic and argumentation. 5th international conference, CLAR 2023, Hangzhou, China, September 10–12, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14156, 3-8 (2023). MSC: 68T27 03B42 03B45 68T42 PDFBibTeX XMLCite \textit{C. Cachin} et al., Lect. Notes Comput. Sci. 14156, 3--8 (2023; Zbl 1528.68363) Full Text: DOI
Piazza, Mario; Pulcini, Gabriele; Tesi, Matteo Fractional-valued modal logic. (English) Zbl 07786926 Rev. Symb. Log. 16, No. 4, 1033-1052 (2023). MSC: 03B45 03F03 03B50 PDFBibTeX XMLCite \textit{M. Piazza} et al., Rev. Symb. Log. 16, No. 4, 1033--1052 (2023; Zbl 07786926) Full Text: DOI OA License
Moroni, Martín Santiago; Sánchez, Terraf Pedro The Zhou ordinal of labelled Markov processes over separable spaces. (English) Zbl 07786925 Rev. Symb. Log. 16, No. 4, 1011-1032 (2023). MSC: 03B70 03B45 03E15 68Q85 PDFBibTeX XMLCite \textit{M. S. Moroni} and \textit{T. P. Sánchez}, Rev. Symb. Log. 16, No. 4, 1011--1032 (2023; Zbl 07786925) Full Text: DOI arXiv
de Almeida Borges, Ana; Joosten, Joost J. An escape from Vardanyan’s theorem. (English) Zbl 07781916 J. Symb. Log. 88, No. 4, 1613-1638 (2023). MSC: 03B45 03B60 03F03 03F30 03F45 03F55 PDFBibTeX XMLCite \textit{A. de Almeida Borges} and \textit{J. J. Joosten}, J. Symb. Log. 88, No. 4, 1613--1638 (2023; Zbl 07781916) Full Text: DOI arXiv OA License
Parol, Aleksander Book review of: A. Giordani and J. Malinowski, Logic in high definition: trends in logical semantics. (English) Zbl 07767292 Stud. Log. 111, No. 6, 1083-1087 (2023). MSC: 00A17 03B42 03B45 PDFBibTeX XMLCite \textit{A. Parol}, Stud. Log. 111, No. 6, 1083--1087 (2023; Zbl 07767292) Full Text: DOI OA License
Grigoriev, Oleg; Nasieniewski, Marek; Mruczek-Nasieniewska, Krystyna; Petrukhin, Yaroslav; Shangin, Vasily Axiomatizing a minimal discussive logic. (English) Zbl 07755336 Stud. Log. 111, No. 5, 855-895 (2023). MSC: 03B53 PDFBibTeX XMLCite \textit{O. Grigoriev} et al., Stud. Log. 111, No. 5, 855--895 (2023; Zbl 07755336) Full Text: DOI OA License
Shtakser, Gennady Epistemic logics with quantification over epistemic operators: decidability and expressiveness. (English) Zbl 07753870 Log. Univers. 17, No. 3, 297-330 (2023). MSC: 03B45 03B42 PDFBibTeX XMLCite \textit{G. Shtakser}, Log. Univers. 17, No. 3, 297--330 (2023; Zbl 07753870) Full Text: DOI
Liberman, Andrés Occhipinti; Achen, Andreas; Rendsvig, Rasmus Kræmmer Erratum to: “Dynamic term-modal logics for first-order epistemic planning”. (English) Zbl 1521.68216 Artif. Intell. 323, Article ID 103969, 4 p. (2023). MSC: 68T27 03B42 03B45 68T20 68T42 PDFBibTeX XMLCite \textit{A. O. Liberman} et al., Artif. Intell. 323, Article ID 103969, 4 p. (2023; Zbl 1521.68216) Full Text: DOI
Xiong, Zuojun; Ågotnes, Thomas The logic of secrets and the interpolation rule. (English) Zbl 07730282 Ann. Math. Artif. Intell. 91, No. 4, 375-407 (2023). MSC: 03B42 03B45 PDFBibTeX XMLCite \textit{Z. Xiong} and \textit{T. Ågotnes}, Ann. Math. Artif. Intell. 91, No. 4, 375--407 (2023; Zbl 07730282) Full Text: DOI
Rogozin, Daniel; Shapirovsky, Ilya On decidable extensions of propositional dynamic logic with converse. (English) Zbl 1515.03145 J. Appl. Log. - IfCoLog J. Log. Appl. 10, No. 4, 629-642 (2023). MSC: 03B70 03B45 03B25 PDFBibTeX XMLCite \textit{D. Rogozin} and \textit{I. Shapirovsky}, J. Appl. Log. - IfCoLog J. Log. Appl. 10, No. 4, 629--642 (2023; Zbl 1515.03145) Full Text: arXiv Link
Kubyshkina, Ekaterina; Petrolo, Mattia Revising the elenchus via belief revision. (English) Zbl 07710088 Log. Univers. 17, No. 2, 231-258 (2023). MSC: 03B42 03B45 PDFBibTeX XMLCite \textit{E. Kubyshkina} and \textit{M. Petrolo}, Log. Univers. 17, No. 2, 231--258 (2023; Zbl 07710088) Full Text: DOI
Alizadeh, Majid; Ardeshir, Mohammad; Balbiani, Philippe; Mojtahedi, Mojtaba Unification types in Euclidean modal logics. (English) Zbl 1523.03006 Log. J. IGPL 31, No. 3, 422-440 (2023). Reviewer: Éric Martin (Sydney) MSC: 03B45 PDFBibTeX XMLCite \textit{M. Alizadeh} et al., Log. J. IGPL 31, No. 3, 422--440 (2023; Zbl 1523.03006) Full Text: DOI
Standefer, Shawn Varieties of relevant S5. (English) Zbl 07706062 Log. Log. Philos. 32, No. 1, 53-80 (2023). MSC: 03B47 03B45 PDFBibTeX XMLCite \textit{S. Standefer}, Log. Log. Philos. 32, No. 1, 53--80 (2023; Zbl 07706062) Full Text: DOI
Bílková, Marta; Frittella, Sabine; Kozhemiachenko, Daniil; Majer, Ondrej Qualitative reasoning in a two-layered framework. (English) Zbl 07698072 Int. J. Approx. Reasoning 154, 84-108 (2023). MSC: 68T37 PDFBibTeX XMLCite \textit{M. Bílková} et al., Int. J. Approx. Reasoning 154, 84--108 (2023; Zbl 07698072) Full Text: DOI arXiv
Standefer, Shawn A substructural approach to explicit modal logic. (English) Zbl 1515.03109 J. Logic Lang. Inf. 32, No. 2, 333-362 (2023). MSC: 03B45 03B47 PDFBibTeX XMLCite \textit{S. Standefer}, J. Logic Lang. Inf. 32, No. 2, 333--362 (2023; Zbl 1515.03109) Full Text: DOI
Badia, Guillermo; Caicedo, Xavier; Noguera, Carles Frame definability in finitely valued modal logics. (English) Zbl 07687148 Ann. Pure Appl. Logic 174, No. 7, Article ID 103273, 13 p. (2023). MSC: 03B45 03B50 03B52 03D15 03G25 PDFBibTeX XMLCite \textit{G. Badia} et al., Ann. Pure Appl. Logic 174, No. 7, Article ID 103273, 13 p. (2023; Zbl 07687148) Full Text: DOI arXiv
Kogure, Haruka; Kurahashi, Taishi Arithmetical completeness theorems for monotonic modal logics. (English) Zbl 1525.03113 Ann. Pure Appl. Logic 174, No. 7, Article ID 103271, 26 p. (2023). Reviewer: Osamu Sonobe (Follonica) MSC: 03F45 03B45 03F40 03F30 PDFBibTeX XMLCite \textit{H. Kogure} and \textit{T. Kurahashi}, Ann. Pure Appl. Logic 174, No. 7, Article ID 103271, 26 p. (2023; Zbl 1525.03113) Full Text: DOI arXiv
Ferenz, Nicholas Quantified modal relevant logics. (English) Zbl 07658886 Rev. Symb. Log. 16, No. 1, 210-240 (2023). MSC: 03B45 03B47 03Cxx PDFBibTeX XMLCite \textit{N. Ferenz}, Rev. Symb. Log. 16, No. 1, 210--240 (2023; Zbl 07658886) Full Text: DOI
Bezhanishvili, Guram; Carai, Luca Temporal interpretation of monadic intuitionistic quantifiers. (English) Zbl 1518.03003 Rev. Symb. Log. 16, No. 1, 164-187 (2023). Reviewer: Grigory K. Olkhovikov (Bochum) MSC: 03B44 03B45 03B55 03B20 PDFBibTeX XMLCite \textit{G. Bezhanishvili} and \textit{L. Carai}, Rev. Symb. Log. 16, No. 1, 164--187 (2023; Zbl 1518.03003) Full Text: DOI arXiv
Bezhanishvili, Guram; Brantley, Kristina; Ilin, Julia Monadic intuitionistic and modal logics admitting provability interpretations. (English) Zbl 07657288 J. Symb. Log. 88, No. 1, 427-467 (2023). MSC: 03B45 03F45 03B55 PDFBibTeX XMLCite \textit{G. Bezhanishvili} et al., J. Symb. Log. 88, No. 1, 427--467 (2023; Zbl 07657288) Full Text: DOI arXiv
Mikec, Luka Complexity of the interpretability logics ILW and ILP. (English) Zbl 1515.03216 Log. J. IGPL 31, No. 1, 194-213 (2023). MSC: 03F45 03B45 03D15 68Q17 PDFBibTeX XMLCite \textit{L. Mikec}, Log. J. IGPL 31, No. 1, 194--213 (2023; Zbl 1515.03216) Full Text: DOI
Balbiani, Philippe; Gencer, Çiğdem; Rostamigiv, Maryam; Tinchev, Tinko Remarks about the unification types of some locally tabular normal modal logics. (English) Zbl 1515.03088 Log. J. IGPL 31, No. 1, 115-139 (2023). MSC: 03B45 PDFBibTeX XMLCite \textit{P. Balbiani} et al., Log. J. IGPL 31, No. 1, 115--139 (2023; Zbl 1515.03088) Full Text: DOI
Ghari, Meghdad Linear temporal justification logics with past and future time modalities. (English) Zbl 1523.03005 Log. J. IGPL 31, No. 1, 1-38 (2023). Reviewer: Yaroslav Shramko (Kryvyi Rih) MSC: 03B44 03B42 03B45 PDFBibTeX XMLCite \textit{M. Ghari}, Log. J. IGPL 31, No. 1, 1--38 (2023; Zbl 1523.03005) Full Text: DOI
van der Giessen, Iris Admissible rules for six intuitionistic modal logics. (English) Zbl 07653729 Ann. Pure Appl. Logic 174, No. 4, Article ID 103233, 34 p. (2023). MSC: 03F03 03B20 03B45 03F45 PDFBibTeX XMLCite \textit{I. van der Giessen}, Ann. Pure Appl. Logic 174, No. 4, Article ID 103233, 34 p. (2023; Zbl 07653729) Full Text: DOI
Stalnaker, Robert Propositions. Ontology and logic. (English) Zbl 07645443 The Rutgers Lectures in Philosophy. Oxford: Oxford University Press (ISBN 978-0-19-764703-5/hbk; 978-0-19-764706-6/ebook). xvi, 196 p. (2023). MSC: 03-02 03A05 03B42 03B45 PDFBibTeX XMLCite \textit{R. Stalnaker}, Propositions. Ontology and logic. Oxford: Oxford University Press (2023; Zbl 07645443) Full Text: DOI
Jeřábek, Emil On the proof complexity of logics of bounded branching. (English) Zbl 1516.03022 Ann. Pure Appl. Logic 174, No. 1, Article ID 103181, 54 p. (2023). Reviewer: Ariel Germán Fernández (Buenos Aires) MSC: 03F20 03B45 03B55 PDFBibTeX XMLCite \textit{E. Jeřábek}, Ann. Pure Appl. Logic 174, No. 1, Article ID 103181, 54 p. (2023; Zbl 1516.03022) Full Text: DOI arXiv
Ciardelli, Ivano; Otto, Martin On the expressive power of inquisitive epistemic logic. arXiv:2312.14573 Preprint, arXiv:2312.14573 [math.LO] (2023). MSC: 03B45 03B42 03C07 03C80 03C98 03B70 BibTeX Cite \textit{I. Ciardelli} and \textit{M. Otto}, ``On the expressive power of inquisitive epistemic logic'', Preprint, arXiv:2312.14573 [math.LO] (2023) Full Text: arXiv OA License
Olkhovikov, Grigory K. A basic system of paraconsistent Nelsonian logic of conditionals. arXiv:2311.02361 Preprint, arXiv:2311.02361 [math.LO] (2023). MSC: 03B45 03B53 03B20 BibTeX Cite \textit{G. K. Olkhovikov}, ``A basic system of paraconsistent Nelsonian logic of conditionals'', Preprint, arXiv:2311.02361 [math.LO] (2023) Full Text: arXiv OA License
Kashima, Ryo; Kurahashi, Taishi; Iwata, Sohei Cut-free sequent calculi for the provability logic D. arXiv:2310.16369 Preprint, arXiv:2310.16369 [math.LO] (2023). MSC: 03F45 03F05 03B45 BibTeX Cite \textit{R. Kashima} et al., ``Cut-free sequent calculi for the provability logic D'', Preprint, arXiv:2310.16369 [math.LO] (2023) Full Text: arXiv OA License
Pacheco, Leonardo Game semantics for the constructive \(\mu\)-calculus. arXiv:2308.16697 Preprint, arXiv:2308.16697 [math.LO] (2023). MSC: 03B45 03F55 03B62 BibTeX Cite \textit{L. Pacheco}, ``Game semantics for the constructive $\mu$-calculus'', Preprint, arXiv:2308.16697 [math.LO] (2023) Full Text: arXiv OA License
Coniglio, Marcelo E. Combining swap structures: the case of Paradefinite Ivlev-like modal logics based on FDE. arXiv:2308.15426 Preprint, arXiv:2308.15426 [cs.LO] (2023). MSC: 03B53 03B62 03B45 03B60 BibTeX Cite \textit{M. E. Coniglio}, ``Combining swap structures: the case of Paradefinite Ivlev-like modal logics based on FDE'', Preprint, arXiv:2308.15426 [cs.LO] (2023) Full Text: arXiv OA License
Adam-Day, Sam; Bezhanishvili, Nick; Gabelaia, David; Marra, Vincenzo The Intermediate Logic of Convex Polyhedra. arXiv:2307.16600 Preprint, arXiv:2307.16600 [math.LO] (2023). MSC: 03B55 52B05 06A07 03B45 06D20 BibTeX Cite \textit{S. Adam-Day} et al., ``The Intermediate Logic of Convex Polyhedra'', Preprint, arXiv:2307.16600 [math.LO] (2023) Full Text: arXiv OA License
Bashmakov, Stepan I.; Zvereva, Tatyana Yu. Unification and finite model property for linear step-like temporal multi-agent logic with the universal modality. (English) Zbl 07811396 Bull. Sect. Log., Univ. Łódź, Dep. Log. 51, No. 3, 345-361 (2022). MSC: 03B44 03B42 03A05 03B45 03B70 03H05 PDFBibTeX XMLCite \textit{S. I. Bashmakov} and \textit{T. Yu. Zvereva}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 51, No. 3, 345--361 (2022; Zbl 07811396) Full Text: DOI
Busaniche, Manuela; Cordero, Penélope; Rodriguez, Ricardo Oscar Corrigendum to: “Algebraic semantics for the minimum many-valued modal logic over Ł\(_n\)”. (English) Zbl 1522.03062 Fuzzy Sets Syst. 447, 198-200 (2022). MSC: 03B50 03B45 06D35 PDFBibTeX XMLCite \textit{M. Busaniche} et al., Fuzzy Sets Syst. 447, 198--200 (2022; Zbl 1522.03062) Full Text: DOI
Busaniche, Manuela; Cordero, Penélope; Rodriguez, Ricardo Oscar Algebraic semantics for the minimum many-valued modal logic over Ł\(_n\). (English) Zbl 1522.03061 Fuzzy Sets Syst. 431, 94-109 (2022); corrigendum ibid. 447, 198-200 (2022). MSC: 03B50 03B45 06D35 PDFBibTeX XMLCite \textit{M. Busaniche} et al., Fuzzy Sets Syst. 431, 94--109 (2022; Zbl 1522.03061) Full Text: DOI
Vernant, Denis Existential presupposition and logical square. (English) Zbl 07740530 Béziau, Jean-Yves (ed.) et al., Logic in question. Talks from the annual Sorbonne logic workshop (2011–2019), Paris, France, April 15–16, 2019. Cham: Birkhäuser. Stud. Univers. Log., 523-533 (2022). MSC: 03A05 03Bxx 01A25 01A55 03B42 03B45 03B60 03B65 91F20 PDFBibTeX XMLCite \textit{D. Vernant}, in: Logic in question. Talks from the annual Sorbonne logic workshop (2011--2019), Paris, France, April 15--16, 2019. Cham: Birkhäuser. 523--533 (2022; Zbl 07740530) Full Text: DOI
Goris, Evan; Bílková, Marta; Joosten, Joost J.; Mikec, Luka Theory and application of labelling techniques for interpretability logics. (English) Zbl 1521.03237 Math. Log. Q. 68, No. 3, 352-374 (2022). MSC: 03F45 03B45 PDFBibTeX XMLCite \textit{E. Goris} et al., Math. Log. Q. 68, No. 3, 352--374 (2022; Zbl 1521.03237) Full Text: DOI
Lávička, Tomáš; Moraschini, Tommaso; Raftery, James G. The algebraic significance of weak excluded middle laws. (English) Zbl 1521.03255 Math. Log. Q. 68, No. 1, 79-94 (2022). MSC: 03G27 03B20 03B45 03B47 PDFBibTeX XMLCite \textit{T. Lávička} et al., Math. Log. Q. 68, No. 1, 79--94 (2022; Zbl 1521.03255) Full Text: DOI arXiv
Bjorndahl, Adam The epistemology of nondeterminism. (English) Zbl 1516.03008 J. Logic Lang. Inf. 31, No. 4, 619-644 (2022). MSC: 03B42 03B45 PDFBibTeX XMLCite \textit{A. Bjorndahl}, J. Logic Lang. Inf. 31, No. 4, 619--644 (2022; Zbl 1516.03008) Full Text: DOI
Coniglio, Marcelo E.; Fariñas del Cerro, Luis; Peron, Newton Marques Modal logic with non-deterministic semantics. II: Quantified case. (English) Zbl 07677428 Log. J. IGPL 30, No. 5, 695-727 (2022). MSC: 03B45 PDFBibTeX XMLCite \textit{M. E. Coniglio} et al., Log. J. IGPL 30, No. 5, 695--727 (2022; Zbl 07677428) Full Text: DOI arXiv
Muravitsky, Alexei The lattice NExtS41 as composed of replicas of NExtInt, and beyond. (English) Zbl 07672619 Citkin, Alex (ed.) et al., V. A. Yankov on non-classical logics, history and philosophy of mathematics. Cham: Springer. Outst. Contrib. Log. 24, 177-207 (2022). MSC: 03B45 03B55 PDFBibTeX XMLCite \textit{A. Muravitsky}, Outst. Contrib. Log. 24, 177--207 (2022; Zbl 07672619) Full Text: DOI
Rooduijn, Jan; Zenger, Lukas An analytic proof system for common knowledge logic over S5. (English) Zbl 07668120 Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 659-679 (2022). MSC: 03B42 03B45 03F05 PDFBibTeX XMLCite \textit{J. Rooduijn} and \textit{L. Zenger}, in: Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22--25, 2022. London: College Publications. 659--679 (2022; Zbl 07668120)
Niki, Satoru Intuitionistic modality and Beth semantics. (English) Zbl 07668116 Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 579-599 (2022). MSC: 03B20 03B45 03B53 PDFBibTeX XMLCite \textit{S. Niki}, in: Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22--25, 2022. London: College Publications. 579--599 (2022; Zbl 07668116)
Dalmonte, Tiziano; Girlando, Marianna Comparative plausibility in neighbourhood models: axiom systems and sequent calculi. (English) Zbl 07668103 Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 305-327 (2022). MSC: 03B42 03F03 03F05 03B45 PDFBibTeX XMLCite \textit{T. Dalmonte} and \textit{M. Girlando}, in: Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22--25, 2022. London: College Publications. 305--327 (2022; Zbl 07668103) Full Text: arXiv
Cintula, Petr; Metcalfe, George; Tokuda, Naomi Algebraic semantics for one-variable lattice-valued logics. (English) Zbl 07668100 Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 237-257 (2022). MSC: 03B50 03B45 03B47 PDFBibTeX XMLCite \textit{P. Cintula} et al., in: Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22--25, 2022. London: College Publications. 237--257 (2022; Zbl 07668100) Full Text: arXiv
Balbiani, Philippe; Gougeon, Quentin Projective unification through duality. (English) Zbl 07668094 Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 119-134 (2022). MSC: 03B45 PDFBibTeX XMLCite \textit{P. Balbiani} and \textit{Q. Gougeon}, in: Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22--25, 2022. London: College Publications. 119--134 (2022; Zbl 07668094)
Akbar Tabatabai, Amirhossein Provability logics of hierarchies. (English) Zbl 1523.03028 Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 59-76 (2022). Reviewer: Osamu Sonobe (Follonica) MSC: 03F45 03B45 PDFBibTeX XMLCite \textit{A. Akbar Tabatabai}, in: Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22--25, 2022. London: College Publications. 59--76 (2022; Zbl 1523.03028) Full Text: arXiv
Peluce, V. Alexis Classical reasoning in the justification paradigm. (English) Zbl 07638210 J. Log. Comput. 32, No. 8, 1796-1814 (2022). Reviewer: Meghdad Ghari (Isfahan) MSC: 03B42 03B20 03B45 03F45 03A05 PDFBibTeX XMLCite \textit{V. A. Peluce}, J. Log. Comput. 32, No. 8, 1796--1814 (2022; Zbl 07638210) Full Text: DOI
Robles, Gemma; López, Sandra M.; Blanco, José M. Relational semantics for the paraconsistent and paracomplete 4-valued logic PŁ4. (English) Zbl 07634943 Log. Log. Philos. 31, No. 4, 665-687 (2022). MSC: 03B50 03B53 PDFBibTeX XMLCite \textit{G. Robles} et al., Log. Log. Philos. 31, No. 4, 665--687 (2022; Zbl 07634943) Full Text: DOI
Humberstone, Lloyd; Kuhn, Steven T. Modal logics that are both monotone and antitone: Makinson’s extension results and affinities between logics. (English) Zbl 07634481 Notre Dame J. Formal Logic 63, No. 4, 515-550 (2022). MSC: 03B45 03B05 03A05 03F25 PDFBibTeX XMLCite \textit{L. Humberstone} and \textit{S. T. Kuhn}, Notre Dame J. Formal Logic 63, No. 4, 515--550 (2022; Zbl 07634481) Full Text: DOI Link
Bezhanishvili, Guram; Gabelaia, David; Jibladze, Mamuka A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras. (English) Zbl 07632520 J. Math. Log. 22, No. 3, Article ID 2250013, 21 p. (2022). MSC: 03B55 06D20 18F70 03B45 06E15 PDFBibTeX XMLCite \textit{G. Bezhanishvili} et al., J. Math. Log. 22, No. 3, Article ID 2250013, 21 p. (2022; Zbl 07632520) Full Text: DOI arXiv
Papacchini, Fabio; Nalon, Cláudia; Hustadt, Ullrich; Dixon, Clare Local is best: efficient reductions to modal logic K. (English) Zbl 1512.68425 J. Autom. Reasoning 66, No. 4, 639-666 (2022); correction ibid. 66, No. 4, 1099 (2022). MSC: 68V15 03B35 03B45 PDFBibTeX XMLCite \textit{F. Papacchini} et al., J. Autom. Reasoning 66, No. 4, 639--666 (2022; Zbl 1512.68425) Full Text: DOI
Chen, Jinsheng; Greco, Giuseppe; Palmigiano, Alessandra; Tzimoulis, Apostolos Syntactic completeness of proper display calculi. (English) Zbl 1505.03121 ACM Trans. Comput. Log. 23, No. 4, Article No. 23, 46 p. (2022). MSC: 03F03 03F05 03B45 PDFBibTeX XMLCite \textit{J. Chen} et al., ACM Trans. Comput. Log. 23, No. 4, Article No. 23, 46 p. (2022; Zbl 1505.03121) Full Text: DOI arXiv
Bílková, Marta; Frittella, Sabine; Kozhemiachenko, Daniil Paraconsistent Gödel modal logic. (English) Zbl 07628202 Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 429-448 (2022). MSC: 68V15 PDFBibTeX XMLCite \textit{M. Bílková} et al., Lect. Notes Comput. Sci. 13385, 429--448 (2022; Zbl 07628202) Full Text: DOI arXiv
Vidal, Amanda Undecidability and non-axiomatizability of modal many-valued logics. (English) Zbl 07620700 J. Symb. Log. 87, No. 4, 1576-1605 (2022). MSC: 03B45 03B47 03B50 03B52 PDFBibTeX XMLCite \textit{A. Vidal}, J. Symb. Log. 87, No. 4, 1576--1605 (2022; Zbl 07620700) Full Text: DOI arXiv
Moraschini, Tommaso On equational completeness Theorems. (English) Zbl 07620699 J. Symb. Log. 87, No. 4, 1522-1575 (2022). MSC: 03G27 08B05 03B55 03B45 03B47 PDFBibTeX XMLCite \textit{T. Moraschini}, J. Symb. Log. 87, No. 4, 1522--1575 (2022; Zbl 07620699) Full Text: DOI arXiv
Leturc, Christopher; Bonnet, Grégory Reasoning about manipulation in multi-agent systems. (English) Zbl 1517.03032 J. Appl. Non-Class. Log. 32, No. 2-3, 89-155 (2022). MSC: 03B70 03B45 68T27 PDFBibTeX XMLCite \textit{C. Leturc} and \textit{G. Bonnet}, J. Appl. Non-Class. Log. 32, No. 2--3, 89--155 (2022; Zbl 1517.03032) Full Text: DOI
Gilbert, David; Kubyshkina, Ekaterina; Petrolo, Mattia; Venturi, Giorgio Logics of ignorance and being wrong. (English) Zbl 1499.03014 Log. J. IGPL 30, No. 5, 870-885 (2022). MSC: 03B42 PDFBibTeX XMLCite \textit{D. Gilbert} et al., Log. J. IGPL 30, No. 5, 870--885 (2022; Zbl 1499.03014) Full Text: DOI
van Gessel, Thom Questions in two-dimensional logic. (English) Zbl 07613696 Rev. Symb. Log. 15, No. 4, 859-879 (2022). MSC: 03B42 03B45 03B60 PDFBibTeX XMLCite \textit{T. van Gessel}, Rev. Symb. Log. 15, No. 4, 859--879 (2022; Zbl 07613696) Full Text: DOI
Mortari, Cezar A. Some classical modal logics with a necessity/impossibility operator. (English) Zbl 1515.03102 J. Appl. Log. - IfCoLog J. Log. Appl. 9, No. 1, 495-521 (2022). MSC: 03B45 PDFBibTeX XMLCite \textit{C. A. Mortari}, J. Appl. Log. - IfCoLog J. Log. Appl. 9, No. 1, 495--521 (2022; Zbl 1515.03102)
Figallo-Orellano, Aldo; Peréz-Gaspar, Miguel; Ramírez-Contreras, Juan Manuel Paraconsistent and paracomplete logics based on \(k\)-cyclic modal pseudocomplemented De Morgan algebras. (English) Zbl 1508.03063 Stud. Log. 110, No. 5, 1291-1325 (2022). Reviewer: Gemma Robles (León) MSC: 03B53 06D30 03B45 PDFBibTeX XMLCite \textit{A. Figallo-Orellano} et al., Stud. Log. 110, No. 5, 1291--1325 (2022; Zbl 1508.03063) Full Text: DOI
Tabakci, Selcuk Kaan Subminimal negation on the Australian plan. (English) Zbl 07595245 J. Philos. Log. 51, No. 5, 1119-1139 (2022). MSC: 03-XX PDFBibTeX XMLCite \textit{S. K. Tabakci}, J. Philos. Log. 51, No. 5, 1119--1139 (2022; Zbl 07595245) Full Text: DOI
Rybakov, Mikhail; Shkatov, Dmitry Complexity of finite-variable fragments of products with non-transitive modal logics. (English) Zbl 07589718 J. Log. Comput. 32, No. 5, 853-870 (2022). MSC: 03-XX 68-XX PDFBibTeX XMLCite \textit{M. Rybakov} and \textit{D. Shkatov}, J. Log. Comput. 32, No. 5, 853--870 (2022; Zbl 07589718) Full Text: DOI
Wang, Haoyu; Wang, Yanjing; Wang, Yunsong Inquisitive logic as an epistemic logic of knowing how. (English) Zbl 07587332 Ann. Pure Appl. Logic 173, No. 10, Article ID 103145, 29 p. (2022). MSC: 03B55 03B45 03B42 03B20 03B60 PDFBibTeX XMLCite \textit{H. Wang} et al., Ann. Pure Appl. Logic 173, No. 10, Article ID 103145, 29 p. (2022; Zbl 07587332) Full Text: DOI arXiv
Urquhart, Alasdair Who was Schiller Joe Scroggs? (English) Zbl 07576861 Bimbó, Katalin (ed.), Relevance logics and other tools for reasoning. Essays in honor of J. Michael Dunn. London: College Publications. Tributes 46, 427-434 (2022). MSC: 03-03 03B45 03B47 01A70 01A60 PDFBibTeX XMLCite \textit{A. Urquhart}, Tributes 46, 427--434 (2022; Zbl 07576861)
Standefer, Shawn Completeness via metacompleteness. (English) Zbl 07576859 Bimbó, Katalin (ed.), Relevance logics and other tools for reasoning. Essays in honor of J. Michael Dunn. London: College Publications. Tributes 46, 394-409 (2022). MSC: 03B47 03B45 PDFBibTeX XMLCite \textit{S. Standefer}, Tributes 46, 394--409 (2022; Zbl 07576859)
Hartonas, Chrysafis (Takis) Reconciliation of approaches to the semantics of logics without distribution. (English) Zbl 07576851 Bimbó, Katalin (ed.), Relevance logics and other tools for reasoning. Essays in honor of J. Michael Dunn. London: College Publications. Tributes 46, 215-236 (2022). MSC: 03G10 03B45 03B47 06B15 PDFBibTeX XMLCite \textit{C. Hartonas}, Tributes 46, 215--236 (2022; Zbl 07576851)
Ferenz, Nicholas Conditional FDE logics. (English) Zbl 07576850 Bimbó, Katalin (ed.), Relevance logics and other tools for reasoning. Essays in honor of J. Michael Dunn. London: College Publications. Tributes 46, 182-214 (2022). MSC: 03B47 03B45 PDFBibTeX XMLCite \textit{N. Ferenz}, Tributes 46, 182--214 (2022; Zbl 07576850)
Bimbó, Katalin; Dunn, J. Michael Modalities in lattice-R. (English) Zbl 07576846 Bimbó, Katalin (ed.), Relevance logics and other tools for reasoning. Essays in honor of J. Michael Dunn. London: College Publications. Tributes 46, 89-127 (2022). MSC: 03B47 03F52 03B45 PDFBibTeX XMLCite \textit{K. Bimbó} and \textit{J. M. Dunn}, Tributes 46, 89--127 (2022; Zbl 07576846)
Carnielli, Walter; Coniglio, Marcelo E.; Fuenmayor, David Logics of formal inconsistency enriched with replacement: An algebraic and modal account. (English) Zbl 07576543 Rev. Symb. Log. 15, No. 3, 771-806 (2022). MSC: 03B45 03G25 03B62 03B53 PDFBibTeX XMLCite \textit{W. Carnielli} et al., Rev. Symb. Log. 15, No. 3, 771--806 (2022; Zbl 07576543) Full Text: DOI arXiv
Ciardelli, Ivano; Grilletti, Gianluca Coherence in inquisitive first-order logic. (English) Zbl 07566289 Ann. Pure Appl. Logic 173, No. 9, Article ID 103155, 39 p. (2022). MSC: 03B45 03B55 03B60 03C07 PDFBibTeX XMLCite \textit{I. Ciardelli} and \textit{G. Grilletti}, Ann. Pure Appl. Logic 173, No. 9, Article ID 103155, 39 p. (2022; Zbl 07566289) Full Text: DOI
Rodriguez, Ricardo Oscar; Tuyt, Olim Frits; Esteva, Francesc; Godo, Lluís Simplified Kripke semantics for K45-like Gödel modal logics and its axiomatic extensions. (English) Zbl 1498.03051 Stud. Log. 110, No. 4, 1081-1114 (2022). Reviewer: Giacomo Lenzi (Fisciano) MSC: 03B45 03B50 03B52 PDFBibTeX XMLCite \textit{R. O. Rodriguez} et al., Stud. Log. 110, No. 4, 1081--1114 (2022; Zbl 1498.03051) Full Text: DOI arXiv
Pischke, Nicholas Gödel justification logics and realization. (English) Zbl 1494.03042 Log. J. IGPL 30, No. 3, 343-408 (2022). MSC: 03B42 03B52 03B45 03F05 PDFBibTeX XMLCite \textit{N. Pischke}, Log. J. IGPL 30, No. 3, 343--408 (2022; Zbl 1494.03042) Full Text: DOI
Rybakov, Mikhail; Shkatov, Dmitry Complexity of finite-variable fragments of propositional temporal and modal logics of computation. (English) Zbl 07547827 Theor. Comput. Sci. 925, 45-60 (2022). MSC: 03B70 03B44 03B45 68Q25 PDFBibTeX XMLCite \textit{M. Rybakov} and \textit{D. Shkatov}, Theor. Comput. Sci. 925, 45--60 (2022; Zbl 07547827) Full Text: DOI
Caicedo, Xavier; Metcalfe, George; Rodríguez, Ricardo; Tuyt, Olim One-variable fragments of intermediate logics over linear frames. (English) Zbl 07540277 Inf. Comput. 287, Article ID 104755, 20 p. (2022). MSC: 03B55 03B45 PDFBibTeX XMLCite \textit{X. Caicedo} et al., Inf. Comput. 287, Article ID 104755, 20 p. (2022; Zbl 07540277) Full Text: DOI
Ciardelli, Ivano Inquisitive logic. Consequence and inference in the realm of questions. (English) Zbl 07538919 Trends in Logic – Studia Logica Library 60. Cham: Springer (ISBN 978-3-031-09705-8/hbk; 978-3-031-09708-9/pbk; 978-3-031-09706-5/ebook). xx, 272 p., open access (2022). MSC: 03-02 03B45 03B42 PDFBibTeX XMLCite \textit{I. Ciardelli}, Inquisitive logic. Consequence and inference in the realm of questions. Cham: Springer (2022; Zbl 07538919) Full Text: DOI
Baldan, Paolo; Gorla, Daniele; Padoan, Tommaso; Salvo, Ivano Characterising spectra of equivalences for event structures, logically. (English) Zbl 1504.68138 Inf. Comput. 285, Part B, Article ID 104887, 25 p. (2022). MSC: 68Q85 03B45 PDFBibTeX XMLCite \textit{P. Baldan} et al., Inf. Comput. 285, Part B, Article ID 104887, 25 p. (2022; Zbl 1504.68138) Full Text: DOI
Van De Putte, Frederik; Klein, Dominik Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics. (English) Zbl 07535470 J. Philos. Log. 51, No. 3, 485-523 (2022). MSC: 03-XX PDFBibTeX XMLCite \textit{F. Van De Putte} and \textit{D. Klein}, J. Philos. Log. 51, No. 3, 485--523 (2022; Zbl 07535470) Full Text: DOI
Fervari, Raul; Velázquez-Quesada, Fernando R.; Wang, Yanjing Bisimulations for knowing how logics. (English) Zbl 1505.03044 Rev. Symb. Log. 15, No. 2, 450-486 (2022). Reviewer: Éric Martin (Sydney) MSC: 03B42 03B45 03B70 PDFBibTeX XMLCite \textit{R. Fervari} et al., Rev. Symb. Log. 15, No. 2, 450--486 (2022; Zbl 1505.03044) Full Text: DOI
Canavotto, Ilaria; Berto, Francesco; Giordani, Alessandro Voluntary imagination: a fine-grained analysis. (English) Zbl 1525.03059 Rev. Symb. Log. 15, No. 2, 362-387 (2022). Reviewer: Mauricio Reis (Funchal) MSC: 03B42 03B45 03A05 PDFBibTeX XMLCite \textit{I. Canavotto} et al., Rev. Symb. Log. 15, No. 2, 362--387 (2022; Zbl 1525.03059) Full Text: DOI
Meissner, Silke; Otto, Martin A first-order framework for inquisitive modal logic. (English) Zbl 1500.03007 Rev. Symb. Log. 15, No. 2, 311-333 (2022). Reviewer: David Makinson (London) MSC: 03B45 03B42 03C80 PDFBibTeX XMLCite \textit{S. Meissner} and \textit{M. Otto}, Rev. Symb. Log. 15, No. 2, 311--333 (2022; Zbl 1500.03007) Full Text: DOI arXiv
Kurahashi, Taishi; Okawa, Yuya Effectively constructible fixed points in Sacchetti’s modal logics of provability. (English) Zbl 1509.03071 Notre Dame J. Formal Logic 63, No. 1, 35-49 (2022). Reviewer: Osamu Sonobe (Follonica) MSC: 03B45 03F45 PDFBibTeX XMLCite \textit{T. Kurahashi} and \textit{Y. Okawa}, Notre Dame J. Formal Logic 63, No. 1, 35--49 (2022; Zbl 1509.03071) Full Text: DOI arXiv
Balbiani, Philippe; Gencer, Çiğdem; Rostamigiv, Maryam; Tinchev, Tinko About the unification type of \(\mathbf{K}+\square \square \bot\). (English) Zbl 07517438 Ann. Math. Artif. Intell. 90, No. 5, 481-497 (2022). MSC: 03B45 03B70 68T27 PDFBibTeX XMLCite \textit{P. Balbiani} et al., Ann. Math. Artif. Intell. 90, No. 5, 481--497 (2022; Zbl 07517438) Full Text: DOI
Baldan, Paolo; Gorla, Daniele; Padoan, Tommaso; Salvo, Ivano Behavioural logics for configuration structures. (English) Zbl 1483.68222 Theor. Comput. Sci. 913, 94-112 (2022). MSC: 68Q85 03B70 68Q55 PDFBibTeX XMLCite \textit{P. Baldan} et al., Theor. Comput. Sci. 913, 94--112 (2022; Zbl 1483.68222) Full Text: DOI
Marin, Sonia; Miller, Dale; Pimentel, Elaine; Volpe, Marco From axioms to synthetic inference rules via focusing. (English) Zbl 07501985 Ann. Pure Appl. Logic 173, No. 5, Article ID 103091, 32 p. (2022). MSC: 03F03 03B10 03B20 03F07 PDFBibTeX XMLCite \textit{S. Marin} et al., Ann. Pure Appl. Logic 173, No. 5, Article ID 103091, 32 p. (2022; Zbl 07501985) Full Text: DOI
Blanco, José Miguel EF4, EF4-M and EF4-Ł: a companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes. (English) Zbl 07499531 Log. Log. Philos. 31, No. 1, 75-104 (2022). MSC: 03-XX PDFBibTeX XMLCite \textit{J. M. Blanco}, Log. Log. Philos. 31, No. 1, 75--104 (2022; Zbl 07499531) Full Text: DOI
Christoff, Zoé; Gratzl, Norbert; Roy, Olivier Priority merge and intersection modalities. (English) Zbl 07493113 Rev. Symb. Log. 15, No. 1, 165-196 (2022). MSC: 03B42 03B45 03B70 PDFBibTeX XMLCite \textit{Z. Christoff} et al., Rev. Symb. Log. 15, No. 1, 165--196 (2022; Zbl 07493113) Full Text: DOI
van Benthem, Johan; Mierzewski, Krzysztof; Zaffora Blando, Francesca The modal logic of stepwise removal. (English) Zbl 07493109 Rev. Symb. Log. 15, No. 1, 36-63 (2022). MSC: 03B45 03B42 PDFBibTeX XMLCite \textit{J. van Benthem} et al., Rev. Symb. Log. 15, No. 1, 36--63 (2022; Zbl 07493109) Full Text: DOI arXiv
Inoué, Takao On Blass translation for Leśniewski’s propositional ontology and modal logics. (English) Zbl 1507.03079 Stud. Log. 110, No. 1, 265-289 (2022). Reviewer: Xavier Parent (Vienna) MSC: 03B45 03B20 03F45 03B44 PDFBibTeX XMLCite \textit{T. Inoué}, Stud. Log. 110, No. 1, 265--289 (2022; Zbl 1507.03079) Full Text: DOI arXiv
Dzik, Wojciech; Kost, Sławomir; Wojtylak, Piotr Finitary unification in locally tabular modal logics characterized. (English) Zbl 07483254 Ann. Pure Appl. Logic 173, No. 4, Article ID 103072, 39 p. (2022). MSC: 03B45 68T27 03B55 06E25 06D20 PDFBibTeX XMLCite \textit{W. Dzik} et al., Ann. Pure Appl. Logic 173, No. 4, Article ID 103072, 39 p. (2022; Zbl 07483254) Full Text: DOI
Kupke, Clemens; Pattinson, Dirk; Schröder, Lutz Coalgebraic reasoning with global assumptions in arithmetic modal logics. (English) Zbl 1502.68285 ACM Trans. Comput. Log. 23, No. 2, Article No. 11, 34 p. (2022). MSC: 68T27 03B45 68T30 PDFBibTeX XMLCite \textit{C. Kupke} et al., ACM Trans. Comput. Log. 23, No. 2, Article No. 11, 34 p. (2022; Zbl 1502.68285) Full Text: DOI arXiv