Login

Search "Mathematical Logic and Formal Languages"

Reghizzi, Stefano Crespi - Formal Languages and Compilation, ebook

Formal Languages and Compilation

Reghizzi, Stefano Crespi

68,20€

Table of contents
2. Introduction
Stefano Crespi Reghizzi
3. Syntax
Stefano Crespi Reghizzi
4. Finite Automata as Regular Language Recognizers
Stefano Crespi Reghizzi
5. Pushdown Automata and Top-down Parsing
Stefano Crespi…

Li, Wei - Mathematical Logic, ebook

Mathematical Logic

Li, Wei

62,00€

Table of contents
1. Syntax of First-Order Languages
Wei Li
2. Models of First-Order Languages
Wei Li
3. Formal Inference Systems
Wei Li
4. Computability & Representability
Wei Li
5. Gödel Theorems
Wei Li
6. Sequences of Formal Theories
Wei Li
7. Revision Calculus
Wei

Abramsky, Samson - Dependence Logic, ebook

Dependence Logic

Abramsky, Samson

130,70€

Games for Inclusion Logic and Fixed-Point Logic
Erich Grädel
6. Remarks on Compositionality
Wilfrid Hodges
7. Independence in Model Theory
Åsa Hirvonen
8. Dependency as Question Entailment
Ivano Ciardelli
9. Approximation Logics

Braüner, Torben - Hybrid Logic and its Proof-Theory, ebook

Hybrid Logic and its Proof-Theory

Braüner, Torben

124,00€

Table of contents
1. Introduction to Hybrid Logic
Torben Braüner
2. Proof-Theory of Propositional Hybrid Logic
Torben Braüner
3. Tableaus and Decision Procedures for Hybrid Logic
Torben Braüner
4. Comparison to Seligman’s Natural Deduction System
Torben Braüner
5. Functional Completeness

Marković, Zoran - Probability Logics, ebook

Probability Logics

Marković, Zoran

130,70€

Probability Logics with Iterations of Probability Operators
Zoran Ognjanović, Miodrag Rašković, Zoran Marković
5. Extensions of the Probability Logics LPP

Jøsang, Audun - Subjective Logic, ebook

Subjective Logic

Jøsang, Audun

138,35€

Table of contents
1. Introduction
Audun Jøsang
2. Elements of Subjective Opinions
Audun Jøsang
3. Opinion Representations
Audun Jøsang
4. Decision Making Under Vagueness and Uncertainty
Audun Jøsang
5. Principles…

Başkent, Can - Rohit Parikh on Logic, Language and Society, ebook

Rohit Parikh on Logic, Language and Society

Başkent, Can

133,75€

The Logic of Approximate Dependence
Jouko Väänänen
13. On Height and Happiness
Melvin Fitting
14. Epistemic Conditionals and the Logic of Subsets
Konstantinos Georgatos
15. On the Coalgebraic Theory of Kleene Algebra with Tests
Dexter