# 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

## John Greiner

Type Title
Intro to Logic
Model Checking Concurrent Programs
90 = 100: A Proof
Browser support
Comp280 Hw02
Comp280 hw03: First-order logic
Conclusion
Concurrent Processes: Basic Issues
Concurrent Processes: Basic Issues: Homework Exercises
Concurrent Programming and Verification: Outline
Exercises for First-Order Logic
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
homework A solution
homework B solution
homework C solution
Introduction: logic definition
Introduction: logic motivation
Introduction: outline
Modeling Concurrent Processes
Modeling Concurrent Processes: Homework Exercises
Propositional Logic: conclusions
Propositional Logic: equivalences
Propositional Logic: formulas
Propositional Logic: inference rules
Propositional Logic: limitations of truth tables
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: notation
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
 Username Password
Repository
Total Collections: 1500
Total Modules: 24389