scientific article; zbMATH DE number 92610

zbMATH Open0763.03015MaRDI QIDQ4018076FDOQ4018076

Authors: Dimiter Vakarelov 

Publication date: 16 January 1993

Title of this publication is not available (Why is that?)

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

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)

Cited In (10)

• Formalised Inductive Reasoning in the Logic of Bunched Implications
• Title not available (Why is that?)
• Hyperboolean Algebras and Hyperboolean Modal Logic
• On linear logic of knowledge and time
• Reflexive-insensitive modal logics
• Modal logic and the approximation induction principle
• Elementary canonical formulae: extending Sahlqvist's theorem
• Title not available (Why is that?)
• Modal logic and the approximation induction principle
• Title not available (Why is that?)

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)