scientific article; zbMATH DE number 7577565
From MaRDI portal
Publication:5101334
Publication date: 30 August 2022
Full work available at URL: https://arxiv.org/abs/2012.13858
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cites Work
- Intuitionistic epistemic logic, Kripke models and Fitch's paradox
- Priestley style duality for distributive meet-semilattices
- Models for normal intuitionistic modal logics
- Coalgebraic logic
- The Pontryagin duality of compact O-dimensional semilattices and its applications
- Positive modal logic
- Esakia style duality for implicative semilattices
- Varieties of implicative semilattices
- Interaction and Observation: Categorical Semantics of Reactive Systems Trough Dialgebras
- Which classical correspondence is valid in intuitionistic modal logic?
- A Categorical Semantics for Inductive-Inductive Definitions
- Duality and Universal Models for the Meet-Implication Fragment of IPC
- Distributive Lattices with a Negation Operator
- Logics of varieties, logics of semilattices and conjunction
- From Algebras and Coalgebras to Dialgebras
- Modal Intuitionistic Logics as Dialgebraic Logics
- Implicative Semi-Lattices
- A Representation Theory for Prime and Implicative Semilattices
- MIPC as the formalisation of an intuitionist concept of modality
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
