Technique
History
Math
Linguistics
Computers
Social Sciences
Psychology
Free Logic Books
Quantum Entanglement in Non-local Games, Graph Parameters and Zero-error Information Theory [PhD Thesis]
Playing with Knowledge and Belief [PhD Thesis]
Logics of Communication and Knowledge [PhD Thesis]
Knowing What Follows: Epistemic Closure and Epistemic Logic [PhD Thesis]
The Dynamics of Imperfect Information [PhD Thesis]
Complexity in Interaction [PhD Thesis]
Modalities Through the Looking Glass [PhD Thesis]
Dynamic-Epistemic Logic of Questions and Inquiry [PhD Thesis]
Characterizing All Models in Infinite Cardinalities [PhD Thesis]
Small Steps in Dynamics of Information [PhD Thesis]
Modal Fixpoint Logic: Some model theoretic questions [PhD Thesis]
Fixed-Point Logics on Trees [PhD Thesis]
Epistemic Modelling and Protocol Dynamics [PhD Thesis]
The Temporal Mind: Observations on the logic of belief change in interactive systems [PhD Thesis]
Temporal Expectations and their Violations [PhD Thesis]
Epistemic Dynamics and Protocol Information [PhD Thesis]
Knowledge and Games. Theory and Implementation [PhD Thesis]
Modalities in Medieval Logic [PhD Thesis]
Modality in Typological Perspective [PhD Thesis]
Modal logic for belief and preference change [PhD Thesis]
Thinking before Acting. Intentions, Logic, Rational Choice [PhD Thesis]
Finitary coalgebraic logics [PhD Thesis]
Lattices of intermediate and cylindric modal logics [PhD Thesis]
Investigations in Logic, Language and Computation [PhD Thesis]
Knowledge, chance, and change [PhD Thesis]
Unrestricted and finite model reasoning in class-based representation formalisms [PhD Thesis]
Learning Description Logic Knowledge Bases from Data Using Methods from Formal Concept Analysis [PhD Thesis]
Interactions of metaphysical and epistemic concepts [PhD Thesis]
Tableau-based Reasoning for Description Logics with Inverse Roles and Number Restrictions [PhD Thesis]
The Proof Theory and Semantics of Intuitionistic Modal Logic [PhD Thesis]
Semantic Investigations in Distributed Ontologies [PhD Thesis]
Saturation-Based Decision Procedures for Extensions of the Guarded Fragment [PhD Thesis]
Querying Description Logic Knowledge Bases [PhD Thesis]
Products of Topological Modal Logics [PhD Thesis]
Internal Definability and Completeness in Modal Logic [PhD Thesis]
Description Logics: Reasoning Support for the Semantic Web [PhD Thesis]
Modal Logics of Ordered Trees [PhD Thesis]
Decidability of Modal Logics with Particular Emphasis on the Interval Temporal Logics [PhD Thesis]
Complexity Results and Practical Algorithms for Logics in Knowledge Representation [PhD Thesis]
Branching-Time Temporal Logics. Theoretical Issues and a Computer Science Application [PhD Thesis]
Consequence Finding in Modal Logic [PhD Thesis]
Complexity of Description Logics with Concrete Domains [PhD Thesis]
An Algebraic Approach to Incompleteness in Modal Logic [PhD Thesis]
Algorithmic Correspondence and Completeness in Modal Logic [PhD Thesis]
Logics for Agents with Bounded Rationality [PhD Thesis]
Supremum in the Lattice of Interpretability [MSc Thesis]
Computability and Measure [PhD Thesis]
Modal Quantifiers [PhD Thesis]
Model Theory for Extended Modal Languages [PhD Thesis]
Automated Proof Search in Non-Classical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics [PhD Thesis]
Correspondence and Canonicity in Non-Classical Logic [PhD Thesis]
Конструктивная математическая логика с точки зрения классической
Моделирование вычислительных процессов средствами пропозициональных логик
Efficient Metamathematics
Теория алгоритмов
A Companion to Philosophical Logic
Finite Model Theory
Finite Model Theory
Elements of Finite Model Theory
Set theory
Mathematical Logic
S. Leśniewski’s Lecture Notes in Logic
Теория алгорифмов
Proof-Theoretical Coherence
Практическая логика. Задачи и упражнения
Теория рекурсивных функций и эффективная вычислимость
Конструктивная математическая логика с точки зрения классической
Введение в логику и методологию дедуктивных наук
Введение в логику и методологию дедуктивных наук
Введение в математическую логику
Введение в математическую логику
Равенство, сходство, порядок
Равенство, сходство, порядок
Вычислимость и логика
Вычислимость и логика
A First Course in Mathematical Logic and Set Theory
Логика естественных рассуждений
Онтологическая семантика: Знания. Онтологии. Онтологически ориентированные методы информационного анализа текстов
Логика. Парадоксы. Возможные миры: Размышления о мышлении в девяти очерках
Computability and Logic
Computability and Logic
Определимость и вычислимость
Методологические проблемы интуиционистской математики
Storia della logica. Da Boole ai nostri giorni
Исследование логических систем [сборник статей]
Основы теоретической логики
Основы теоретической логики
Основания интуиционистской математики с точки зрения теории рекурсивных функций
Аксиоматические системы теории множеств
Gentzen's Centenary, The Quest for Consistency
Математика в альтернативной теории множеств
Constructivism in mathematics: An introduction
Математика в альтернативной теории множеств
Advances in Proof-Theoretic Semantics
Proceedings of the 10th Asian Logic Conference
Sets: Naïve, Axiomatic and Applied
Логический вывод. Сборник статей
Семиотика и информатика. Выпуск 18
Математика: Утрата определенности
Развитие теории множеств в XIX веке
1
2
3
4
...
9
10
11
12
13
Go to Page
GO
Technique
History
Math
Linguistics
Computers
Social Sciences
Psychology
