The following pages link to Jurate Saskalauskaite (Q704033):
Displayed 22 items.
- Two-dimensional awareness logics (Q704034) (← links)
- (Q852273) (redirect page) (← links)
- A sequent calculus for propositional dynamic logic for agents with interactions (Q852274) (← links)
- Tableaus with invertible rules for many-valued modal propositional logics (Q1873250) (← 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)
- A sequent calculus for propositional dynamic logic for agents (Q2571499) (← links)
- (Q2718775) (← links)
- (Q2757840) (← links)
- (Q2791891) (← links)
- (Q2810015) (← links)
- (Q3222193) (← links)
- (Q3417384) (← links)
- (Q3594284) (← links)
- (Q3760521) (← links)
- (Q3783275) (← links)
- (Q4264060) (← links)
- (Q4639651) (← links)
- (Q4741686) (← links)
- (Q5202986) (← links)
- (Q5869513) (← links)