Pages that link to "Item:Q4399516"
From MaRDI portal
The following pages link to Adding the everywhere operator to propositional logic (Q4399516):
Displaying 4 items.
- Formal justification of underspecification for S5 (Q287254) (← links)
- Carnapian extensions of S5 (Q1066883) (← links)
- ``Everywhere'' in predicate algebra and modal logic (Q1349962) (← links)
- Sound and complete axiomatic system with a modality \(\square \varphi=\square_1 \varphi \vee \square_2\varphi\) (Q2993258) (← links)