Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/33739Registo completo
| Campo DC | Valor | Idioma |
|---|---|---|
| dc.contributor.author | Carreteiro, Marta | por |
| dc.contributor.author | Martins, Manuel | por |
| dc.contributor.author | Barbosa, L. S. | por |
| dc.date.accessioned | 2015-02-09T15:52:21Z | - |
| dc.date.available | 2015-02-09T15:52:21Z | - |
| dc.date.issued | 2014 | - |
| dc.identifier.citation | Barbosa, L. S., Martins, M. A., & Carreteiro, M. (2014). A Hilbert-Style Axiomatisation for Equational Hybrid Logic. Journal of Logic, Language and Information, 23(1), 31-52. | por |
| dc.identifier.issn | 0925-8531 | por |
| dc.identifier.uri | https://hdl.handle.net/1822/33739 | - |
| dc.description.abstract | This paper introduces an axiomatisation for equational hybrid logic based on previous axiomatizations and natural deduction systems for propositional and first-order hybrid logic. Its soundness and completeness is discussed. This work is part of a broader research project on the development a general proof calculus for hybrid logics. | por |
| dc.language.iso | eng | por |
| dc.publisher | Springer Verlag | por |
| dc.rights | openAccess | por |
| dc.subject | Equational hybrid logic | por |
| dc.subject | Hilbert axiomatisation | por |
| dc.subject | Completeness | por |
| dc.title | A hilbert-style axiomatisation for equational hybrid logic | por |
| dc.type | article | por |
| dc.peerreviewed | yes | por |
| dc.comments | 1987 | por |
| sdum.publicationstatus | published | por |
| oaire.citationStartPage | 31 | por |
| oaire.citationEndPage | 52 | por |
| oaire.citationIssue | 1 | por |
| oaire.citationTitle | Journal of Logic, Language and Information | por |
| oaire.citationVolume | 23 | por |
| dc.publisher.uri | Springer | por |
| dc.identifier.doi | 10.1007/s10849-013-9184-6 | por |
| dc.subject.wos | Science & Technology | por |
| dc.subject.wos | Social Sciences | por |
| dc.subject.wos | Arts & Humanities | por |
| sdum.journal | Journal of Logic, Language and Information | por |
| Aparece nas coleções: | ||
