Back
  1. Home
  2. Request Item
institution logo
If you're member of the institution,  you just have to login to download the file in restricted access. It is not necessary to request a print.

Request copy

Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic
Wisniewski, Max; Steen, Alexander
2015 • In Benzmüller, Christpoh; Otten, Jens (Eds.) ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics

Document(s) requested
Embedding_of_Quantified_Higher-Order_Nominal_Modal_Logic_into_Classical_Higher-Order_Logic.pdf

The desired document is not currently available on open access. Nevertheless you can request an offprint through the form below. If your request is accepted you will receive by e-mail a link allowing you access to the document for 5 days, 5 download attempts maximum.


Request form

Fields marked with ✱ are compulsory.

Back to the reference
Contact ORBilu