# OpenStax-CNX

##### Sections
You are here: Home » Content

The content in OpenStax-CNX comes in two formats: modules, which are like small "knowledge chunks," and collections, groups of modules structured into books or course notes, or for other uses. Our open license allows for free use and reuse of all our content.

# Browse Content

## Authors

Note: Includes Editors & Translators

## Moshe Vardi

Type Title
Intro to Logic
Model Checking Concurrent Programs
90 = 100: A Proof
Conclusion
Concurrent Processes: Basic Issues
Concurrent Processes: Basic Issues: Homework Exercises
Concurrent Programming and Verification: Outline
Exercises for Propositional Logic I
Exercises for Propositional Logic II
First-Order Logic: bound variables, free variables
First-Order Logic: equivalences
First-Order Logic: inference rules
First-Order Logic: normal forms revisited
First-Order Logic: using quantifiers
Introduction: logic definition
Introduction: logic motivation
Introduction: outline
Logic and Database Queries
Modeling Concurrent Processes
Modeling Concurrent Processes: Homework Exercises
Propositional Logic: conclusions
Propositional Logic: equivalences
Propositional Logic: formulas
Propositional Logic: limitations of truth tables
Propositional Logic: normal forms
Propositional Logic: partIIm
Propositional Logic: partIIn
Propositional Logic: partIIo
Propositional Logic: propositions
Propositional Logic: soundness and completeness
Propositional Logic: soundness and completeness revisited
Propositional Logic: subproofs
Propositional Logic: truth tables
Propositional Logic: type checking
Reference: first-order equivalences
Reference: first-order inference rules
Reference: first-order WaterWorld
Reference: propositional equivalences
Reference: propositional inference rules
Reference: propositional WaterWorld
Relations and Logic: interpretations
Relations and Logic: modeling
Relations and Logic: Non-standard Interpretations
Relations and Logic: properties of relations
Relations and Logic: using relations
Using Temporal Logic to Specify Properties
Using Temporal Logic to Specify Properties: Homework Exercises
My Account