Contingency logics and propositional quantification
The problem of defining modal operators using contingency as a primitive is discussed by assuming what Lewis and Langford call the “existence Postulate”, an axiom which is formulated in a modal language with propositional quantifiers. It is shown that the minimal contingency logic K extended with th...
| Autor: | |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 2025 |
| País: | Brasil |
| Institución: | Universidade Estadual de Campinas (UNICAMP) |
| Repositorio: | Manuscrito (Online) |
| Idioma: | inglés |
| OAI Identifier: | oai:ojs.periodicos.sbu.unicamp.br:article/8666495 |
| Acceso en línea: | https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8666495 |
| Access Level: | acceso abierto |
| Palabra clave: | Contigency Contigência |
| Sumario: | The problem of defining modal operators using contingency as a primitive is discussed by assuming what Lewis and Langford call the “existence Postulate”, an axiom which is formulated in a modal language with propositional quantifiers. It is shown that the minimal contingency logic K extended with the contigencial counterpart of the Extended with propositional quantifiers. |
|---|