A Kripke semantics for Monadic BL Chains

Conference paper

Lewis-Smith, A. and Zhou, Z. 2025. A Kripke semantics for Monadic BL Chains. Sauerwald, K. and Thimm, M. (ed.) 18th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Hagen, Germany 19 - 23 Sep 2025 Springer. pp. 499-511 https://doi.org/10.1007/978-3-032-05134-9_34
TypeConference paper
TitleA Kripke semantics for Monadic BL Chains
AuthorsLewis-Smith, A. and Zhou, Z.
Abstract

We provide a generalisation of Kripke semantics for Monadic first-order Basic Logic of Chains (MBLC) of Petr Hájek and prove its soundness and completeness with respect to our semantics. This paper extends the insights of [10] from BL to the case of MBLC.

KeywordsSubstructural Logic; Kripke Semantics
Sustainable Development Goals9 Industry, innovation and infrastructure
Middlesex University ThemeCreativity, Culture & Enterprise
Conference18th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Page range499-511
Proceedings TitleSymbolic and Quantitative Approaches to Reasoning with Uncertainty: 18th European Conference, ECSQARU 2025, Hagen, Germany, September 23–26, 2025, Proceedings
SeriesLecture Notes in Computer Science
EditorsSauerwald, K. and Thimm, M.
ISSN0302-9743
Electronic1611-3349
ISBN
Paperback9783032051332
Electronic9783032051349
PublisherSpringer
Copyright Year2026
Publication dates
Online24 Sep 2025
Print24 Sep 2025
Publication process dates
Accepted09 Jul 2025
Deposited28 Jul 2025
Output statusPublished
Accepted author manuscript
File Access Level
Open
Copyright Statement

This version of the paper has been accepted for publication, after peer review and is subject to Springer Nature’s AM terms of use (https://www.springernature.com/gp/open-research/policies/accepted-ma...), but is not the Version of Record and does not reflect post-acceptance improvements, or any corrections. The Version of Record is available online at: http://dx.doi.org/10.1007/978-3-032-05134-9_34

Digital Object Identifier (DOI)https://doi.org/10.1007/978-3-032-05134-9_34
Web address (URL) of conference proceedingshttps://doi.org/10.1007/978-3-032-05134-9
LanguageEnglish
Permalink -

https://repository.mdx.ac.uk/item/27z114

Log in to edit
File access - Request a copy

Restricted files

Accepted author manuscript

  • 347
    total views
  • 3
    total downloads
  • 7
    views this month
  • 0
    downloads this month

Export as

Related outputs

A Kripke semantics for commutative generalised basic logic
Lewis-Smith, A. and Zhao, Z. 2026. A Kripke semantics for commutative generalised basic logic. 8th Asian Workshop on Philosophical Logic . Chongqing, China 06 - 08 Apr 2026 Springer.
Kripke semantics for MTL
Lewis-Smith, A. and Zhao, Z. 2025. Kripke semantics for MTL. Liao, B., Rotolo, A., van der Torre, L. and Yu, L. (ed.) 5th International Workshop on Logics for New-Generation Artificial Intelligence. Luxembourg 01 - 05 Dec 2025 College Publications. pp. 117-130
Monadic pseudocomplemented distributive lattices
Lewis-Smith, A., Pelaitay, G. and Calomino, I. 2025. Monadic pseudocomplemented distributive lattices. Journal of Applied Logic.
A Kripke semantics for intuitionistic Lukasiewicz logic with weak excluded middle
Lewis-Smith, A. and Zhou, Z. 2025. A Kripke semantics for intuitionistic Lukasiewicz logic with weak excluded middle. 19th European Conference on Logics in Artificial Intelligence. Kutaisi, Georgia 01 - 05 Sep 2025 Springer. pp. 275-289 https://doi.org/10.1007/978-3-032-04587-4_17