The following pages link to (Q3594284):
Displaying 6 items.
- Complete axiomatizations for reasoning about knowledge and branching time (Q1420806) (← links)
- Sequent calculi with analytic cut for logics of time and knowledge with perfect recall (Q1881777) (← links)
- Sequent calculi for branching time temporal logics of knowledge and beliefwith awareness: completeness and decidability (Q2376368) (← links)
- A sequent calculus for logic of knowledge and past time: completeness and decidability (Q2471643) (← links)
- Two complete finitary sequent calculi for reflexive common knowledge (Q2799622) (← links)
- (Q4941936) (← links)