Projective unification in modal logic
From MaRDI portal
Recommendations
- Projective unification in transitive modal logics
- Projective unification in weakly transitive and weakly symmetric modal logics
- Unification in modal logic
- Unification in modal logic \(\mathrm{Alt}_1\)
- Unification in first-order transitive modal logic
- Modal consequence relations extending S4.3: an application of projective unification
- Unifying quantified modal logic
- Unification in modal and description logics
- Unification types in Euclidean modal logics
- scientific article; zbMATH DE number 1396683
Cited in
(32)- Unitary self-adjoint logics of projections
- About the unification type of \(\mathbf{K}+\square \square \bot\)
- Multiagent temporal logics, unification problems, and admissibilities
- Multi-agent logics with dynamic accessibly relations, projective unifiers
- Unification in pretabular extensions of S4
- Modal consequence relations extending S4.3: an application of projective unification
- Projective formulas and unification in linear discrete temporal multi-agent logics
- Finitary unification in locally tabular modal logics characterized
- Almost structural completeness; an algebraic approach
- A syntactic approach to unification in transitive reflexive modal logics
- Almost structurally complete infinitary consequence operations extending \(\mathbf{S4.3}\)
- Exploring a result by Ghilardi: projective formulas vs. the extension property
- Projective unification in transitive modal logics
- Ideal Related Algebras and Their Logics Extended Abstract
- scientific article; zbMATH DE number 7576752 (Why is no real title available?)
- Projective formulas and unification in linear temporal logic \(\mathrm{LTL}_{U}\)
- UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS
- Remarks on projective unifiers
- Transparent unifiers in modal logics with self-conjugate operators
- Preservation of admissible rules when combining logics
- Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK
- Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality
- Projective unification in weakly transitive and weakly symmetric modal logics
- Dynamic temporal logical operations in multi-agent logics
- Admissibility and unification in the modal logics related to S4.2
- Multi-agent temporal logics, information, unification, and projectivity
- Linear step-like logic of knowledge \(\mathcal{LTK}.{sl} \)
- About the unification types of modal logics
- Unification types and union splittings in intermediate logics
- Closure algebras of depth two with extremal relations: their frames, logics, and structural completeness
- Projective relative unification through duality
- About the unification type of modal logics between \(\mathbf{KB}\) and \(\mathbf{KTB} \)
This page was built for publication: Projective unification in modal logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2903753)
