scientific article; zbMATH DE number 6863635

MaRDI QIDQ4636023zbMATH OpenFDO

Authors Juan P. Aguilera, David Fernández-Duque

Publication date 23 April 2018

zbMATH Keywords

logic of proofsnegative introspectionverifaction logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Recommendations

• An arithmetic interpretation of intuitionistic verification
• An arithmetical interpretation of verification and intuitionistic knowledge
• A Verification Logic for Rewriting Logic
• scientific article; zbMATH DE number 1617312
• Decidability for some justification logics with negative introspection
• Verification of logic programs
• On the proofs of arithmetical completeness for interpretability logic
• scientific article; zbMATH DE number 4174895
• Weak arithmetical interpretations for the logic of proofs
• An operational logic of proofs with positive and negative information

Cited in

(3)

• Efficient SAT-based minimal model generation methods for modal logic S5
• Decidability for some justification logics with negative introspection
• Verificaton, falsification, and cancellation in KT

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