Search "Mathematical Logic and Formal Languages"

Reghizzi, Stefano Crespi - Formal Languages and Compilation, ebook

Formal Languages and Compilation

Reghizzi, Stefano Crespi


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


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

Abramsky, Samson - Dependence Logic, ebook

Dependence Logic

Abramsky, Samson


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


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


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


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


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