Pure Alethic Modal Logic

Detalhes bibliográficos
Autor(a) principal: Béziau, Jean-Yves
Data de Publicação: 2012
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Cognitio (São Paulo. Online)
Texto Completo: https://revistas.pucsp.br/index.php/cognitiofilosofia/article/view/11643
Resumo: This paper deals with pure alethic modal logics, i.e. logics having only two connectives, possibility and necessity. The different articulations of these two modal operators is studied. These logics are presented from the viewpoint of the Polish framework of a structural consequence relation. Matrix semantics, bivalent non truth-functional semantics and sequent systems are also provided.
id PUC_SP-15_b37a947c0905a4d9eb1ba9b6c11a38be
oai_identifier_str oai:ojs.pkp.sfu.ca:article/11643
network_acronym_str PUC_SP-15
network_name_str Cognitio (São Paulo. Online)
repository_id_str
spelling Pure Alethic Modal LogicLógica Modal Alética PuraLógica modalNecessidade PossibilidadeSemânticas BivalentesSemânticas PolivalentesSistemas de SequentesModal logicNecessityPossibilityBivalent SemanticsMany-valued SemanticsSequent SystemsThis paper deals with pure alethic modal logics, i.e. logics having only two connectives, possibility and necessity. The different articulations of these two modal operators is studied. These logics are presented from the viewpoint of the Polish framework of a structural consequence relation. Matrix semantics, bivalent non truth-functional semantics and sequent systems are also provided.Este trabalho trata de lógicas modais aléticas puras, ou seja, tendo apenas dois conectivos, possibilidade e necessidade. As diferentes articulações desses dois operadores modais são estudados. Estas lógicas estão apresentadas na perspectiva Polonesa da relação de consequência estrutural. Semânticas matriciais, semânticas bivalentes não verofuncionais e sistemas de sequentes também são apresentadas.Pontifícia Universidade Católica de São Paulo2012-10-09info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionapplication/pdfhttps://revistas.pucsp.br/index.php/cognitiofilosofia/article/view/11643Cognitio: Revista de Filosofia; Vol. 13 No. 1 (2012); 25-36Cognitio: Revista de Filosofia; v. 13 n. 1 (2012); 25-362316-52781518-7187reponame:Cognitio (São Paulo. Online)instname:Pontifícia Universidade Católica de São Paulo (PUC-SP)instacron:PUC_SPenghttps://revistas.pucsp.br/index.php/cognitiofilosofia/article/view/11643/8371Copyright (c) 2012 http://creativecommons.org/licenses/by/4.0/info:eu-repo/semantics/openAccessBéziau, Jean-Yves2024-07-01T13:09:30Zoai:ojs.pkp.sfu.ca:article/11643Revistahttps://revistas.pucsp.br/index.php/cognitiofilosofiaPRIhttps://revistas.pucsp.br/index.php/cognitiofilosofia/oairevcognitio@gmail.com2316-52781518-7187opendoar:2024-07-01T13:09:30Cognitio (São Paulo. Online) - Pontifícia Universidade Católica de São Paulo (PUC-SP)false
dc.title.none.fl_str_mv Pure Alethic Modal Logic
Lógica Modal Alética Pura
title Pure Alethic Modal Logic
spellingShingle Pure Alethic Modal Logic
Béziau, Jean-Yves
Lógica modal
Necessidade Possibilidade
Semânticas Bivalentes
Semânticas Polivalentes
Sistemas de Sequentes
Modal logic
Necessity
Possibility
Bivalent Semantics
Many-valued Semantics
Sequent Systems
title_short Pure Alethic Modal Logic
title_full Pure Alethic Modal Logic
title_fullStr Pure Alethic Modal Logic
title_full_unstemmed Pure Alethic Modal Logic
title_sort Pure Alethic Modal Logic
author Béziau, Jean-Yves
author_facet Béziau, Jean-Yves
author_role author
dc.contributor.author.fl_str_mv Béziau, Jean-Yves
dc.subject.por.fl_str_mv Lógica modal
Necessidade Possibilidade
Semânticas Bivalentes
Semânticas Polivalentes
Sistemas de Sequentes
Modal logic
Necessity
Possibility
Bivalent Semantics
Many-valued Semantics
Sequent Systems
topic Lógica modal
Necessidade Possibilidade
Semânticas Bivalentes
Semânticas Polivalentes
Sistemas de Sequentes
Modal logic
Necessity
Possibility
Bivalent Semantics
Many-valued Semantics
Sequent Systems
description This paper deals with pure alethic modal logics, i.e. logics having only two connectives, possibility and necessity. The different articulations of these two modal operators is studied. These logics are presented from the viewpoint of the Polish framework of a structural consequence relation. Matrix semantics, bivalent non truth-functional semantics and sequent systems are also provided.
publishDate 2012
dc.date.none.fl_str_mv 2012-10-09
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://revistas.pucsp.br/index.php/cognitiofilosofia/article/view/11643
url https://revistas.pucsp.br/index.php/cognitiofilosofia/article/view/11643
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv https://revistas.pucsp.br/index.php/cognitiofilosofia/article/view/11643/8371
dc.rights.driver.fl_str_mv Copyright (c) 2012 http://creativecommons.org/licenses/by/4.0/
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Copyright (c) 2012 http://creativecommons.org/licenses/by/4.0/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Pontifícia Universidade Católica de São Paulo
publisher.none.fl_str_mv Pontifícia Universidade Católica de São Paulo
dc.source.none.fl_str_mv Cognitio: Revista de Filosofia; Vol. 13 No. 1 (2012); 25-36
Cognitio: Revista de Filosofia; v. 13 n. 1 (2012); 25-36
2316-5278
1518-7187
reponame:Cognitio (São Paulo. Online)
instname:Pontifícia Universidade Católica de São Paulo (PUC-SP)
instacron:PUC_SP
instname_str Pontifícia Universidade Católica de São Paulo (PUC-SP)
instacron_str PUC_SP
institution PUC_SP
reponame_str Cognitio (São Paulo. Online)
collection Cognitio (São Paulo. Online)
repository.name.fl_str_mv Cognitio (São Paulo. Online) - Pontifícia Universidade Católica de São Paulo (PUC-SP)
repository.mail.fl_str_mv revcognitio@gmail.com
_version_ 1803387420376301568

Registros relacionados