scientific article; zbMATH DE number 1301971

MaRDI QIDQ4247207zbMATH OpenFDO

Authors Nicolette Bonnette, Rajeev Goré

Publication date 6 December 1999

zbMATH Keywords

automated deductionlabelled deductive systemlabelled sequent systemlean deductionlean Prolog implementationtense logic

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Temporal logic (03B44) Logic programming (68N17)

Recommendations

• A labelled natural deduction system for linear temporal logic
• From display to labelled proofs for tense logics
• Cut-free sequent calculi for some tense logics
• scientific article; zbMATH DE number 1301972

Cited in

(9)

• Logics and decidability for labelled pre- and partially ordered Kripke structures
• From display to labelled proofs for tense logics
• Positive logic with adjoint modalities: proof theory, semantics and reasoning about information
• scientific article; zbMATH DE number 3877151 (Why is no real title available?)
• scientific article; zbMATH DE number 1222483 (Why is no real title available?)
• scientific article; zbMATH DE number 1301972 (Why is no real title available?)
• scientific article; zbMATH DE number 1341473 (Why is no real title available?)
• A useful four-valued extension of the temporal logic \(\mathsf{K}_{\mathsf t}\mathsf{T4}\)
• Axiomatic and tableau-based reasoning for Kt (H, R)

Describes a project that uses

Uses Software

• leanTAP
• KtSeqC

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