We analyse the role of the modal axiom corresponding to the first-order formula "â̂ y (x = y)" in axiomatisations of two-dimensional propositional modal logics. © 2013 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Kurucz, A. (2013). A note on axiomatisations of two-dimensional modal logics. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7750 LNCS, pp. 27–33). Springer Verlag. https://doi.org/10.1007/978-3-642-36039-8_4
Mendeley helps you to discover research relevant for your work.