寄付 2024年9月15日 – 2024年10月1日募金について

Complexity of Modal Logics [PhD Thesis]

Main
Mathematics - Logic
Complexity of Modal Logics [PhD Thesis]

Complexity of Modal Logics [PhD Thesis]

Edith Spaan

0 / 0

この本はいかがでしたか？

ファイルの質はいかがですか？

質を評価するには、本をダウンロードしてください。

ダウンロードしたファイルの質はいかがでしたか？

This is a doctoral dissertation of Edith Spaan under the supervision of prof. Johan van Benthem.

カテゴリー:

Mathematics - Logic

年:

1993

出版社:

University of Amsterdam

言語:

english

ページ:

130

ファイル:

DJVU, 1.67 MB

IPFS:

,

english, 1993

オンラインで読む

への変換進行中。

への変換が失敗しました。

こちらはいかがでしょうか？

Robert Goldblatt — Logics of time and computation

Krister Segerberg — A Concise Introduction to Propositional Dynamic Logic

Zakharyaschev Wolter; Chagrov — Advanced Modal Logic

Michael Zakharyaschev, Frank Wolter, Alexander Chagrov — Advanced Modal Logic [pp. 83-266]

Edith Spaan — Complexity of Modal Logics [PhD Thesis]

Yde Venema — Many-Dimensional Modal Logic [PhD Thesis]

Frank Wolter — Lattices of Modal Logics [PhD Thesis]

Frank Wolter — Lattices of Modal Logics [PhD Thesis]

Michael Zakharyaschev, Frank Wolter, Alexander Chagrov — Advanced Modal Logic [pp. 83-266]

Michael Zakharyaschev, Frank Wolter, Alexander Chagrov — Advanced Modal Logic [pp. 83-266]

J.F.A.K. van Benthem — Modal Correspondence Theory [PhD Thesis]

J.F.A.K. van Benthem — Modal Correspondence Theory [PhD Thesis]

Carsten Lutz — Complexity of Description Logics with Concrete Domains [PhD Thesis]

Stephan Tobies — Complexity Results and Practical Algorithms for Logics in Knowledge Representation [PhD Thesis]

Ulrich Endriss — Modal Logics of Ordered Trees [PhD Thesis]

Marcus Kracht — Internal Definability and Completeness in Modal Logic [PhD Thesis]

Krister Segerberg — An Essay in Classical Modal Logic

Krister Segerberg — An Essay in Classical Modal Logic

Edward N. Zalta — Basic Concepts In Modal Logic

Alexander Chagrov, Michael Zakharyaschev — (Oxford Logic Guides 35, 1997) Modal Logic

Patrick Blackburn, Maarten de Rijke, Yde Venema — Modal Logic (Cambridge Tracts in Theoretical Computer Science)

Rodenburg P.H. — Intuitionistic Correspondence Theory [PhD Thesis]

Rodenburg P.H. — Intuitionistic Correspondence Theory [PhD Thesis]

Vladimir V. Rybakov — Admissibility of Logical Inference Rules

Dov M. Gabbay, Larisa Maksimova — Interpolation and Definability: Modal and Intuitionistic Logics

Segerberg, Krister — Classical propositional operators: an exercise in the foundations of logic

Alexander Chagrov, Michael Zakharyaschev — Modal Logic

S. Krajewski, S. Krajewski, W. Marek, G. Mirkowska, A. Salwicki, J. Wolenski (eds.) — Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science:In Recognition of Professor Andrzej Grzegorczyk

Marcus Kracht — Tools and Techniques in Modal Logic

Gabbay, Dov M — Many dimensional modal logics : theory and applications

Dov M. Gabbay, Dimitrij Skvortsov, Valentin Shehtman — Quantification in Nonclassical Logic

V.V. Rybakov — Admissibility of Logical Inference Rules

Patrick Blackburn, Maarten de Rijke, Yde Venema — Modal Logic

Dov M. Gabbay, Franz Guenthner (eds.) — Handbook of Philosophical Logic

Lev Beklemishev, Mati Pentus, Nikolai Vereschagin — Provability, Complexity, Grammars

主要なフレーズ