Term-Modal Logics

Melvin Fitting; Lars Thalmann; Andrei Voronkov; Roy Dyckhoff

Term-Modal Logics

Melvin Fitting
, Lars Thalmann
, Andrei Voronkov
, Roy Dyckhoff (Editor)

Research output: Chapter in Book/Conference proceeding › Conference contribution

Original language	English
Title of host publication	TABLEAUX
Editors	Roy Dyckhoff
Publisher	Springer Nature
Pages	220-236
Number of pages	17
Volume	1847
ISBN (Print)	3-540-67697-X
Publication status	Published - 2000
Event	Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000, Proceedings - Duration: 1 Jan 1824 → … http://dblp.uni-trier.de/db/conf/tableaux/tableaux2000.html#FittingTV00http://dblp.uni-trier.de/rec/bibtex/conf/tableaux/FittingTV00.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/tableaux/FittingTV00

Publication series

Name	Lecture Notes in Computer Science

Conference

Conference	Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000, Proceedings
Period	1/01/24 → …
Internet address	http://dblp.uni-trier.de/db/conf/tableaux/tableaux2000.html#FittingTV00http://dblp.uni-trier.de/rec/bibtex/conf/tableaux/FittingTV00.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/tableaux/FittingTV00

Access to Document

Cite this

@inproceedings{f724487de83e4d4c9c1cc188d04ff86c,

title = "Term-Modal Logics",

author = "Melvin Fitting and Lars Thalmann and Andrei Voronkov and Roy Dyckhoff",

year = "2000",

language = "English",

isbn = "3-540-67697-X",

volume = "1847",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature",

pages = "220--236",

editor = "Roy Dyckhoff",

booktitle = "TABLEAUX",

address = "United States",

note = "Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000, Proceedings ; Conference date: 01-01-1824",

url = "http://dblp.uni-trier.de/db/conf/tableaux/tableaux2000.html\#FittingTV00http://dblp.uni-trier.de/rec/bibtex/conf/tableaux/FittingTV00.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/tableaux/FittingTV00",

}

Fitting, M, Thalmann, L, Voronkov, A & Dyckhoff, R (ed.) 2000, Term-Modal Logics. in R Dyckhoff (ed.), TABLEAUX. vol. 1847, Lecture Notes in Computer Science, Springer Nature, pp. 220-236, Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000, Proceedings, 1/01/24. <http://dblp.uni-trier.de/db/conf/tableaux/tableaux2000.html#FittingTV00>

TY - GEN

T1 - Term-Modal Logics

AU - Fitting, Melvin

AU - Thalmann, Lars

AU - Voronkov, Andrei

A2 - Dyckhoff, Roy

PY - 2000

Y1 - 2000

M3 - Conference contribution

SN - 3-540-67697-X

VL - 1847

T3 - Lecture Notes in Computer Science

SP - 220

EP - 236

BT - TABLEAUX

PB - Springer Nature

T2 - Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000, Proceedings

Y2 - 1 January 1824

ER -