The following pages link to (Q3384080):
Displaying 5 items.
- Second-order propositional modal logic: expressiveness and completeness results (Q1731834) (← links)
- Coalition and relativised group announcement logic (Q2236503) (← links)
- (Q5028475) (← links)
- To be announced (Q6040661) (← links)
- Satisfiability of Arbitrary Public Announcement Logic with Common Knowledge is Σ^1_1-hard (Q6199614) (← links)