No label defined (Q4994195)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7360325

Language	Label	Description	Also known as
English	No label defined	scientific article; zbMATH DE number 7360325

Statements

scholarly article

0 references

Dimiter T. Georgiev

0 references

publication date

17 June 2021

0 references

full work available at URL

https://www.fmi.uni-sofia.bg/en/node/7773

0 references

zbMATH Keywords

correspondence

0 references

modal logic

0 references

Sahlqvist formulas

0 references

SQEMA

0 references

describes a project that uses

0 references

MaRDI profile type

MaRDI publication profile

0 references

0 references

0 references

An undecidable problem in correspondence theory

0 references

0 references

Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA

0 references

Algorithmic Correspondence and Completeness in Modal Logic. II. Polyadic and Hybrid Extensions of the Algorithm SQEMA

0 references

0 references

Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA

0 references

IV. Semantic extensions of SQEMA

0 references

Modal logic with names

0 references

Sahlqvist Formulas in Hybrid Polyadic Modal Logics

0 references

Elementary canonical formulae: extending Sahlqvist's theorem

0 references

PDL with data constants

0 references

An essay in combinatory dynamic logic

0 references

0 references

On the Correspondence Between Modal and Classical Logic: an Automated Approach

0 references

Identifiers

zbMATH Open document ID

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:4994195

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