scientific article; zbMATH DE number 2196593

MaRDI QIDQ5465443zbMATH OpenFDO

Authors Agi Kurucz, Michael Zakharyaschev

Publication date 22 August 2005

zbMATH Keywords

fusionsmodal logicRelativised product logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• Products of modal logics. Part 2: relativised quantifiers in classical logic
• On the Products of Linear Modal Logics
• Products of ‘transitive” modal logics
• Cut-free sequent calculi for products and relativised products of modal logics
• Products of modal logics and tensor products of modal algebras
• scientific article; zbMATH DE number 1989655
• Products of modal logics. III. Products of modal and temporal logics
• On modal logics of model-theoretic relations
• Products of modal logics, part 1
• Complexity of products of modal logics

Cited in

(11)

• Diversity of agents and their interaction
• Topological-frame products of modal logics
• Sup-t-norm and inf-residuum are one type of relational product: unifying framework and consequences
• Agents necessitating effects in Newtonian time and space: from power and opportunity to effectivity
• Non-primitive recursive decidability of products of modal logics with expanding domains
• Matching topological and frame products of modal logics
• scientific article; zbMATH DE number 1989655 (Why is no real title available?)
• Products of modal logics. Part 2: relativised quantifiers in classical logic
• Indexed frames and hybrid logics
• A Note on Drastic Product Logic
• Fooling around with tenses

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 Q5465443)