scientific article
From MaRDI portal
Publication:3384065
zbMath1483.03006arXiv1707.08743MaRDI QIDQ3384065
Willem Conradie, Michele Piazzai, Alessandra Palmigiano, Apostolos Tzimoulis, Nachoem Wijnberg, Sabine Frittella
Publication date: 14 December 2021
Full work available at URL: https://arxiv.org/abs/1707.08743
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (7)
THE LOGIC OF RESOURCES AND CAPABILITIES ⋮ A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts ⋮ Labelled calculi for lattice-based modal logics ⋮ Labelled calculi for the logics of rough concepts ⋮ Toward a Dempster-Shafer theory of concepts ⋮ Algorithmic correspondence and canonicity for non-distributive logics ⋮ Modelling socio-political competition
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Algebraic semantics and model completeness for intuitionistic public announcement logic
- Generalized Kripke frames
- Constructive canonicity for lattice-based fixed point logics
- Lattice logic properly displayed
- On phase semantics and denotational semantics in multiplicative-additive linear logic
- Algorithmic correspondence and canonicity for non-distributive logics
- Categories: How I Learned to Stop Worrying and Love Two Sorts
- Epistemic Updates on Algebras
- Multi-type display calculus for propositional dynamic logic
- Unified Correspondence
This page was built for publication:
