Pages that link to "Item:Q3984418"

The following pages link to Properties of independently axiomatizable bimodal logics (Q3984418):

Displaying 32 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)
• CoNP complexity for combinations of non-normal modal logics (Q6541159) (← links)