Pages that link to "Item:Q1857362"
From MaRDI portal
The following pages link to Modal logic, truth, and the master modality. (Q1857362):
Displaying 7 items.
- Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere (Q817688) (← links)
- Arthur Prior and hybrid logic (Q857663) (← links)
- Logic, truth and the modalities. From a phenomenological perspective (Q1567500) (← links)
- Natural deduction for first-order hybrid logic (Q1777372) (← links)
- Logics for actor networks: a two-stage constrained-hybridisation approach (Q2423775) (← links)
- A defense the Kripkean account of logical truth in first-order modal logic (Q2572385) (← links)
- THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH (Q5000260) (← links)