Epistemic Monadic Boolean Algebras

&
In Natasha Alechina, Andreas Herzig & Fei Liang (eds.), Logic, Rationality, and Interaction: 9th International Workshop, LORI 2023, Jinan, China, October 26–29, 2023, Proceedings. Springer Nature Switzerland. pp. 135-148 (2023)
  Copy   BIBTEX

Abstract

Epistemic monadic Boolean algebras are obtained by enriching monadic Boolean algebras with a knowledge operator. Epistemic monadic logic as the monadic fragment of first-order epistemic logic is introduced for talking about knowing things. A Halmos-style representation of epistemic monadic Boolean algebras is established. Relativizations of epistemic monadic algebras are given for modelling updates. These logics are semantically complete.

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/978-3-031-45558-2_11

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,881

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Monadic NM-algebras.Juntao Wang, Pengfei He & Yanhong She - 2019 - Logic Journal of the IGPL 27 (6):812-835.
Construction of monadic three-valued łukasiewicz algebras.Luiz Monteiro, Sonia Savini & Julio Sewald - 1991 - Studia Logica 50 (3-4):473 - 483.
On Monadic Operators on Modal Pseudocomplemented De Morgan Algebras and Tetravalent Modal Algebras.Aldo Figallo Orellano & Inés Pascual - 2019 - Studia Logica 107 (4):591-611.
Monadic $$k\times j$$ k × j -rough Heyting algebras.Federico Almiñana & Gustavo Pelaitay - 2022 - Archive for Mathematical Logic 61 (5):611-625.
Finite Diagonal-free Two-dimensional Cylindric Algebras.Marttín Figallo - 2004 - Logic Journal of the IGPL 12 (6):509-523.
Monadic MV-algebras are Equivalent to Monadic ℓ-groups with Strong Unit.C. Cimadamore & J. P. Díaz Varela - 2011 - Studia Logica 98 (1-2):175-201.
Monadic MV-algebras are Equivalent to Monadic?-groups with Strong Unit.C. Cimadamore & J. P. D.?az Varela - 2011 - Studia Logica 98 (1-2):175-201.
Varieties of monadic Heyting algebras. Part I.Guram Bezhanishvili - 1998 - Studia Logica 61 (3):367-402.
Monadic MV-algebras are Equivalent to Monadic ℓ-groups with Strong Unit.C. Cimadamore & J. Díaz Varela - 2011 - Studia Logica 98 (1-2):175-201.
On monadic MV-algebras.Antonio Di Nola & Revaz Grigolia - 2004 - Annals of Pure and Applied Logic 128 (1-3):125-139.
Monadic GMV-algebras.Jiří Rachůnek & Dana Šalounová - 2008 - Archive for Mathematical Logic 47 (3):277-297.
Functional Monadic Bounded Algebras.Robert Goldblatt - 2010 - Studia Logica 96 (1):41 - 48.
Monadic Distributive Lattices.Aldo Figallo, Inés Pascual & Alicia Ziliani - 2007 - Logic Journal of the IGPL 15 (5-6):535-551.
Monadic dynamic algebras.S. Marques Pinto, M. Teresa Oliveira-Martins & M. Céu Pinto - 2006 - Mathematical Logic Quarterly 52 (2):134-150.
Pseudomonadic Algebras as Algebraic Models of Doxastic Modal Logic.Nick Bezhanishvili - 2002 - Mathematical Logic Quarterly 48 (4):624-636.

Analytics

Added to PP
2023-10-25

Downloads
8 (#1,318,021)

6 months
6 (#520,934)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Minghui Ma
Sun Yat-Sen University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references