Go to the corresponding LIPIcs Volume Portal 
Padmanabha, Anantha ; Ramanujam, R.
pdfformat: 

@InProceedings{padmanabha_et_al:LIPIcs:2019:10974, author = {Anantha Padmanabha and R. Ramanujam}, title = {{Two variable fragment of Term Modal Logic}}, booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)}, pages = {30:130:14}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783959771177}, ISSN = {18688969}, year = {2019}, volume = {138}, editor = {Peter Rossmanith and Pinar Heggernes and JoostPieter Katoen}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2019/10974}, URN = {urn:nbn:de:0030drops109741}, doi = {10.4230/LIPIcs.MFCS.2019.30}, annote = {Keywords: Term modal logic, satisfiability problem, two variable fragment, decidability} }
Keywords:  Term modal logic, satisfiability problem, two variable fragment, decidability  
Collection:  44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)  
Issue Date:  2019  
Date of publication:  20.08.2019 