scientific article; zbMATH DE number 871235

MaRDI QIDQ4874650zbMATH OpenFDO

Authors Andrzej Szałas

Publication date 6 June 1996

zbMATH Keywords

modal logicstemporal logicdynamic logic\(\mu\)-calculuslogics of programsnatural deduction proof systemsfirst-order fixpoint logicsfixpoint equations on formulas

Mathematics Subject Classification ID

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

Recommendations

• Natural deduction for first-order hybrid logic
• scientific article; zbMATH DE number 3902624
• Natural deduction for the finite least fixed point logic with an infinitary rule
• scientific article; zbMATH DE number 7599926
• On natural deduction in dependence logic
• Natural deduction systems for logics in the FDE family
• Natural deduction for non-classical logics
• Natural deduction for intuitionistic linear logic
• Natural deduction and sequent calculus for intuitionistic relevant logic
• Natural deduction for paraconsistent logic

Cited in

(5)

• Natural deduction for the finite least fixed point logic with an infinitary rule
• An approach to infinitary temporal proof theory
• Axiomatizing fixpoint logics
• scientific article; zbMATH DE number 3902624 (Why is no real title available?)
• scientific article; zbMATH DE number 7599926 (Why is no real title available?)

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