Proof theory of modal logic /
This volume deals with formal, mechanizable reasoning in modal logics, that is, logics of necessity, possibility, belief, time computations etc. It is therefore of immense interest for various interrelated disciplines such as philosophy, AI, computer science, logic, cognitive science and linguistics...
Uloženo v:
| Další autoři: | |
|---|---|
| Médium: | Kniha |
| Jazyk: | English |
| Vydáno: |
Boston :
Kluwer,
1996.
|
| Edice: | Applied logic series ;
v. 2 |
| Témata: |
Obsah:
- A Contraction-free Sequent Calculus for S4 / Jorg Hudelmaier
- Transfer of Sequent Calculus Strategies to Resolution for S4 / Grigori Mints, Vladimir Orevkov and Tanel Tammet
- A Linear Approach to Modal Proof Theory / Harold Schellinx
- Refutations and Proofs in S4 / Tomasz Skura
- Relational Proof Systems for Modal Logics / Ewa Orlowska
- The Display Problem / Nuel Belnap
- Power and Weakness of the Modal Display Calculus / Marcus Kracht
- A Proof-theoretic Proof of Functional Completeness for Many Modal and Tense Logics / Heinrich Wansing
- On the Completeness of Classical Modal Display Logic / Rajeev Gore
- Modal Sequents / Claudio Cerrato
- Modal Functional Completeness / Kosta Dosen and Zoran Petric
- A Computational Interpretation of Modal Proofs / Simone Martini and Andrea Masini
- Gabbay-style Calculi / Szabolcs Mikulas
- Translating Graded Modalities into Predicate Logics / H. J. Ohlbach, R. Schmidt and U. Hustadt.
- From Classical to Normal Modal Logics / Olivier Gasquet and Andreas Herzig.