Pages that link to "Item:Q4586133"
From MaRDI portal
The following pages link to Putting right the wording and the proof of the Truth Lemma for<i>APAL</i> (Q4586133):
Displaying 8 items.
- Positive announcements (Q2046881) (← links)
- Coalition and relativised group announcement logic (Q2236503) (← links)
- Arbitrary public announcement logic with memory (Q2686087) (← links)
- (Q3384067) (← links)
- Propositional quantification in logics of contingency (Q4586155) (← links)
- (Q5028475) (← links)
- To be announced (Q6040661) (← links)
- Unknown truths and unknowable truths (Q6562532) (← links)
