The following pages link to Arthur Prior and hybrid logic (Q857663):
Displaying 15 items.
- Prior on an insolubilium of Jean Buridan (Q395588) (← links)
- Completeness in hybrid type theory (Q484101) (← links)
- Objectivity without objects: a Priorian program (Q516408) (← links)
- Solving Prior's problem with a Priorean tool (Q516412) (← links)
- Prior and temporal sequences for natural language (Q516415) (← links)
- Arthur Prior and `now' (Q516423) (← links)
- Reichenbach, Prior and hybrid tense logic (Q516424) (← links)
- Worlds, times and selves revisited (Q516427) (← links)
- Intuitionistic hybrid logic: introduction and survey (Q764256) (← links)
- Pure extensions, proof rules, and hybrid axiomatics (Q863181) (← links)
- Hybrid counterfactual logics. David Lewis meets Arthur Prior again (Q1047798) (← links)
- How to Lewis a Kripke-Hintikka (Q2442134) (← links)
- A Hybrid Public Announcement Logic with Distributed Knowledge (Q4917078) (← links)
- Prior's Grappling with Peirce's Existential Graphs (Q5207923) (← links)
- Towards World Identification in Description Logics (Q5882770) (← links)
