|
Antička iskazna logika
|
Svetlana Zečević |
”Anticka iskazna logika” presents an introduction to ancient propositional logic, especially in the context of two main schools which gave the formulation and practical usage of that kind of logic – … |
OL12436747W |
|
Modality
|
Bob Hale |
The philosophy of modality investigates necessity and possibility, and related notions--are they objective features of mind-independent reality? If so, are they irreducible, or can modal facts be exp… |
OL15586333W |
|
Quantifiers, propositions, and identity
|
Robert Goldblatt |
"Many systems of quantified modal logic cannot be characterised by Kripke's well-known possible worlds semantic analysis. This book shows how they can be characterised by a more general 'admissible s… |
OL15991521W |
|
An introduction to bisimulation and coinduction
|
Davide Sangiorgi |
"Induction is a pervasive tool in computer science and mathematics for defining objects and reasoning on them. Coinduction is the dual of induction and as such it brings in quite different tools. Tod… |
OL16167355W |