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 PDF BibTeX XML Cite \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
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 PDF BibTeX XML Cite \textit{A. Parol}, Stud. Log. 111, No. 6, 1083--1087 (2023; Zbl 07767292) Full Text: DOI OA License
Zhao, Zhiguang Correspondence theory for modal Fairtlough-Mendler semantics of intuitionistic modal logic. (English) Zbl 07767291 Stud. Log. 111, No. 6, 1057-1082 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{Z. Zhao}, Stud. Log. 111, No. 6, 1057--1082 (2023; Zbl 07767291) Full Text: DOI arXiv
Xu, Ming FMP-ensuring logics, RA-ensuring logics and FA-ensuring logics in NExtK4.3. (English) Zbl 07767286 Stud. Log. 111, No. 6, 899-946 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{M. Xu}, Stud. Log. 111, No. 6, 899--946 (2023; Zbl 07767286) Full Text: DOI
Artale, Alessandro; Jung, Jean Christoph; Mazzullo, Andrea; Ozaki, Ana; Wolter, Frank Living without Beth and Craig: definitions and interpolants in description and modal logics with nominals and role inclusions. (English) Zbl 07760995 ACM Trans. Comput. Log. 24, No. 4, Paper No. 34, 51 p. (2023). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{A. Artale} et al., ACM Trans. Comput. Log. 24, No. 4, Paper No. 34, 51 p. (2023; Zbl 07760995) Full Text: DOI arXiv OA License
Padmanabha, Anantha; Ramanujam, R. A decidable fragment of first order modal logic: two variable term modal logic. (English) Zbl 07760990 ACM Trans. Comput. Log. 24, No. 4, Paper No. 29, 38 p. (2023). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{A. Padmanabha} and \textit{R. Ramanujam}, ACM Trans. Comput. Log. 24, No. 4, Paper No. 29, 38 p. (2023; Zbl 07760990) Full Text: DOI
Celani, Sergio A.; Nagy, Agustín L.; San Martín, Hernán J. The variety of modal weak Gödel algebras. (English) Zbl 1522.06016 Fuzzy Sets Syst. 456, 125-143 (2023). MSC: 06D20 03B45 03G25 06B20 PDF BibTeX XML Cite \textit{S. A. Celani} et al., Fuzzy Sets Syst. 456, 125--143 (2023; Zbl 1522.06016) Full Text: DOI
Dubois, Didier; Godo, Lluis; Prade, Henri An elementary belief function logic. (English) Zbl 07757223 J. Appl. Non-Class. Log. 33, No. 3-4, 582-605 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{D. Dubois} et al., J. Appl. Non-Class. Log. 33, No. 3--4, 582--605 (2023; Zbl 07757223) Full Text: DOI arXiv
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 PDF BibTeX XML Cite \textit{O. Grigoriev} et al., Stud. Log. 111, No. 5, 855--895 (2023; Zbl 07755336) Full Text: DOI OA License
Li, Dazhu; Ghosh, Sujata; Liu, Fenrong; Tu, Yaxin A simple logic of the hide and seek game. (English) Zbl 07755335 Stud. Log. 111, No. 5, 821-853 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{D. Li} et al., Stud. Log. 111, No. 5, 821--853 (2023; Zbl 07755335) Full Text: DOI
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 PDF BibTeX XML Cite \textit{G. Shtakser}, Log. Univers. 17, No. 3, 297--330 (2023; Zbl 07753870) Full Text: DOI
Mohammadi, Hamzeh; Aghaei, Mojtaba Rooted hypersequent calculus for Modal logic S5. (English) Zbl 07753869 Log. Univers. 17, No. 3, 269-295 (2023). MSC: 03F03 03F05 03B45 PDF BibTeX XML Cite \textit{H. Mohammadi} and \textit{M. Aghaei}, Log. Univers. 17, No. 3, 269--295 (2023; Zbl 07753869) Full Text: DOI arXiv
Castañeda, Armando; van Ditmarsch, Hans; Rosenblueth, David A.; Velázquez, Diego A. Communication pattern logic: epistemic and topological views. (English) Zbl 07753836 J. Philos. Log. 52, No. 5, 1445-1473 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{A. Castañeda} et al., J. Philos. Log. 52, No. 5, 1445--1473 (2023; Zbl 07753836) Full Text: DOI arXiv
Mollica, Leona The logic of action and control. (English) Zbl 07753829 J. Philos. Log. 52, No. 5, 1237-1268 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{L. Mollica}, J. Philos. Log. 52, No. 5, 1237--1268 (2023; Zbl 07753829) Full Text: DOI
Dorr, Cian; Hawthorne, John; Yli-Vakkuri, Juhani The bounds of possibility. Puzzles of modal variation (to appear). Reprint of the 2021 hardback edition. (English) Zbl 07749100 Oxford: Oxford University Press (ISBN 978-0-19-891077-0/pbk). x, 436 p. (2023). MSC: 03-02 03A05 03B45 PDF BibTeX XML Cite \textit{C. Dorr} et al., The bounds of possibility. Puzzles of modal variation (to appear). Reprint of the 2021 hardback edition. Oxford: Oxford University Press (2023; Zbl 07749100)
Rosella, Giuliano; Flaminio, Tommaso; Bonzio, Stefano Counterfactuals as modal conditionals, and their probability. (English) Zbl 07745367 Artif. Intell. 323, Article ID 103970, 29 p. (2023). MSC: 68Txx PDF BibTeX XML Cite \textit{G. Rosella} et al., Artif. Intell. 323, Article ID 103970, 29 p. (2023; Zbl 07745367) 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 PDF BibTeX XML Cite \textit{A. O. Liberman} et al., Artif. Intell. 323, Article ID 103969, 4 p. (2023; Zbl 1521.68216) Full Text: DOI
Badura, Christopher; Wansing, Heinrich Stit-logic for imagination episodes with voluntary input. (English) Zbl 07740299 Rev. Symb. Log. 16, No. 3, 813-861 (2023). MSC: 03B45 03B60 03B80 03A05 PDF BibTeX XML Cite \textit{C. Badura} and \textit{H. Wansing}, Rev. Symb. Log. 16, No. 3, 813--861 (2023; Zbl 07740299) Full Text: DOI
Aiguier, Marc; Bloch, Isabelle; Nibouche, Salim; Pino Pérez, Ramón Morpho-logic from a topos perspective – application to symbolic AI. (English) Zbl 07734046 Int. J. Approx. Reasoning 161, Article ID 109011, 38 p. (2023). MSC: 68T37 PDF BibTeX XML Cite \textit{M. Aiguier} et al., Int. J. Approx. Reasoning 161, Article ID 109011, 38 p. (2023; Zbl 07734046) Full Text: DOI arXiv
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 PDF BibTeX XML Cite \textit{Z. Xiong} and \textit{T. Ågotnes}, Ann. Math. Artif. Intell. 91, No. 4, 375--407 (2023; Zbl 07730282) Full Text: DOI
van der Berg, Ineke; De Domenico, Andrea; Greco, Giuseppe; Manoorkar, Krishna B.; Palmigiano, Alessandra; Panettiere, Mattia Labelled calculi for the logics of rough concepts. (English) Zbl 07728696 Banerjee, Mohua (ed.) et al., Logic and its applications. 10th Indian conference, ICLA 2023, Indore, India, March 3–5, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13963, 172-188 (2023). MSC: 03Bxx 68T27 PDF BibTeX XML Cite \textit{I. van der Berg} et al., Lect. Notes Comput. Sci. 13963, 172--188 (2023; Zbl 07728696) Full Text: DOI
Sardar, Masiur Rahaman Quasi-Boolean based models in rough set theory: a case of covering. (English) Zbl 07728695 Banerjee, Mohua (ed.) et al., Logic and its applications. 10th Indian conference, ICLA 2023, Indore, India, March 3–5, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13963, 159-171 (2023). MSC: 03Bxx 68T27 PDF BibTeX XML Cite \textit{M. R. Sardar}, Lect. Notes Comput. Sci. 13963, 159--171 (2023; Zbl 07728695) Full Text: DOI
Chen, Qian; Ma, Minghui Modal logic of generalized separated topological spaces. (English) Zbl 07728690 Banerjee, Mohua (ed.) et al., Logic and its applications. 10th Indian conference, ICLA 2023, Indore, India, March 3–5, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13963, 92-104 (2023). MSC: 03Bxx 68T27 PDF BibTeX XML Cite \textit{Q. Chen} and \textit{M. Ma}, Lect. Notes Comput. Sci. 13963, 92--104 (2023; Zbl 07728690) Full Text: DOI
van der Berg, Ineke; De Domenico, Andrea; Greco, Giuseppe; Manoorkar, Krishna B.; Palmigiano, Alessandra; Panettiere, Mattia Labelled calculi for lattice-based modal logics. (English) Zbl 07728686 Banerjee, Mohua (ed.) et al., Logic and its applications. 10th Indian conference, ICLA 2023, Indore, India, March 3–5, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13963, 23-47 (2023). MSC: 03Bxx 68T27 PDF BibTeX XML Cite \textit{I. van der Berg} et al., Lect. Notes Comput. Sci. 13963, 23--47 (2023; Zbl 07728686) Full Text: DOI
Howlader, Prosenjit; Banerjee, Mohua Kripke contexts, double Boolean algebras with operators and corresponding modal systems. (English) Zbl 07727822 J. Logic Lang. Inf. 32, No. 1, 117-146 (2023). MSC: 03-XX 68-XX 06E25 03Gxx 03G05 03B60 03B45 PDF BibTeX XML Cite \textit{P. Howlader} and \textit{M. Banerjee}, J. Logic Lang. Inf. 32, No. 1, 117--146 (2023; Zbl 07727822) Full Text: DOI arXiv
van Ditmarsch, Hans; Galmiche, Didier; Gawek, Marta An epistemic separation logic with action models. (English) Zbl 07727821 J. Logic Lang. Inf. 32, No. 1, 89-116 (2023). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{H. van Ditmarsch} et al., J. Logic Lang. Inf. 32, No. 1, 89--116 (2023; Zbl 07727821) Full Text: DOI
van Berkel, Kees; Ciabattoni, Agata; Freschi, Elisa; Gulisano, Francesca; Olszewski, Maya Deontic paradoxes in Mīmāṃsā logics: there and back again. (English) Zbl 07727819 J. Logic Lang. Inf. 32, No. 1, 19-62 (2023). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{K. van Berkel} et al., J. Logic Lang. Inf. 32, No. 1, 19--62 (2023; Zbl 07727819) Full Text: DOI
Guerrini, S.; Masini, A.; Zorzi, M. Natural deduction calculi for classical and intuitionistic S5. (English) Zbl 07727658 J. Appl. Non-Class. Log. 33, No. 2, 165-205 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{S. Guerrini} et al., J. Appl. Non-Class. Log. 33, No. 2, 165--205 (2023; Zbl 07727658) Full Text: DOI
Shtakser, Gennady A modal loosely guarded fragment of second-order propositional modal logic. (English) Zbl 07726399 J. Logic Lang. Inf. 32, No. 3, 511-538 (2023). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{G. Shtakser}, J. Logic Lang. Inf. 32, No. 3, 511--538 (2023; Zbl 07726399) Full Text: DOI
Paśniczek, Jacek Names and quantifiers: bringing them together in classical logic. (English) Zbl 07726397 J. Logic Lang. Inf. 32, No. 3, 473-487 (2023). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{J. Paśniczek}, J. Logic Lang. Inf. 32, No. 3, 473--487 (2023; Zbl 07726397) Full Text: DOI
Lewitzka, Steffen Some remarks on semantics and expressiveness of the sentential calculus with identity. (English) Zbl 07726396 J. Logic Lang. Inf. 32, No. 3, 441-471 (2023). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{S. Lewitzka}, J. Logic Lang. Inf. 32, No. 3, 441--471 (2023; Zbl 07726396) Full Text: DOI arXiv
Kamide, Norihiro Falsification-aware calculi and semantics for normal modal logics including S4 and S5. (English) Zbl 07726395 J. Logic Lang. Inf. 32, No. 3, 395-440 (2023). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{N. Kamide}, J. Logic Lang. Inf. 32, No. 3, 395--440 (2023; Zbl 07726395) Full Text: DOI
Kavvos, G. A.; Gratzer, Daniel Under lock and key: a proof system for a multimodal logic. (English) Zbl 07725102 Bull. Symb. Log. 29, No. 2, 264-293 (2023). MSC: 03-02 03B40 03B45 03B70 03F07 PDF BibTeX XML Cite \textit{G. A. Kavvos} and \textit{D. Gratzer}, Bull. Symb. Log. 29, No. 2, 264--293 (2023; Zbl 07725102) Full Text: DOI arXiv
Aaly, Mona Modal operators on \(L\)-algebras. (English) Zbl 07722642 Algebr. Struct. Appl. 10, No. 2, 107-125 (2023). MSC: 06B10 06B99 03G25 PDF BibTeX XML Cite \textit{M. Aaly}, Algebr. Struct. Appl. 10, No. 2, 107--125 (2023; Zbl 07722642) Full Text: DOI
Berger, Sören; Block, Alexander Christensen; Löwe, Benedikt The modal logic of abelian groups. (English) Zbl 07722305 Algebra Univers. 84, No. 3, Paper No. 25, 12 p. (2023). MSC: 03B45 20A99 08A99 PDF BibTeX XML Cite \textit{S. Berger} et al., Algebra Univers. 84, No. 3, Paper No. 25, 12 p. (2023; Zbl 07722305) Full Text: DOI
Bonzio, S.; Fano, V.; Graziani, P.; Pra Baldi, M. A logical modeling of severe ignorance. (English) Zbl 07721415 J. Philos. Log. 52, No. 4, 1053-1080 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{S. Bonzio} et al., J. Philos. Log. 52, No. 4, 1053--1080 (2023; Zbl 07721415) Full Text: DOI
Krawczyk, Krzysztof A. Deduction theorem in congruential modal logics. (English) Zbl 07720261 Notre Dame J. Formal Logic 64, No. 2, 185-196 (2023). Reviewer: Ignacio Viglizzo (Bahía Blanca) MSC: 03B45 03G25 03G27 PDF BibTeX XML Cite \textit{K. A. Krawczyk}, Notre Dame J. Formal Logic 64, No. 2, 185--196 (2023; Zbl 07720261) Full Text: DOI
Busaniche, M.; Cordero, P.; Marcos, M.; Rodriguez, R. O. An algebraic semantics for possibilistic finite-valued Łukasiewicz logic. (English) Zbl 07713728 Int. J. Approx. Reasoning 159, Article ID 108924, 18 p. (2023). MSC: 68T37 PDF BibTeX XML Cite \textit{M. Busaniche} et al., Int. J. Approx. Reasoning 159, Article ID 108924, 18 p. (2023; Zbl 07713728) Full Text: DOI
Takagi, Tsubasa Semantic analysis of a linear temporal extension of quantum logic and its dynamic aspect. (English) Zbl 07713580 ACM Trans. Comput. Log. 24, No. 3, Paper No. 19, 21 p. (2023). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{T. Takagi}, ACM Trans. Comput. Log. 24, No. 3, Paper No. 19, 21 p. (2023; Zbl 07713580) 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 PDF BibTeX XML Cite \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
Pawlowski, Pawel Height of valuations in non-deterministic semantics for modal logic. (English) Zbl 1515.03104 J. Appl. Log. - IfCoLog J. Log. Appl. 10, No. 4, 587-601 (2023). MSC: 03B45 PDF BibTeX XML Cite \textit{P. Pawlowski}, J. Appl. Log. - IfCoLog J. Log. Appl. 10, No. 4, 587--601 (2023; Zbl 1515.03104) Full Text: Link
Liu, Mo; Padmanabha, Anantha; Ramanujam, R.; Wang, Yanjing Are bundles good deals for first-order modal logic? (English) Zbl 07713426 Inf. Comput. 293, Article ID 105062, 23 p. (2023). MSC: 68Qxx PDF BibTeX XML Cite \textit{M. Liu} et al., Inf. Comput. 293, Article ID 105062, 23 p. (2023; Zbl 07713426) Full Text: DOI arXiv
Rybakov, Vladimir Vladimirovich; Kiyatkin, Vladimir Rostislavovich; Grekovich, Konstantin Vikent’evich Formulas expressing totally nonstable truth values of formulas. (English) Zbl 07711304 Izv. Irkutsk. Gos. Univ., Ser. Mat. 44, 108-115 (2023). MSC: 03B45 03H05 PDF BibTeX XML Cite \textit{V. V. Rybakov} et al., Izv. Irkutsk. Gos. Univ., Ser. Mat. 44, 108--115 (2023; Zbl 07711304) Full Text: DOI Link
Protsenko, Nikita Aleksandrovich; Rybakov, Vladimir Vladimirovich; Rimatskiĭ, Vitaliĭ Valentinovich Satisfiability problem in interval FP-logic. (English) Zbl 07711303 Izv. Irkutsk. Gos. Univ., Ser. Mat. 44, 98-107 (2023). MSC: 03B45 03H05 PDF BibTeX XML Cite \textit{N. A. Protsenko} et al., Izv. Irkutsk. Gos. Univ., Ser. Mat. 44, 98--107 (2023; Zbl 07711303) Full Text: DOI 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 PDF BibTeX XML Cite \textit{E. Kubyshkina} and \textit{M. Petrolo}, Log. Univers. 17, No. 2, 231--258 (2023; Zbl 07710088) Full Text: DOI
Iliev, Petar On semantically labelled syntax trees and the non-existence of certain Sahlqvist formulae. (English) Zbl 1515.03096 Log. J. IGPL 31, No. 3, 483-509 (2023). MSC: 03B45 PDF BibTeX XML Cite \textit{P. Iliev}, Log. J. IGPL 31, No. 3, 483--509 (2023; Zbl 1515.03096) Full Text: DOI
Alizadeh, Majid; Ardeshir, Mohammad; Balbiani, Philippe; Mojtahedi, Mojtaba Unification types in Euclidean modal logics. (English) Zbl 07708095 Log. J. IGPL 31, No. 3, 422-440 (2023). Reviewer: Éric Martin (Sydney) MSC: 03B45 PDF BibTeX XML Cite \textit{M. Alizadeh} et al., Log. J. IGPL 31, No. 3, 422--440 (2023; Zbl 07708095) Full Text: DOI
Zhao, Zhiguang Jónsson-style canonicity in distributive modal \(\mu\)-calculus. (English) Zbl 1515.03112 Log. J. IGPL 31, No. 3, 401-421 (2023). MSC: 03B45 PDF BibTeX XML Cite \textit{Z. Zhao}, Log. J. IGPL 31, No. 3, 401--421 (2023; Zbl 1515.03112) Full Text: DOI
van Ditmarsch, Hans; Gattinger, Malvin; Ramezanian, Rahim Everyone knows that everyone knows: gossip protocols for super experts. (English) Zbl 07703391 Stud. Log. 111, No. 3, 453-499 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{H. van Ditmarsch} et al., Stud. Log. 111, No. 3, 453--499 (2023; Zbl 07703391) 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 PDF BibTeX XML Cite \textit{M. Bílková} et al., Int. J. Approx. Reasoning 154, 84--108 (2023; Zbl 07698072) Full Text: DOI arXiv
Pascucci, Matteo; Sileno, Giovanni A formal, diagrammatic, and operational study of normative relations. (English) Zbl 1521.03035 J. Log. Comput. 33, No. 4, 764-795 (2023). Reviewer: David Makinson (London) MSC: 03B45 03B60 PDF BibTeX XML Cite \textit{M. Pascucci} and \textit{G. Sileno}, J. Log. Comput. 33, No. 4, 764--795 (2023; Zbl 1521.03035) Full Text: DOI
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 PDF BibTeX XML Cite \textit{S. Standefer}, J. Logic Lang. Inf. 32, No. 2, 333--362 (2023; Zbl 1515.03109) Full Text: DOI
Fan, Jie Some notes on dyadic contingency. (English) Zbl 1515.03095 J. Logic Lang. Inf. 32, No. 2, 209-217 (2023). MSC: 03B45 PDF BibTeX XML Cite \textit{J. Fan}, J. Logic Lang. Inf. 32, No. 2, 209--217 (2023; Zbl 1515.03095) Full Text: DOI
de Wit, Vincent; Doder, Dragan; Meyer, John Jules Probability deontic logics for reasoning about uncertain norms. (English) Zbl 1515.03093 J. Appl. Log. - IfCoLog J. Log. Appl. 10, No. 2, 193-220 (2023). MSC: 03B45 03B48 03B25 68T27 PDF BibTeX XML Cite \textit{V. de Wit} et al., J. Appl. Log. - IfCoLog J. Log. Appl. 10, No. 2, 193--220 (2023; Zbl 1515.03093) Full Text: Link
Tesi, Matteo; Negri, Sara The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions. (English) Zbl 07695414 Ann. Pure Appl. Logic 174, No. 8, Article ID 103285, 30 p. (2023). MSC: 03F03 03F05 03F07 03B45 PDF BibTeX XML Cite \textit{M. Tesi} and \textit{S. Negri}, Ann. Pure Appl. Logic 174, No. 8, Article ID 103285, 30 p. (2023; Zbl 07695414) Full Text: DOI
Icard, Thomas F.; Moss, Lawrence S. A simple logic of concepts. (English) Zbl 07695101 J. Philos. Log. 52, No. 3, 705-730 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{T. F. Icard} and \textit{L. S. Moss}, J. Philos. Log. 52, No. 3, 705--730 (2023; Zbl 07695101) Full Text: DOI
Ahmed, Tarek Sayed Notions of representability for cylindric algebras: some algebras are more representable than others. (English) Zbl 07692657 Period. Math. Hung. 86, No. 2, 343-377 (2023). Reviewer: Jānis Cīrulis (Riga) MSC: 03G15 03B45 03C30 05C15 PDF BibTeX XML Cite \textit{T. S. Ahmed}, Period. Math. Hung. 86, No. 2, 343--377 (2023; Zbl 07692657) Full Text: DOI
Klein, Dominik; Rendsvig, Rasmus K. Metrics for formal structures, with an application to Kripke models and their dynamics. (English) Zbl 07691748 J. Symb. Log. 88, No. 2, 469-489 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{D. Klein} and \textit{R. K. Rendsvig}, J. Symb. Log. 88, No. 2, 469--489 (2023; Zbl 07691748) Full Text: DOI arXiv
Bonnay, Denis; Westerståhl, Dag Carnap’s problem for modal logic. (English) Zbl 07689501 Rev. Symb. Log. 16, No. 2, 578-602 (2023). MSC: 03A05 03B45 PDF BibTeX XML Cite \textit{D. Bonnay} and \textit{D. Westerståhl}, Rev. Symb. Log. 16, No. 2, 578--602 (2023; Zbl 07689501) Full Text: DOI
Stafford, Will The potential in Frege’s theorem. (English) Zbl 07689500 Rev. Symb. Log. 16, No. 2, 553-577 (2023). MSC: 03-02 00A30 03B16 03B45 PDF BibTeX XML Cite \textit{W. Stafford}, Rev. Symb. Log. 16, No. 2, 553--577 (2023; Zbl 07689500) Full Text: DOI arXiv
Marti, Johannes Conditional logic is complete for convexity in the plane. (English) Zbl 07689499 Rev. Symb. Log. 16, No. 2, 529-552 (2023). Reviewer: Xavier Parent (Wien) MSC: 03B45 PDF BibTeX XML Cite \textit{J. Marti}, Rev. Symb. Log. 16, No. 2, 529--552 (2023; Zbl 07689499) Full Text: DOI arXiv
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 PDF BibTeX XML Cite \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 07687146 Ann. Pure Appl. Logic 174, No. 7, Article ID 103271, 26 p. (2023). Reviewer: Osamu Sonobe (Follonica) MSC: 03F45 03B45 03F40 PDF BibTeX XML Cite \textit{H. Kogure} and \textit{T. Kurahashi}, Ann. Pure Appl. Logic 174, No. 7, Article ID 103271, 26 p. (2023; Zbl 07687146) Full Text: DOI arXiv
Zhao, Zhiguang Sahlqvist correspondence theory for second-order propositional modal logic. (English) Zbl 07686427 J. Log. Comput. 33, No. 3, 577-598 (2023). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{Z. Zhao}, J. Log. Comput. 33, No. 3, 577--598 (2023; Zbl 07686427) Full Text: DOI arXiv
Horne, Ross; Mauw, Sjouke; Yurkov, Semen When privacy fails, a formula describes an attack: a complete and compositional verification method for the applied \(\pi\)-calculus. (English) Zbl 07685353 Theor. Comput. Sci. 959, Article ID 113842, 42 p. (2023). MSC: 68Qxx PDF BibTeX XML Cite \textit{R. Horne} et al., Theor. Comput. Sci. 959, Article ID 113842, 42 p. (2023; Zbl 07685353) Full Text: DOI
Berarducci, Alessandro; Mamino, Marcello Provability logic: models within models in Peano arithmetic. (English) Zbl 07680409 Boll. Unione Mat. Ital. 16, No. 1, 25-41 (2023). MSC: 03Fxx 03-XX 03Cxx PDF BibTeX XML Cite \textit{A. Berarducci} and \textit{M. Mamino}, Boll. Unione Mat. Ital. 16, No. 1, 25--41 (2023; Zbl 07680409) Full Text: DOI arXiv
Bednarczyk, Bartosz; Demri, Stéphane; Fervari, Raul; Mansutti, Alessio On composing finite forests with modal logics. (English) Zbl 07672671 ACM Trans. Comput. Log. 24, No. 2, Paper No. 12, 46 p. (2023). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{B. Bednarczyk} et al., ACM Trans. Comput. Log. 24, No. 2, Paper No. 12, 46 p. (2023; Zbl 07672671) Full Text: DOI
Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingófsdóttir, Anna Bidirectional runtime enforcement of first-order branching-time properties. (English) Zbl 07667087 Log. Methods Comput. Sci. 19, No. 1, Paper No. 14, 44 p. (2023). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{L. Aceto} et al., Log. Methods Comput. Sci. 19, No. 1, Paper No. 14, 44 p. (2023; Zbl 07667087) Full Text: DOI arXiv
Gazda, Maciej; Hierons, Robert M. Removing redundant refusals: minimal complete test suites for failure trace semantics. (English) Zbl 1506.68059 Inf. Comput. 291, Article ID 105009, 26 p. (2023). MSC: 68Q85 03B45 68Q55 PDF BibTeX XML Cite \textit{M. Gazda} and \textit{R. M. Hierons}, Inf. Comput. 291, Article ID 105009, 26 p. (2023; Zbl 1506.68059) Full Text: DOI
Ferenz, Nicholas Quantified modal relevant logics. (English) Zbl 07658886 Rev. Symb. Log. 16, No. 1, 210-240 (2023). MSC: 03B45 03B47 03Cxx PDF BibTeX XML Cite \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 PDF BibTeX XML Cite \textit{G. Bezhanishvili} and \textit{L. Carai}, Rev. Symb. Log. 16, No. 1, 164--187 (2023; Zbl 1518.03003) Full Text: DOI arXiv
Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemiański, Krzysztof Catoids and modal convolution algebras. (English) Zbl 07657582 Algebra Univers. 84, No. 2, Paper No. 10, 40 p. (2023). MSC: 03B45 06F07 20M75 PDF BibTeX XML Cite \textit{U. Fahrenberg} et al., Algebra Univers. 84, No. 2, Paper No. 10, 40 p. (2023; Zbl 07657582) Full Text: DOI
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 PDF BibTeX XML Cite \textit{G. Bezhanishvili} et al., J. Symb. Log. 88, No. 1, 427--467 (2023; Zbl 07657288) Full Text: DOI arXiv
Camrud, Caleb; Dosanjh, Ranpal Continuous accessibility modal logics. (English) Zbl 1518.03004 J. Philos. Log. 52, No. 1, 221-266 (2023). Reviewer: Giacomo Lenzi (Fisciano) MSC: 03B45 03B44 PDF BibTeX XML Cite \textit{C. Camrud} and \textit{R. Dosanjh}, J. Philos. Log. 52, No. 1, 221--266 (2023; Zbl 1518.03004) Full Text: DOI
Ferenz, Nicholas; Tedder, Andrew Neighbourhood semantics for modal relevant logics. (English) Zbl 07657008 J. Philos. Log. 52, No. 1, 145-181 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{N. Ferenz} and \textit{A. Tedder}, J. Philos. Log. 52, No. 1, 145--181 (2023; Zbl 07657008) Full Text: DOI
Baltag, Alexandru; Özgün, Aybüke; Sandoval, Ana Lucia Vargas Arbitrary public announcement logic with memory. (English) Zbl 07657006 J. Philos. Log. 52, No. 1, 53-110 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{A. Baltag} et al., J. Philos. Log. 52, No. 1, 53--110 (2023; Zbl 07657006) Full Text: DOI
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 PDF BibTeX XML Cite \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 PDF BibTeX XML Cite \textit{P. Balbiani} et al., Log. J. IGPL 31, No. 1, 115--139 (2023; Zbl 1515.03088) Full Text: DOI
Zhao, Zhiguang Algorithmic correspondence for hybrid logic with binder. (English) Zbl 1515.03111 Log. J. IGPL 31, No. 1, 39-67 (2023). MSC: 03B45 PDF BibTeX XML Cite \textit{Z. Zhao}, Log. J. IGPL 31, No. 1, 39--67 (2023; Zbl 1515.03111) Full Text: DOI arXiv
Ghari, Meghdad Linear temporal justification logics with past and future time modalities. (English) Zbl 07653981 Log. J. IGPL 31, No. 1, 1-38 (2023). Reviewer: Yaroslav Shramko (Kryvyi Rih) MSC: 03B44 03B42 03B45 PDF BibTeX XML Cite \textit{M. Ghari}, Log. J. IGPL 31, No. 1, 1--38 (2023; Zbl 07653981) 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 PDF BibTeX XML Cite \textit{I. van der Giessen}, Ann. Pure Appl. Logic 174, No. 4, Article ID 103233, 34 p. (2023; Zbl 07653729) Full Text: DOI
Khan, Md. Aquil; Banerjee, Mohua; Panda, Sibsankar Logics for temporal information systems in rough set theory. (English) Zbl 07650598 ACM Trans. Comput. Log. 24, No. 1, Paper No. 2, 29 p. (2023). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{Md. A. Khan} et al., ACM Trans. Comput. Log. 24, No. 1, Paper No. 2, 29 p. (2023; Zbl 07650598) 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 PDF BibTeX XML Cite \textit{R. Stalnaker}, Propositions. Ontology and logic. Oxford: Oxford University Press (2023; Zbl 07645443) Full Text: DOI
Howlader, Prosenjit; Banerjee, Mohua A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts. (English) Zbl 07639180 Int. J. Approx. Reasoning 153, 115-143 (2023). MSC: 68T30 68T27 68T37 PDF BibTeX XML Cite \textit{P. Howlader} and \textit{M. Banerjee}, Int. J. Approx. Reasoning 153, 115--143 (2023; Zbl 07639180) Full Text: DOI arXiv
Bezhanishvili, G.; Harding, J.; Morandi, P. J. Remarks on hyperspaces for Priestley spaces. (English) Zbl 07638594 Theor. Comput. Sci. 943, 187-202 (2023). MSC: 03B45 06-XX PDF BibTeX XML Cite \textit{G. Bezhanishvili} et al., Theor. Comput. Sci. 943, 187--202 (2023; Zbl 07638594) Full Text: DOI arXiv
Găină, Daniel; Badia, Guillermo; Kowalski, Tomasz Omitting types theorem in hybrid dynamic first-order logic with rigid symbols. (English) Zbl 07637218 Ann. Pure Appl. Logic 174, No. 3, Article ID 103212, 41 p. (2023). MSC: 03C25 03B45 03C99 03C95 PDF BibTeX XML Cite \textit{D. Găină} et al., Ann. Pure Appl. Logic 174, No. 3, Article ID 103212, 41 p. (2023; Zbl 07637218) Full Text: DOI arXiv
Shehtman, Valentin On Kripke completeness of modal predicate logics around quantified K5. (English) Zbl 07628764 Ann. Pure Appl. Logic 174, No. 2, Article ID 103202, 40 p. (2023). Reviewer: Ignacio Viglizzo (Bahía Blanca) MSC: 03B45 03C90 03C80 PDF BibTeX XML Cite \textit{V. Shehtman}, Ann. Pure Appl. Logic 174, No. 2, Article ID 103202, 40 p. (2023; Zbl 07628764) 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 PDF BibTeX XML Cite \textit{E. Jeřábek}, Ann. Pure Appl. Logic 174, No. 1, Article ID 103181, 54 p. (2023; Zbl 1516.03022) Full Text: DOI arXiv
Bezhanishvili, Nick; Carai, Luca; Ghilardi, Silvio; Landi, Lucia Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras. (English) Zbl 07601551 Ann. Pure Appl. Logic 174, No. 1, Article ID 103169, 31 p. (2023). MSC: 03B45 03C10 06E25 54E05 PDF BibTeX XML Cite \textit{N. Bezhanishvili} et al., Ann. Pure Appl. Logic 174, No. 1, Article ID 103169, 31 p. (2023; Zbl 07601551) Full Text: DOI arXiv
Wałęga, Przemysław Andrzej Computational complexity of hybrid interval temporal logics. (English) Zbl 1512.03029 Ann. Pure Appl. Logic 174, No. 1, Article ID 103165, 33 p. (2023). Reviewer: Giacomo Lenzi (Fisciano) MSC: 03B44 03B70 03B45 68T27 68Q17 PDF BibTeX XML Cite \textit{P. A. Wałęga}, Ann. Pure Appl. Logic 174, No. 1, Article ID 103165, 33 p. (2023; Zbl 1512.03029) 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 PDF BibTeX XML Cite \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 PDF BibTeX XML Cite \textit{M. Busaniche} et al., Fuzzy Sets Syst. 431, 94--109 (2022; Zbl 1522.03061) Full Text: DOI
Nguyen, Linh Anh Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices. (English) Zbl 1522.03085 Fuzzy Sets Syst. 431, 70-93 (2022). MSC: 03B52 03B45 PDF BibTeX XML Cite \textit{L. A. Nguyen}, Fuzzy Sets Syst. 431, 70--93 (2022; Zbl 1522.03085) Full Text: DOI arXiv
Halimi, Brice A categorical aspect of the analogy between quantifiers and modalities. (English) Zbl 07740537 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., 675-690 (2022). MSC: 03A05 03Bxx 01A25 01A55 03G30 03B10 03B45 03-03 01A60 PDF BibTeX XML Cite \textit{B. Halimi}, in: Logic in question. Talks from the annual Sorbonne logic workshop (2011--2019), Paris, France, April 15--16, 2019. Cham: Birkhäuser. 675--690 (2022; Zbl 07740537) 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 PDF BibTeX XML Cite \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
Saint-Germier, Pierre A Carnapian logic of conceivability. (English) Zbl 07740522 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., 353-373 (2022). MSC: 03A05 03Bxx 01A25 01A55 03B45 03A05 PDF BibTeX XML Cite \textit{P. Saint-Germier}, in: Logic in question. Talks from the annual Sorbonne logic workshop (2011--2019), Paris, France, April 15--16, 2019. Cham: Birkhäuser. 353--373 (2022; Zbl 07740522) Full Text: DOI
Brumberg-Chaumont, Julie Logical hylomorphism in the thirteenth century. (English) Zbl 07740505 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., 17-42 (2022). MSC: 03A05 03Bxx 01A25 01A55 01A35 03B05 03B45 PDF BibTeX XML Cite \textit{J. Brumberg-Chaumont}, in: Logic in question. Talks from the annual Sorbonne logic workshop (2011--2019), Paris, France, April 15--16, 2019. Cham: Birkhäuser. 17--42 (2022; Zbl 07740505) Full Text: DOI
Cutolo, Raffaella; Hamkins, Joel David Choiceless large cardinals and set-theoretic potentialism. (English) Zbl 1521.03197 Math. Log. Q. 68, No. 4, 409-415 (2022). MSC: 03E55 03E25 03E35 03B45 03C62 PDF BibTeX XML Cite \textit{R. Cutolo} and \textit{J. D. Hamkins}, Math. Log. Q. 68, No. 4, 409--415 (2022; Zbl 1521.03197) Full Text: DOI arXiv
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 PDF BibTeX XML Cite \textit{E. Goris} et al., Math. Log. Q. 68, No. 3, 352--374 (2022; Zbl 1521.03237) Full Text: DOI
Tanaka, Yoshihito An extension of Jónsson-Tarski representation and model existence in predicate non-normal modal logics. (English) Zbl 1521.03038 Math. Log. Q. 68, No. 2, 189-201 (2022). MSC: 03B45 PDF BibTeX XML Cite \textit{Y. Tanaka}, Math. Log. Q. 68, No. 2, 189--201 (2022; Zbl 1521.03038) Full Text: DOI arXiv