scientific article; zbMATH DE number 5177771

MaRDI QIDQ3594284zbMATH OpenFDO

Authors Jūratė Sakalauskaitė

Publication date 7 August 2007

zbMATH Keywords

branching timebundle semanticsrestricted cut rulesequent calculustemporal logic of knowledge and belief

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44)

Recommendations

• Sequent calculi for branching time temporal logics of knowledge and beliefwith awareness: completeness and decidability
• Sequent calculi for temporal logics of common knowledge and belief
• A sequent calculus for logic of knowledge and past time: completeness and decidability
• A sequent calculus for propositional temporal logic with time gaps
• Complete axiomatizations for reasoning about knowledge and branching time
• Decidable temporal and sequential relevant logics*
• Dynamic epistemic logic with branching temporal structures
• Loop-type sequent calculi for temporal logic
• Sequent calculi with analytic cut for logics of time and knowledge with perfect recall
• An analytic tableau calculus for a temporalised belief logic

Cited in

(8)

• Complete axiomatizations for reasoning about knowledge and branching time
• Sequent calculi with analytic cut for logics of time and knowledge with perfect recall
• Cut-free calculi and relational semantics for temporal STIT logics
• Sequent calculi for branching time temporal logics of knowledge and beliefwith awareness: completeness and decidability
• A sequent calculus for logic of knowledge and past time: completeness and decidability
• Two complete finitary sequent calculi for reflexive common knowledge
• Sequent calculi for temporal logics of common knowledge and belief
• scientific article; zbMATH DE number 1418373 (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 Q3594284)