Modal Logics and the two-variable fragment

C Lutz, U Sattler, F Wolter

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Annual Conference of the European Association for Computer Science Logic (CSL'01)
Publisher	Springer Nature
Volume	2142
Publication status	Published - 2001

Name	Lecture Notes in Computer Science

Access to Document

@inproceedings{ba732268976a4968b6382e3e236a9973,

title = "Modal Logics and the two-variable fragment",

author = "C Lutz and U Sattler and F Wolter",

year = "2001",

language = "English",

volume = "2142",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature",

booktitle = "Annual Conference of the European Association for Computer Science Logic (CSL'01)",

address = "United States",

}