Pages that link to "Item:Q3984418"
From MaRDI portal
The following pages link to Properties of independently axiomatizable bimodal logics (Q3984418):
Displaying 31 items.
- Towards resolution-based reasoning for connected logics (Q281156) (← links)
- An analytic tableau calculus for a temporalised belief logic (Q456722) (← links)
- \({\mathcal E}\)-connections of abstract description systems (Q814594) (← links)
- On combinations of propositional dynamic logic and doxastic modal logics (Q1006486) (← links)
- Metatheory of actions: beyond consistency (Q1028966) (← links)
- Modal languages and bounded fragments of predicate logic (Q1267082) (← links)
- On logics with coimplication (Q1272827) (← links)
- Adding a temporal dimension to a logic system (Q1314287) (← links)
- What is the upper part of the lattice of bimodal logics? (Q1327483) (← links)
- The structure of lattices of subframe logics (Q1361249) (← links)
- Editors' introduction to the special issue on combining logics (Q1815423) (← links)
- The price of universality (Q1815426) (← links)
- Combining temporal logic systems (Q1815427) (← links)
- On combined connectives (Q1941724) (← links)
- Orthogonal frames and indexed relations (Q2148794) (← links)
- Craig interpolation in the presence of unreliable connectives (Q2254572) (← links)
- A new combination procedure for the word problem that generalizes fusion decidability results in modal logics (Q2432763) (← links)
- Preservation of Craig interpolation by the product of matrix logics (Q2446552) (← links)
- Distributed knowability and Fitch's paradox (Q2464652) (← links)
- Finite model property in weakly transitive tense logics (Q2698279) (← links)
- Updating knowledge using subsets (Q2901221) (← links)
- Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics (Q3128464) (← links)
- Completeness and decidability of tense logics closely related to logics above K4 (Q4338319) (← links)
- The finite model property in tense logic (Q4858814) (← links)
- Grafted frames and <i>S1</i> -completeness (Q4934043) (← links)
- REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION (Q5009679) (← links)
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS (Q5241231) (← links)
- Splittings and the finite model property (Q5287685) (← links)
- Frames for fusions of modal logics (Q5375871) (← links)
- PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS (Q5737940) (← links)
- Modal logics that need very large frames (Q5937849) (← links)