Pages that link to "Item:Q2903753"
From MaRDI portal
The following pages link to Projective unification in modal logic (Q2903753):
Displaying 26 items.
- Almost structural completeness; an algebraic approach (Q278762) (← links)
- A syntactic approach to unification in transitive reflexive modal logics (Q286704) (← links)
- About the unification type of modal logics between \(\mathbf{KB}\) and \(\mathbf{KTB} \) (Q831218) (← links)
- Unitary self-adjoint logics of projections (Q1264379) (← links)
- About the unification type of \(\mathbf{K}+\square \square \bot\) (Q2134937) (← links)
- Multiagent temporal logics, unification problems, and admissibilities (Q2160194) (← links)
- Multi-agent logics with dynamic accessibly relations, projective unifiers (Q2165613) (← links)
- Unification in pretabular extensions of S4 (Q2239389) (← links)
- Projective formulas and unification in linear discrete temporal multi-agent logics (Q2402145) (← links)
- Finitary unification in locally tabular modal logics characterized (Q2667999) (← links)
- Almost structurally complete infinitary consequence operations extending S4.3 (Q4644526) (← links)
- Projective unification in transitive modal logics (Q5095652) (← links)
- Ideal Related Algebras and Their Logics Extended Abstract (Q5098744) (← links)
- (Q5099882) (← links)
- Projective formulas and unification in linear temporal logic LTLU (Q5172145) (← links)
- UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS (Q5381031) (← links)
- PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS (Q5737940) (← links)
- Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK (Q5852970) (← links)
- Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality (Q5853178) (← links)
- Projective unification in weakly transitive and weakly symmetric modal logics (Q5866481) (← links)
- Dynamic temporal logical operations in multi-agent logics (Q6072992) (← links)
- Admissibility and unification in the modal logics related to S4.2 (Q6153443) (← links)
- Multi-agent temporal logics, information, unification, and projectivity (Q6539755) (← links)
- Linear step-like logic of knowledge \(\mathcal{LTK}.{sl} \) (Q6587464) (← links)
- About the unification types of modal logics (Q6612813) (← links)
- Unification types and union splittings in intermediate logics (Q6614043) (← links)