Cachin, Christian; Lehnherr, David; Studer, Thomas Synergistic knowledge. (English) Zbl 07957582 Theor. Comput. Sci. 1023, Article ID 114902, 21 p. (2025). MSC: 03B42 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Akbar Tabatabai, Amirhossein; Jalali, Raheleh Universal proof theory: feasible admissibility in intuitionistic modal logics. (English) Zbl 07957192 Ann. Pure Appl. Logic 176, No. 2, Article ID 103526, 40 p. (2025). MSC: 03B45 03B55 03F20 03F50 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Tabatabai, Amirhossein Akbar; Jalali, Raheleh Universal proof theory: semi-analytic rules and Craig interpolation. (English) Zbl 07921876 Ann. Pure Appl. Logic 176, No. 1, Article ID 103509, 26 p. (2025). MSC: 03F07 03F52 03F05 03B45 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Al-sadaa, Zaineb Hussain Abd; Sharba, Zainab Abdulmunim; Almurieb, Hawraa Abbas Bernstein neural network approximation. (English) Zbl 07907977 Int. J. Math. Comput. Sci. 20, No. 1, 179-182 (2025). MSC: 03F10 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Al-Ogaili, Khalidah Abdulhussein; Almurieb, Hawraa Abbas Best spline approximation in Besov-Orlicz space. (English) Zbl 07907970 Int. J. Math. Comput. Sci. 20, No. 1, 139-142 (2025). MSC: 03F10 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Agnew, Gabriel; Gutierrez-Hougardy, Uzias; Harding, John; Shapirovsky, Ilya; West, Jackson On distance logics of Euclidean spaces. arXiv:2501.04884 Preprint, arXiv:2501.04884 [math.LO] (2025). MSC: 03B45 06E25 × Cite Format Result Cite Full Text: arXiv OA License
Silvestre, Ricardo Sousa The logic of God: a pluralistic representational theory of concepts. (English) Zbl 07964903 Log. Univers. 18, No. 4, 465-488 (2024). MSC: 03A05 03B44 03B45 03B80 03C55 03C98 × Cite Format Result Cite Review PDF Full Text: DOI
Fletcher, Samuel C.; Taylor, David E. Axiomatization of an orthologic of indeterminacy. (English) Zbl 07960226 J. Philos. Log. 53, No. 6, 1441-1462 (2024). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI
Başkent, Can Truth diagrams for some non-classical and modal logics. (English) Zbl 07955907 J. Appl. Non-Class. Log. 34, No. 4, 527-560 (2024). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI
Galimullin, Rustam; Pedersen, Mina Young Visibility and exploitation in social networks. (English) Zbl 07951650 Math. Struct. Comput. Sci. 34, No. 7, 615-644 (2024). MSC: 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Protsenko, Nikita Aleksandrovich; Rybakov, Vladimir Vladimirovich The satisfiability problem in linear multi-agent knowledge logic based on \(\mathbb{N}\). (English) Zbl 07949474 Izv. Irkutsk. Gos. Univ., Ser. Mat. 49, 124-134 (2024). MSC: 03B42 03B45 × Cite Format Result Cite Review PDF Full Text: DOI Link
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
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
Manoorkar, Krishna B.; Palmigiano, Alessandra; Panettiere, Mattia Polynomial-time checking of generalized Sahlqvist syntactic shape. (English) Zbl 07945733 Theor. Comput. Sci. 1021, Article ID 114875, 17 p. (2024). MSC: 03B45 68Q25 × Cite Format Result Cite Review PDF Full Text: DOI
Mikec, Luka; Perkov, Tin; Vukoviĉ, Mladen Correction to: “Decidability of interpretability logics \(\mathbf{IL}\mathtt{M}_0\) and \(\mathbf{IL}\mathtt{W}^*\)”. (English) Zbl 07945602 Log. J. IGPL 32, No. 5, 936-937 (2024). MSC: 03F45 03B25 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
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
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
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
Ferenz, Nicholas First-order relevant reasoners in classical worlds. (English) Zbl 07944273 Rev. Symb. Log. 17, No. 3, 793-818 (2024). MSC: 03B10 03B42 03B45 03B47 × Cite Format Result Cite Review PDF Full Text: DOI
Goldblatt, Robert; Hodkinson, Ian Canonicity in power and modal logics of finite achronal width. (English) Zbl 07944270 Rev. Symb. Log. 17, No. 3, 705-735 (2024). MSC: 03B45 06E25 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Kocurek, Alexander W. The logic of hyperlogic. Part B: Extensions and restrictions. (English) Zbl 07944268 Rev. Symb. Log. 17, No. 3, 654-681 (2024). MSC: 03A05 03B16 03B42 03B45 03B60 × Cite Format Result Cite Review PDF Full Text: DOI
Cintula, Petr; Metcalfe, George; Tokuda, Naomi One-variable fragments of first-order logics. (English) Zbl 07942600 Bull. Symb. Log. 30, No. 2, 253-278 (2024). MSC: 03B45 03B47 03C05 03C80 03F52 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Fussner, Wesley; Santschi, Simon Interpolation in linear logic and related systems. (English) Zbl 07942535 ACM Trans. Comput. Log. 25, No. 4, Article No. 20, 19 p. (2024). MSC: 03B70 68-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Sasaki, Katsumi; Tanaka, Yoshihito An \(\omega\)-rule for the logic of provability and its models. (English) Zbl 07942289 Stud. Log. 112, No. 5, 1163-1180 (2024). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Bezhanishvili, Guram; Kornell, Andre The category of topological spaces and open maps does not have products. (English) Zbl 07940528 Adv. Math. 458, Part A, Article ID 109963, 17 p. (2024). MSC: 18F60 54B10 54C10 06D20 06E25 03B45 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Eyinck, Til Should we embrace impossible worlds due to the flaws of normal modal logic? (English) Zbl 07938976 Log. Univers. 18, No. 3, 301-314 (2024). MSC: 03B45 03B42 03B60 03B65 68T30 × Cite Format Result Cite Review PDF Full Text: DOI
Herzig, Andreas; Perrotin, Elise Efficient reasoning about knowledge and common knowledge. (English) Zbl 07931594 Coniglio, Marcelo Esteban (ed.) et al., Many-valued semantics and modal logics: essays in honour of Yuriy Vasilievich Ivlev. Cham: Springer. Synth. Libr. 485, 305-323 (2024). MSC: 03B45 03B50 × Cite Format Result Cite Review PDF Full Text: DOI
Mortari, Cezar A. Valuation semantics for some systems of non-normal modal logic. (English) Zbl 07931593 Coniglio, Marcelo Esteban (ed.) et al., Many-valued semantics and modal logics: essays in honour of Yuriy Vasilievich Ivlev. Cham: Springer. Synth. Libr. 485, 277-303 (2024). MSC: 03B45 03B50 × Cite Format Result Cite Review PDF Full Text: DOI
Omori, Hitoshi; Skurt, Daniel On Ivlev’s semantics for modality. (English) Zbl 07931592 Coniglio, Marcelo Esteban (ed.) et al., Many-valued semantics and modal logics: essays in honour of Yuriy Vasilievich Ivlev. Cham: Springer. Synth. Libr. 485, 243-275 (2024). MSC: 03B45 03B50 × Cite Format Result Cite Review PDF Full Text: DOI
Bueno-Soler, Juliana; Carnielli, Walter; Rodrigues, Abilio Many-valued modalities and paraconsistency. (English) Zbl 07931591 Coniglio, Marcelo Esteban (ed.) et al., Many-valued semantics and modal logics: essays in honour of Yuriy Vasilievich Ivlev. Cham: Springer. Synth. Libr. 485, 217-241 (2024). MSC: 03B45 03B50 × Cite Format Result Cite Review PDF Full Text: DOI
Flaminio, Tommaso; Godo, Lluis; Menchón, Paula; Rodriguez, Ricardo O. Algebras and relational frames for Gödel modal logic and some of its extensions. (English) Zbl 07931590 Coniglio, Marcelo Esteban (ed.) et al., Many-valued semantics and modal logics: essays in honour of Yuriy Vasilievich Ivlev. Cham: Springer. Synth. Libr. 485, 179-216 (2024). MSC: 03B45 03B50 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Smith, Nicholas J. J. Plurivaluationism, semantic nondeterminism and communication. (English) Zbl 07931589 Coniglio, Marcelo Esteban (ed.) et al., Many-valued semantics and modal logics: essays in honour of Yuriy Vasilievich Ivlev. Cham: Springer. Synth. Libr. 485, 151-176 (2024). MSC: 03B45 03B50 × Cite Format Result Cite Review PDF Full Text: DOI
Coniglio, Marcelo E.; Cerro, Luis Fariñas del; Peron, Newton M. Tableau systems for some Ivlev-like (quantified) modal logics. (English) Zbl 07931588 Coniglio, Marcelo Esteban (ed.) et al., Many-valued semantics and modal logics: essays in honour of Yuriy Vasilievich Ivlev. Cham: Springer. Synth. Libr. 485, 111-149 (2024). MSC: 03B45 03B50 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Grigoriev, Oleg; Petrukhin, Yaroslav Non-deterministic logic of generalized classical truth values. (English) Zbl 07931587 Coniglio, Marcelo Esteban (ed.) et al., Many-valued semantics and modal logics: essays in honour of Yuriy Vasilievich Ivlev. Cham: Springer. Synth. Libr. 485, 93-109 (2024). MSC: 03B45 03B50 × Cite Format Result Cite Review PDF Full Text: DOI
Avron, Arnon On non-deterministic functional completeness. (English) Zbl 07931586 Coniglio, Marcelo Esteban (ed.) et al., Many-valued semantics and modal logics: essays in honour of Yuriy Vasilievich Ivlev. Cham: Springer. Synth. Libr. 485, 83-92 (2024). MSC: 03B45 03B50 × Cite Format Result Cite Review PDF Full Text: DOI
Barrio, Eduardo; Pailos, Federico A cartography of LFIs and truth. (English) Zbl 07931585 Coniglio, Marcelo Esteban (ed.) et al., Many-valued semantics and modal logics: essays in honour of Yuriy Vasilievich Ivlev. Cham: Springer. Synth. Libr. 485, 55-81 (2024). MSC: 03B45 03B50 × Cite Format Result Cite Review PDF Full Text: DOI
Ivlev, Yuriy Vasilievich Quasi-matrix (quasi-functional) logic. (English) Zbl 07931584 Coniglio, Marcelo Esteban (ed.) et al., Many-valued semantics and modal logics: essays in honour of Yuriy Vasilievich Ivlev. Cham: Springer. Synth. Libr. 485, 3-51 (2024). MSC: 03B45 03B50 × Cite Format Result Cite Review PDF Full Text: DOI
Schumann, Andrew Stoic sign-inference and their lore of fate. (English) Zbl 07928695 Log. Univers. 18, No. 1-2, 209-234 (2024). MSC: 03B45 03A05 03B65 03B22 × Cite Format Result Cite Review PDF Full Text: DOI
Milstein, Ori Why the hexagon of opposition is really a triangle: logical structures as geometric shapes. (English) Zbl 07928691 Log. Univers. 18, No. 1-2, 113-124 (2024). MSC: 03A05 03B05 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Beziau, Jean-Yves (ed.); Moretti, Alessio (ed.) Smurfing the square of opposition. (English) Zbl 07928686 Log. Univers. 18, No. 1-2, 1-9 (2024). MSC: 03-06 00B10 03A05 03B53 03B45 03B22 × Cite Format Result Cite Review PDF Full Text: DOI
Kaminski, Michael On undecidability of the propositional logic of an associative binary modality. (English) Zbl 07924608 Arch. Math. Logic 63, No. 7-8, 837-857 (2024). MSC: 03B45 03D35 × Cite Format Result Cite Review PDF Full Text: DOI
Beklemishev, Lev; Dmitrieva, Anna; Makowsky, Johann A. Axiomatizing origami planes. (English) Zbl 07920715 Bezhanishvili, Nick (ed.) et al., Dick de Jongh on intuitionistic and provability logics. Cham: Springer. Outst. Contrib. Log. 28, 353-377 (2024). MSC: 03B20 03B45 03F45 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Bolander, Thomas; Gierasimczuk, Nina; Occhipinti Liberman, Andrés Learning to act and observe in partially observable domains. (English) Zbl 07920714 Bezhanishvili, Nick (ed.) et al., Dick de Jongh on intuitionistic and provability logics. Cham: Springer. Outst. Contrib. Log. 28, 303-351 (2024). MSC: 03B20 03B45 03F45 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Weiermann, Andreas Well partial orders. (English) Zbl 07920713 Bezhanishvili, Nick (ed.) et al., Dick de Jongh on intuitionistic and provability logics. Cham: Springer. Outst. Contrib. Log. 28, 273-301 (2024). MSC: 03B20 03B45 03F45 × Cite Format Result Cite Review PDF Full Text: DOI
Bezhanishvili, Nick; Yang, Fan Intermediate logics in the setting of team semantics. (English) Zbl 07920712 Bezhanishvili, Nick (ed.) et al., Dick de Jongh on intuitionistic and provability logics. Cham: Springer. Outst. Contrib. Log. 28, 231-271 (2024). MSC: 03B20 03B45 03F45 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Iemhoff, Rosalie Proof theory for Lax Logic. (English) Zbl 07920711 Bezhanishvili, Nick (ed.) et al., Dick de Jongh on intuitionistic and provability logics. Cham: Springer. Outst. Contrib. Log. 28, 203-229 (2024). MSC: 03B20 03B45 03F45 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Balbiani, Philippe; Gencer, Çiğdem About the unification types of modal logics. (English) Zbl 07920710 Bezhanishvili, Nick (ed.) et al., Dick de Jongh on intuitionistic and provability logics. Cham: Springer. Outst. Contrib. Log. 28, 175-202 (2024). MSC: 03B20 03B45 03F45 × Cite Format Result Cite Review PDF Full Text: DOI
Metcalfe, George; Tokuda, Naomi Deciding dependence in logic and algebra. (English) Zbl 07920709 Bezhanishvili, Nick (ed.) et al., Dick de Jongh on intuitionistic and provability logics. Cham: Springer. Outst. Contrib. Log. 28, 155-173 (2024). MSC: 03B20 03B45 03F45 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Joosten, Joost J.; Rovira, Jan Mas; Mikec, Luka; Vuković, Mladen An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics. (English) Zbl 07920708 Bezhanishvili, Nick (ed.) et al., Dick de Jongh on intuitionistic and provability logics. Cham: Springer. Outst. Contrib. Log. 28, 111-153 (2024). MSC: 03B20 03B45 03F45 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Mojtahedi, Mojtaba The \(\Sigma_1\)-provability logic of HA revisited. (English) Zbl 07920707 Bezhanishvili, Nick (ed.) et al., Dick de Jongh on intuitionistic and provability logics. Cham: Springer. Outst. Contrib. Log. 28, 89-110 (2024). MSC: 03B20 03B45 03F45 × Cite Format Result Cite Review PDF Full Text: DOI
van Benthem, Johan An abstract look at the fixed-point theorem for provability logic. (English) Zbl 07920706 Bezhanishvili, Nick (ed.) et al., Dick de Jongh on intuitionistic and provability logics. Cham: Springer. Outst. Contrib. Log. 28, 75-88 (2024). MSC: 03B20 03B45 03F45 × Cite Format Result Cite Review PDF Full Text: DOI
Litak, Tadeusz; Visser, Albert Lewisian fixed points. I: Two incomparable constructions. (English) Zbl 07920705 Bezhanishvili, Nick (ed.) et al., Dick de Jongh on intuitionistic and provability logics. Cham: Springer. Outst. Contrib. Log. 28, 33-73 (2024). MSC: 03B20 03B45 03F45 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
de Jongh, Dick Notes on my scientific life. (English) Zbl 07920704 Bezhanishvili, Nick (ed.) et al., Dick de Jongh on intuitionistic and provability logics. Cham: Springer. Outst. Contrib. Log. 28, 1-31 (2024). MSC: 03B20 03B45 03F45 01A70 × Cite Format Result Cite Review PDF Full Text: DOI
Goodsell, Zachary Arithmetic is necessary. (English) Zbl 07914757 J. Philos. Log. 53, No. 4, 1145-1159 (2024). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI
Venturi, Giorgio; Yago, Pedro Modelling afthairetic modality. (English) Zbl 07914754 J. Philos. Log. 53, No. 4, 1027-1065 (2024). MSC: 03B45 00A30 × Cite Format Result Cite Review PDF Full Text: DOI
Orlandelli, Eugenio Quantified modal logics: one approach to rule (almost) them all! (English) Zbl 07914752 J. Philos. Log. 53, No. 4, 959-996 (2024). Reviewer: Ignacio Viglizzo (Bahía Blanca) MSC: 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Ferenz, Nicholas One variable relevant logics are S5Ish. (English) Zbl 07914750 J. Philos. Log. 53, No. 4, 909-931 (2024). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI
Kurz, Alexander; Poiger, Wolfgang; Teheux, Bruno Many-valued coalgebraic logic over semi-primal varieties. (English) Zbl 07906368 Log. Methods Comput. Sci. 20, No. 3, Paper No. 6, 32 p. (2024). MSC: 03B70 68-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Martini, Simone; Masini, Andrea; Zorzi, Margherita A natural deduction calculus for S4.2. (English) Zbl 07898457 Notre Dame J. Formal Logic 65, No. 2, 127-150 (2024). MSC: 03F03 03F05 03F07 × Cite Format Result Cite Review PDF Full Text: DOI Link
Weiss, Yale (ed.); Birman, Romina (ed.) Saul Kripke on modal logic. (English) Zbl 1547.03032 Outstanding Contributions to Logic 30. Cham: Springer (ISBN 978-3-031-57634-8/hbk; 978-3-031-57637-9/pbk; 978-3-031-57635-5/ebook). xiii, 437 p. (2024). MSC: 03-06 03B45 03-03 01A60 01A70 00B15 × Cite Format Result Cite Review PDF Full Text: DOI
Grefenshtein, Alexander V.; Speranski, Stanislav O. On the quantified version of the Belnap-Dunn modal logic. (English. Russian original) Zbl 07891400 Sb. Math. 215, No. 3, 323-354 (2024); translation from Mat. Sb. 215, No. 3, 37-69 (2024). MSC: 03B45 03B50 03B53 × Cite Format Result Cite Review PDF Full Text: DOI MNR
Dolgorukov, Vitaliĭ Vladimirovich Altenatives to Kripke semantics for epistemic logic. (Russian. English summary) Zbl 1547.03097 Log. Issled. 30, No. 1, 62-85 (2024). MSC: 03B42 × Cite Format Result Cite Review PDF Full Text: DOI
Aldini, Alessandro; Curzi, Gianluca; Graziani, Pierluigi; Tagliaferri, Mirko A probabilistic modal logic for context-aware trust based on evidence. (English) Zbl 1545.68124 Int. J. Approx. Reasoning 169, Article ID 109167, 19 p. (2024). MSC: 68T37 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Baltag, Alexandru; Smets, Sonja Logic meets Wigner’s friend (and their friends). (English) Zbl 07879190 Int. J. Theor. Phys. 63, No. 4, Paper No. 97, 27 p. (2024). MSC: 81Pxx 03Bxx 94Axx × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Milford, James A problem for relative-sameness semantics. (English) Zbl 07873791 Notre Dame J. Formal Logic 65, No. 1, 39-53 (2024). MSC: 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Hamkins, Joel David; Wołoszyn, Wojciech Aleksander Modal model theory. (English) Zbl 07873790 Notre Dame J. Formal Logic 65, No. 1, 1-37 (2024). MSC: 03B45 03C10 03C52 03C55 03C62 03C65 03C80 03E10 03E20 03E47 03E65 05C15 05C20 05C38 05C40 05C80 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Nuyts, Andreas; Devriese, Dominique Transpension: the right adjoint to the Pi-type. (English) Zbl 07872363 Log. Methods Comput. Sci. 20, No. 2, Paper No. 16, 54 p. (2024). MSC: 03B70 68-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv Backlinks: MO
Celani, Sergio A.; Rivieccio, Umberto Intuitionistic modal algebras. (English) Zbl 07871660 Stud. Log. 112, No. 3, 611-660 (2024). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI
Bílková, Marta; Frittella, Sabine; Kozhemiachenko, Daniil; Majer, Ondrej; Nazari, Sajad Reasoning with belief functions over Belnap-Dunn logic. (English) Zbl 07870390 Ann. Pure Appl. Logic 175, No. 9, Article ID 103338, 60 p. (2024). MSC: 03B42 03B48 03B52 03B53 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Dekker, P. Maurice KD45 with propositional quantifiers. (English) Zbl 07868848 Log. Log. Philos. 33, No. 1, 27-54 (2024). Reviewer: Yaroslav Shramko (Kryvyi Rih) MSC: 03B42 03B45 03C80 × Cite Format Result Cite Review PDF Full Text: DOI
Mruczek-Nasieniewska, Krystyna; Petrukhin, Yaroslav; Shangin, Vasily On paracomplete versions of Jaśkowski’s discussive logic. (English) Zbl 07865509 Bull. Sect. Log., Univ. Łódź, Dep. Log. 53, No. 1, 29-61 (2024). MSC: 03B53 03B60 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Mohammadi, Hamzeh Linear abelian modal logic. (English) Zbl 07865508 Bull. Sect. Log., Univ. Łódź, Dep. Log. 53, No. 1, 1-28 (2024). MSC: 03B45 03B50 03F03 03F05 × Cite Format Result Cite Review PDF Full Text: DOI
Belastegui, Javier Natural kind semantics for a classical essentialist theory of kinds. (English) Zbl 07861981 Rev. Symb. Log. 17, No. 2, 509-545 (2024). MSC: 03A05 03A10 03B10 03B65 03G10 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Chen, Qian; Ma, Minghui Tabularity and post-completeness in tense logic. (English) Zbl 07861979 Rev. Symb. Log. 17, No. 2, 475-492 (2024). MSC: 03B44 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Bjorndahl, Adam An introduction to classical and modal logics. The outlines of knowledge (to appear). (English) Zbl 07858645 Cambridge Introductions to Philosophy. Cambridge: Cambridge University Press (ISBN 978-1-00-945067-6/pbk; 978-1-00-945069-0/hbk). (2024). MSC: 03-01 03B05 03B10 03B42 03B45 × Cite Format Result Cite Review PDF
Chen, Qian; Li, Dazhu Logic of the hide and seek game: characterization, axiomatization, decidability. (English) Zbl 07856037 Gierasimczuk, Nina (ed.) et al., Dynamic logic. New trends and applications. 5th international workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 14401, 20-34 (2024). MSC: 03B70 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Kudinov, A. V. Topological product of modal logics with the McKinsey axiom. (English) Zbl 07854739 Dokl. Math. 109, No. 1, 66-72 (2024). MSC: 03Bxx 03Gxx 03-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Fritz, Peter Axiomatizability of propositionally quantified modal logics on relational frames. (English) Zbl 07854638 J. Symb. Log. 89, No. 2, 758-793 (2024). MSC: 03B16 03B25 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Kim, Dongwoo Exact truthmaker semantics for modal logics. (English) Zbl 07854137 J. Philos. Log. 53, No. 3, 789-829 (2024). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI
Milford, James Counterpart theory and actuality. (English) Zbl 07854133 J. Philos. Log. 53, No. 3, 679-694 (2024). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI
Coniglio, Marcelo Esteban (ed.); Kubyshkina, Ekaterina (ed.); Zaitsev, Dmitry (ed.) Many-valued semantics and modal logics: essays in honour of Yuriy Vasilievich Ivlev. (English) Zbl 1544.03008 Synthese Library 485. Cham: Springer (ISBN 978-3-031-56594-6/hbk; 978-3-031-56597-7/pbk; 978-3-031-56595-3/ebook). xvi, 323 p. (2024). MSC: 03-06 03B45 03B50 00B15 00B30 × Cite Format Result Cite Review PDF Full Text: DOI
De Berardinis, Matteo; Ghilardi, Silvio Profiniteness, monadicity and universal models in modal logic. (English) Zbl 07848931 Ann. Pure Appl. Logic 175, No. 7, Article ID 103454, 26 p. (2024). MSC: 03B45 03G05 03G30 18C20 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Khan, Md. Aquil; Ranjan; Talukdar, Amal A study of modal logic with semantics based on rough set theory. (English) Zbl 07842744 J. Appl. Non-Class. Log. 34, No. 2-3, 223-247 (2024). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI
Conradie, Willem; Manoorkar, Krishna; Palmigiano, Alessandra; Panettiere, Mattia Modal reduction principles: a parametric shift to graphs. (English) Zbl 07842743 J. Appl. Non-Class. Log. 34, No. 2-3, 174-222 (2024). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Mares, Edwin Logic and information. (English) Zbl 1540.03002 Elements in Philosophy and Logic. Cambridge: Cambridge University Press (ISBN 978-1-00-946675-2/hbk; 978-1-00-946673-8/pbk; 978-1-00-946674-5/ebook). 73 p. (2024). MSC: 03-01 03A05 03B45 94A15 × Cite Format Result Cite Review PDF Full Text: DOI
Cate, Balder ten; Koudijs, Raoul Characterising modal formulas with examples. (English) Zbl 07838030 ACM Trans. Comput. Log. 25, No. 2, Article No. 12, 27 p. (2024). MSC: 03B70 68-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Schechter, Joshua Supervaluationism, modal logic, and weakly classical logic. (English) Zbl 07832902 J. Philos. Log. 53, No. 2, 411-461 (2024). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI
Dohrn, Daniel Ab esse ad posse non Valet Consequentia. (English) Zbl 07832901 J. Philos. Log. 53, No. 2, 391-409 (2024). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI
Pawlowski, Pawel; Skurt, Daniel 8 valued non-deterministic semantics for modal logics. (English) Zbl 07832899 J. Philos. Log. 53, No. 2, 351-371 (2024). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI
Giordani, Alessandro Situation-based connexive logic. (English) Zbl 07830170 Stud. Log. 112, No. 1-2, 295-323 (2024). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI
Fazio, Davide; Odintsov, Sergei P. An algebraic investigation of the connexive logic \(\mathsf{C}\). (English) Zbl 07830163 Stud. Log. 112, No. 1-2, 37-67 (2024). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI
Adam-Day, Sam; Bezhanishvili, Nick; Gabelaia, David; Marra, Vincenzo Polyhedral completeness of intermediate logics: the nerve criterion. (English) Zbl 07827893 J. Symb. Log. 89, No. 1, 342-382 (2024). MSC: 03B55 03B45 06A07 06D20 52B05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Bezhanishvili, G.; Fernández-Duque, D. The Baire closure and its logic. (English) Zbl 07827878 J. Symb. Log. 89, No. 1, 27-49 (2024). MSC: 03B45 54E52 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Kocurek, Alexander W. The logic of hyperlogic. Part A: Foundations. (English) Zbl 07827535 Rev. Symb. Log. 17, No. 1, 244-271 (2024). MSC: 03A05 03B16 03B45 03B62 × Cite Format Result Cite Review PDF Full Text: DOI
Kurahashi, Taishi; Okuda, Motoki Disjunction and existence properties in modal arithmetic. (English) Zbl 07827533 Rev. Symb. Log. 17, No. 1, 178-205 (2024). MSC: 03B45 03F30 03F40 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Fernández-Duque, David Taming the ‘elsewhere’: on expressivity of topological languages. (English) Zbl 07827531 Rev. Symb. Log. 17, No. 1, 144-153 (2024). MSC: 03Bxx 54A05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Acosta, Ignacio Bellas; Venema, Yde Counting to infinity: graded modal logic with an infinity diamond. (English) Zbl 07827524 Rev. Symb. Log. 17, No. 1, 1-35 (2024). MSC: 03B45 03C80 × Cite Format Result Cite Review PDF Full Text: DOI
Abramsky, Samson; Reggio, Luca Arboreal categories and equi-resource homomorphism preservation theorems. (English) Zbl 07827505 Ann. Pure Appl. Logic 175, No. 6, Article ID 103423, 41 p. (2024). MSC: 03B10 03B70 03C13 18C10 68Q19 68Q55 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Fritz, Peter Propositional quantifiers. (English) Zbl 07826890 Elements in Philosophy and Logic. Cambridge: Cambridge University Press (ISBN 978-1-00-917773-3/pbk; 978-1-00-953274-7/hbk; 978-1-00-917774-0/ebook). 109 p. (2024). MSC: 03-02 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Bezhanishvili, Nick (ed.); Iemhoff, Rosalie (ed.); Yang, Fan (ed.) Dick de Jongh on intuitionistic and provability logics. (English) Zbl 1543.03023 Outstanding Contributions to Logic 28. Cham: Springer (ISBN 978-3-031-47920-5/hbk; 978-3-031-47923-6/pbk; 978-3-031-47921-2/ebook). x, 384 p. (2024). MSC: 03-06 03B20 03B45 03F45 00B15 × Cite Format Result Cite Review PDF Full Text: DOI