Deductive Systems and the Decidability Problem for Hybrid Logics

View on Open Library

Deductive Systems and the Decidability Problem for Hybrid Logics

by Michal Zawidzki

No reviews yet

First published: 2014 1 language ISBN: 9788323336952

Subjects

Logic, symbolic and mathematical Deductive databases

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

You Might Also Like

More in Logic, symbolic and ...

Tractatus logico-philosophicus

Tractatus logico-philosophicus

Ludwig Wittgenstein

An Investigation of the Laws of Thought (Barnes & Noble)

An Investigation of the Laws of Thought ...

George Boole

Algèbre de la logique

Algèbre de la logique

Louis Couturat

The Game of Logic

The Game of Logic

Lewis Carroll

Gödel's proof

Ernest Nagel

Philosophische Untersuchungen

Philosophische Untersuchungen

Ludwig Wittgenstein