Old Web
English
Sign In
Acemap
>
Paper
>
Counterpart-theoretic Semantics for Modal Logic
Counterpart-theoretic Semantics for Modal Logic
1979
Allen Hazen
Keywords:
Philosophy
Epistemology
Theoretical computer science
Modal logic
Accessibility relation
S5
Dynamic logic (modal logic)
Normal modal logic
Higher-order logic
Multimodal logic
Kripke semantics
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
101
Citations
NaN
KQI
[]