Format | |
---|---|
BibTeX | |
MARCXML | |
TextMARC | |
MARC | |
DublinCore | |
EndNote | |
NLM | |
RefWorks | |
RIS |
Linked e-resources
Details
Table of Contents
Introduction: Prerequisites
Sentential Logic
Rudiments of First-order Logic
Modal and Intuitionistic Logics
Temporal Logics for linear and branching time and model checking
Finitely and innitely valued logics
Logics for programs and knowledge
Beyond FO within SO.
Sentential Logic
Rudiments of First-order Logic
Modal and Intuitionistic Logics
Temporal Logics for linear and branching time and model checking
Finitely and innitely valued logics
Logics for programs and knowledge
Beyond FO within SO.