The following pages link to A system of dynamic modal logic (Q1267078):
Displaying 13 items.
- Dynamic modalities (Q454385) (← links)
- On combinations of propositional dynamic logic and doxastic modal logics (Q1006486) (← links)
- Solving the \$100 modal logic challenge (Q1006738) (← links)
- A simple dynamic logic (Q1087866) (← links)
- On models for propositional dynamic logic (Q1183594) (← links)
- Partial up an down logic (Q1903583) (← links)
- The undecidability of iterated modal relativization (Q2574887) (← links)
- (Q2757802) (← links)
- Is Unsaying Polite? (Q2908789) (← links)
- Sound and complete axiomatic system with a modality \(\square \varphi=\square_1 \varphi \vee \square_2\varphi\) (Q2993258) (← links)
- (Q3340773) (← links)
- (Q5709172) (← links)
- (Q5753929) (← links)