The logic of provability
সংরক্ষণ করুন:
| প্রধান লেখক: | |
|---|---|
| বিন্যাস: | গ্রন্থ |
| ভাষা: | অজানা বা ভুল ভাষা ইংরেজি |
| প্রকাশিত: |
Cambridge University Press
1993
|
| বিষয়গুলি: | |
| ট্যাগগুলো: |
ট্যাগ যুক্ত করুন
কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!
|
সূচিপত্রের সারণি:
- Preface--Introduction--GL and other systems of propositional modal logic--Peano arithmetic--The box as Bew(x)--Semantics for GL and other modal logics--Completeness and decidability of GL and K, K4, T, B, S4 and S5--Canonical models--On GL---The fixed poi