scientific article; zbMATH DE number 5230436

MaRDI QIDQ5437872zbMATH OpenFDO

Authors Wolfgang Degen, J. M. Werner

Publication date 28 January 2008

zbMATH Keywords

completeness problemexistential propertyfailure of negative interpretationintuitionistic modal logicpropositional dynamic logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Recommendations

• A fragment of intuitionistic dynamic logic
• Dynamic logic as a uniform framework for theorem proving in intensional logic
• ON THE EXPRESSIVE POWER OF SOME DYNAMIC LOGICS
• scientific article; zbMATH DE number 2236681
• Dynamic contextual intensional logic: logical foundations and an application
• On interval dynamic logic
• A natural deduction approach to dynamic logic
• The intuitionistic temporal logic of dynamical systems
• Algebraic Semantics for Dynamic Dynamic Logic
• A completeness theorem for dynamic logic

Cited in

(15)

• Observational interpretations of hybrid dynamic logic with binders and silent transitions
• Constructive hybrid games
• A fragment of intuitionistic dynamic logic
• Algebraic Semantics for Dynamic Dynamic Logic
• Modal Semirings Revisited
• ON THE EXPRESSIVE POWER OF SOME DYNAMIC LOGICS
• The intuitionistic temporal logic of dynamical systems
• A natural deduction approach to dynamic logic
• Towards CERes in intuitionistic logic
• Constructive game logic
• scientific article; zbMATH DE number 4197949 (Why is no real title available?)
• Dynamic extensions of arrow logic
• Internal axioms for domain semirings
• Refining constructive hybrid games
• Dynamic doxastic logic: why, how, and where to?

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