Загрузка...
Quantifiers, propositions and identity : admissible semantics for quantified modal and substructural logics /
"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 semantics', using models in which there is a restriction on which sets of worlds c...
| Главный автор: | |
|---|---|
| Формат: | Printed Book |
| Язык: | English |
| Опубликовано: |
Cambridge ; New York :
Cambridge University Press,
2011.
|
| Серии: | Lecture notes in logic ;
38. |
| Предметы: |
University of Calicut
| Шифр: |
511.3 |
|---|---|
| Копировать | Недоступно состояние Live" What does mean the status Live (working) |
| Копировать | Недоступно состояние Live" What does mean the status Live (working) |