scientific article; zbMATH DE number 757642
From MaRDI portal
Publication:4833774
Recommendations
Cited in
(23)- Modal languages and bounded fragments of predicate logic
- Modal definability of first-order formulas with free variables and query answering
- Elementary canonical formulae: extending Sahlqvist's theorem
- On Halldén completeness of modal logics determined by homogeneous Kripke frames
- Sahlqvist theory for impossible worlds
- scientific article; zbMATH DE number 3857062 (Why is no real title available?)
- Every world can see a Sahlqvist world
- scientific article; zbMATH DE number 50169 (Why is no real title available?)
- Derivation rules as anti-axioms in modal logic
- scientific article; zbMATH DE number 1735886 (Why is no real title available?)
- Sahlqvist correspondence for modal mu-calculus
- Results in modal correspondence theory for possibility semantics
- A new proof of Sahlqvist's theorem on modal definability and completeness
- A dichotomy for some elementarily generated modal logics
- Functional Completeness in CPL via Correspondence Analysis
- Correspondence theory in proof theory
- Elementary canonical formulae: a survey on syntactic, algorithmic, and model-theoretic aspects
- First-order intensional logic
- Correspondence theory for generalized modal algebras
- Temporal logic of surjective bounded morphisms between finite linear processes
- Modal reduction principles across relational semantics
- Between burgess and Lewis. I: Logics without rational monotonicity
- Intuitionistic Sahlqvist theory for deductive systems
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4833774)
