BIBLIOS

  Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Journal articles

Document subtype
Full paper

Title
On Herbrand's Theorem for Hybrid Logic

Participants in the publication
D. Costa (Author)
LASIGE
J. Marcos (Author)
M. A. Martins (Author)

Editor(s)
Ofer Arieli and Anna Zamansky

Date of Publication
2019-03-01

Where published
Journal of Applied Logics

Publication Identifiers
ISBN - 9781848903012

Publisher
College Publications

Volume
6
Number
2


Export

APA
D. Costa, J. Marcos, M. A. Martins, (2019). On Herbrand's Theorem for Hybrid Logic. Journal of Applied Logics, 6,

IEEE
D. Costa, J. Marcos, M. A. Martins, "On Herbrand's Theorem for Hybrid Logic" in Journal of Applied Logics, vol. 6, 2019.

BIBTEX
@article{52284, author = {D. Costa and J. Marcos and M. A. Martins}, title = {On Herbrand's Theorem for Hybrid Logic}, journal = {Journal of Applied Logics}, year = 2019, volume = 6 }