Old Web
English
Sign In
Acemap
>
Paper
>
Abstraction in ?rst-order modal logic
Abstraction in ?rst-order modal logic
1968
R. Stalnaker
R. Thomason
Keywords:
Normal modal logic
Discrete mathematics
Dynamic logic (modal logic)
Description logic
S5
Intermediate logic
Linear temporal logic
Multimodal logic
Accessibility relation
Mathematics
Correction
Cite
Save
Machine Reading By IdeaReader
0
References
3
Citations
NaN
KQI
[]