:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Düntsch, Ivo, Dzik, Wojciech
Format:	Preprint
Published:	2023
Subjects:	Logic in Computer Science Rings and Algebras 03B45 03B70 03G25
Online Access:	https://arxiv.org/abs/2309.16824
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Discrete dualities for some algebras from rough sets
by: Düntsch, Ivo, et al.
Published: (2026)

First-Order Modal Logic via Logical Categories
by: Ghilardi, Silvio, et al.
Published: (2025)

Interleaving Logic and Counting
by: van Benthem, Johan, et al.
Published: (2025)

Logical reduction of relations: from relational databases to Peirce's reduction thesis
by: Koshkin, Sergiy
Published: (2024)

A mixed logic with binary operators
by: Düntsch, Ivo, et al.
Published: (2024)

On Probabilistic $ω$-Pushdown Systems, and $ω$-Probabilistic Computational Tree Logic
by: Lin, Deren, et al.
Published: (2022)

Towards a logic of affordances
by: Gruszczynski, Rafal, et al.
Published: (2025)

Models for the common knowledge logic
by: Tanaka, Yoshihito
Published: (2024)

Term algebras of elementarily equivalent atom structures
by: Andréka, H., et al.
Published: (2018)

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
by: Lyon, Tim S.
Published: (2025)

Interpolation and the Exchange Rule
by: Fussner, Wesley, et al.
Published: (2023)

Residuated lattices do not have the amalgamation property
by: Jipsen, Peter, et al.
Published: (2025)

Interpolation in Hájek's Basic Logic
by: Fussner, Wesley, et al.
Published: (2024)

On the expressive power of inquisitive epistemic logic
by: Ciardelli, Ivano, et al.
Published: (2023)

On the unification problem for GLP
by: Beklemishev, Lev D.
Published: (2024)

Bochvar algebras: A categorical equivalence and the generated variety
by: Bonzio, Stefano, et al.
Published: (2024)

Possibility Frames and Forcing for Modal Logic
by: Holliday, Wesley H.
Published: (2025)

The Golden Path to Guarded Monotone Strict NP
by: Barsukov, Alexey, et al.
Published: (2023)

Possibility Semantics
by: Holliday, Wesley H.
Published: (2024)

Logics of polyhedral reachability
by: Bezhanishvili, Nick, et al.
Published: (2024)

Intuitionistic Common Knowledge
by: Zenger, Lukas
Published: (2026)

A proof-theoretical approach to some extensions of first order quantification
by: Allègre, Loïc, et al.
Published: (2024)

Arrow algebras
by: Berg, Benno van den, et al.
Published: (2023)

Combining swap structures: the case of Paradefinite Ivlev-like modal logics based on FDE
by: Coniglio, Marcelo E.
Published: (2023)

Swap Kripke models for deontic LFIs
by: Vaz, Mahan, et al.
Published: (2025)

Kripke-like models of Set Theory in Modal Residuated Logic
by: Moncayo, Jose, et al.
Published: (2024)

The Orthologic of Epistemic Modals
by: Holliday, Wesley H., et al.
Published: (2022)

The Sup Connective in IMALL: A Categorical Semantics
by: Díaz-Caro, Alejandro, et al.
Published: (2022)

Representable distributive quasi relation algebras
by: Craig, Andrew, et al.
Published: (2023)

Labeled Sequent Calculus and Countermodel Construction for Justification Logics
by: Ghari, Meghdad
Published: (2014)

Paraconsistent Belief Revision: A Replacement-Enriched LFI for Epistemic Entrenchment
by: Coniglio, Marcelo E., et al.
Published: (2024)

Representability for distributive quasi relation algebras via nested sums
by: Craig, Andrew, et al.
Published: (2025)

Logics of False Belief and Radical Ignorance
by: Fan, Jie
Published: (2024)

Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
by: Knudstorp, Søren Brinck
Published: (2025)

First-Order Coalition Logic
by: Catta, Davide, et al.
Published: (2025)

Lewis and Brouwer meet Strong Löb
by: Visser, Albert, et al.
Published: (2024)

A new decision method for Intuitionistic Logic by 3-valued non-deterministic truth-tables (pre-print version)
by: Leme, Renato, et al.
Published: (2023)

Locally tabular products of modal logics
by: Shapirovsky, Ilya B., et al.
Published: (2024)

Maehara Interpolation in Extensions of R-mingle
by: Fussner, Wesley, et al.
Published: (2025)

Stone type representation theorems via games
by: Aslan, Tuğba, et al.
Published: (2018)