Translation-Based Deduction Methods for Modal Logics

☆ Save

Olivier Gasquet,Andreas Herzig

IPMU

published 1st of January, 1994

Comments 0

No comments yet. Be the first to say something about this.

Looking for a structured thread — a question, a reproduction problem, a benchmark result? Start a discussion instead.

Read the paper

Details

HuggingPeers ID: ID hpp-VNsRnKuHtM8
Publication: IPMU
Published: 1st of January, 1994

Provenance 1

Source	ID	Citations
DBLP	conf/ipmu/GasquetH94	—

Cite this paper

@article{gasquet1994,
  title = {Translation-Based Deduction Methods for Modal Logics},
  author = {Olivier Gasquet and Andreas Herzig},
  journal = {IPMU},
  year = {1994},
  month = {Jan},
  doi = {10.1007/bfb0035973},
  url = {https://doi.org/10.1007/bfb0035973},
}

Olivier Gasquet & Andreas Herzig (1994). Translation-Based Deduction Methods for Modal Logics. IPMU. https://doi.org/10.1007/bfb0035973

Olivier Gasquet, and Andreas Herzig. "Translation-Based Deduction Methods for Modal Logics." IPMU, 1994, https://doi.org/10.1007/bfb0035973.

Olivier Gasquet, and Andreas Herzig. "Translation-Based Deduction Methods for Modal Logics." IPMU (1994). https://doi.org/10.1007/bfb0035973

Olivier Gasquet and Andreas Herzig, 1994. Translation-Based Deduction Methods for Modal Logics. IPMU. Available at: <https://doi.org/10.1007/bfb0035973>.

TY  - JOUR
TI  - Translation-Based Deduction Methods for Modal Logics
AU  - Olivier Gasquet
AU  - Andreas Herzig
PY  - 1994
JO  - IPMU
DO  - 10.1007/bfb0035973
UR  - https://doi.org/10.1007/bfb0035973
ER  -