scientific article; zbMATH DE number 92610

MaRDI QIDQ4018076zbMATH OpenFDO

Authors Dimiter Vakarelov

Publication date 16 January 1993

zbMATH Keywords

semanticscompletenessfiltrationpropositional dynamic logicbi-modal logicsinductive modal logicsSegerberg's induction axiom

Mathematics Subject Classification ID

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

Recommendations

• Modal logic for induction
• Modal logic and the approximation induction principle
• Modal logic and the approximation induction principle
• scientific article; zbMATH DE number 1418447
• scientific article; zbMATH DE number 2101966
• Modal logic
• scientific article; zbMATH DE number 1003731
• scientific article; zbMATH DE number 1749192
• Modal Foundations for Predicate Logic
• scientific article; zbMATH DE number 1303428

Cited in

(10)

• On linear logic of knowledge and time
• Modal logic and the approximation induction principle
• scientific article; zbMATH DE number 1395882 (Why is no real title available?)
• Formalised Inductive Reasoning in the Logic of Bunched Implications
• Elementary canonical formulae: extending Sahlqvist's theorem
• scientific article; zbMATH DE number 2019866 (Why is no real title available?)
• Modal logic and the approximation induction principle
• Hyperboolean Algebras and Hyperboolean Modal Logic
• scientific article; zbMATH DE number 3254846 (Why is no real title available?)
• Reflexive-insensitive modal logics

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