Fundraising September 15, 2024 – October 1, 2024 About fundraising

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

How much do you like this book?

What’s the quality of the file?

Download the book for quality assessment

What’s the quality of the downloaded files?

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

Categories:

Mathematics - Logic

Year:

1993

Publisher:

University of Amsterdam

Language:

english

Pages:

130

File:

DJVU, 1.67 MB

IPFS:

,

english, 1993

Read Online

Conversion to is in progress

Conversion to is failed

You may be interested in

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

Most frequently terms