Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic

Reference : Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic


	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/42695

Title :	Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic
Language :	English
Author, co-author :	Wisniewski, Max []
	Steen, Alexander [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Publication date :	Dec-2015
Main document title :	ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics
Editor :	Benzmüller, Christpoh
	Otten, Jens
Publisher :	EasyChair
Collection and collection volume :	EPiC Series in Computing, Vol. 33
Pages :	59-64
Peer reviewed :	Yes
On invitation :	No
Audience :	International
Event name :	Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2014)
Event date :	23-07-2014
Event place (city) :	Vienna
Event country :	Austria
Keywords :	[en] Higher-Order Logic ; Hybrid Logic ; Automated Reasoning
Target :	Researchers
Permalink :	http://hdl.handle.net/10993/42695
DOI :	10.29007/dzc2
Other URL :	https://easychair.org/publications/paper/Cww

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Limited access	Embedding_of_Quantified_Higher-Order_Nominal_Modal_Logic_into_Classical_Higher-Order_Logic.pdf		Publisher postprint	343.13 kB	Request a copy

All documents in ORBi^lu are protected by a user license.