Modal Logic With Non-Deterministic Semantics: Part II-Quantified Case
Documento
-
- Visão geral
-
- Pesquisas
-
- Identidade
-
- Informação adicional documento
-
- Outro
-
- Ver todos
-
Visão geral
tipo
data de publicação
publicada em
Pesquisas
áreas de investigação
palavras-chave
-
Barcan formulas
-
First-order modal logic
-
Lógica de primeira ordem
-
Lógica modal
-
Lógicas não-clássicas
-
Matrizes não-determinísticas
-
contingent identities
-
de re and de dicto modalities
-
non-deterministic matrices
-
non-normal modal logic
Identidade
identificador BrCris
-
55669d500e7a443c6c9db5d6bc478b1d
Outro