Q3384065 (Q3384065): Difference between revisions

From MaRDI portal

Jump to:navigation, search

Latest revision as of 13:18, 27 July 2024

scientific article

Language	Label	Description	Also known as
English	No label defined	scientific article

Statements

scholarly article

0 references

zbMATH Open document ID

0 references

Willem Conradie

0 references

Sabine Frittella

0 references

Alessandra Palmigiano

0 references

Michele Piazzai

0 references

Apostolos Tzimoulis

0 references

Nachoem Wijnberg

0 references

publication date

14 December 2021

0 references

full work available at URL

https://arxiv.org/abs/1707.08743

0 references

http://eptcs.web.cse.unsw.edu.au/paper.cgi?TARK2017.12

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

MaRDI profile type

MaRDI publication profile

0 references

0 references

Constructive canonicity for lattice-based fixed point logics

0 references

Categories: How I Learned to Stop Worrying and Love Two Sorts

0 references

Unified Correspondence

0 references

Algorithmic correspondence and canonicity for non-distributive logics

0 references

0 references

On phase semantics and denotational semantics in multiplicative-additive linear logic

0 references

0 references

Multi-type display calculus for propositional dynamic logic

0 references

0 references

Generalized Kripke frames

0 references

Lattice logic properly displayed

0 references

Epistemic Updates on Algebras

0 references

Algebraic semantics and model completeness for intuitionistic public announcement logic

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:3384065

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3384065&oldid=36749918"