The Modal Collapse as a Collapse of the Modal Square of Opposition. Benzmüller, C. & Woltzenlogel Paleo, B. In Béziau, J. & Basti, G., editors, The Square of Opposition: A Cornerstone of Thought (Collection of papers related to the World Congress on the Square of Opposition IV, Vatican, 2014), of Studies in Universal Logic, pages 307-313. Birkhäuser Basel, 2016.
Preprint doi bibtex 2 downloads @incollection{B15,
Author = {Benzm{\"u}ller, Christoph and Woltzenlogel Paleo,
Bruno},
Booktitle = {The Square of Opposition: A Cornerstone of Thought
(Collection of papers related to the World Congress
on the Square of Opposition IV, Vatican, 2014)},
OPTurl = {http://www.springer.com/us/book/9783319450612},
Doi = {10.1007/978-3-319-45062-9_18},
Pages = {307-313},
Editor = {B\'{e}ziau, Jean-Yves and Basti, Gianfranco},
Keywords = {own, Automated Reasoning, Interactive Proof,
Semantic Embedding, Higher Order Logic, Higher Order
Modal Logic, Computational Metaphysics},
Publisher = {Birkh\"auser Basel},
Series = {Studies in Universal Logic},
Title = {The Modal Collapse as a Collapse of the Modal Square
of Opposition},
url_preprint = {https://www.researchgate.net/publication/268211774},
Year = 2016,
}
Downloads: 2
{"_id":"CywxnamFTCvuuDppM","bibbaseid":"benzmller-woltzenlogelpaleo-themodalcollapseasacollapseofthemodalsquareofopposition-2016","author_short":["Benzmüller, C.","Woltzenlogel Paleo, B."],"bibdata":{"bibtype":"incollection","type":"incollection","author":[{"propositions":[],"lastnames":["Benzmüller"],"firstnames":["Christoph"],"suffixes":[]},{"propositions":[],"lastnames":["Woltzenlogel","Paleo"],"firstnames":["Bruno"],"suffixes":[]}],"booktitle":"The Square of Opposition: A Cornerstone of Thought (Collection of papers related to the World Congress on the Square of Opposition IV, Vatican, 2014)","opturl":"http://www.springer.com/us/book/9783319450612","doi":"10.1007/978-3-319-45062-9_18","pages":"307-313","editor":[{"propositions":[],"lastnames":["Béziau"],"firstnames":["Jean-Yves"],"suffixes":[]},{"propositions":[],"lastnames":["Basti"],"firstnames":["Gianfranco"],"suffixes":[]}],"keywords":"own, Automated Reasoning, Interactive Proof, Semantic Embedding, Higher Order Logic, Higher Order Modal Logic, Computational Metaphysics","publisher":"Birkhäuser Basel","series":"Studies in Universal Logic","title":"The Modal Collapse as a Collapse of the Modal Square of Opposition","url_preprint":"https://www.researchgate.net/publication/268211774","year":"2016","bibtex":"@incollection{B15,\n Author =\t {Benzm{\\\"u}ller, Christoph and Woltzenlogel Paleo,\n Bruno},\n Booktitle =\t {The Square of Opposition: A Cornerstone of Thought\n (Collection of papers related to the World Congress\n on the Square of Opposition IV, Vatican, 2014)},\n OPTurl =\t\t {http://www.springer.com/us/book/9783319450612},\n Doi =\t\t {10.1007/978-3-319-45062-9_18},\n Pages =\t {307-313},\n Editor =\t {B\\'{e}ziau, Jean-Yves and Basti, Gianfranco},\n Keywords =\t {own, Automated Reasoning, Interactive Proof,\n Semantic Embedding, Higher Order Logic, Higher Order\n Modal Logic, Computational Metaphysics},\n Publisher =\t {Birkh\\\"auser Basel},\n Series =\t {Studies in Universal Logic},\n Title =\t {The Modal Collapse as a Collapse of the Modal Square\n of Opposition},\n url_preprint = {https://www.researchgate.net/publication/268211774},\n Year =\t 2016,\n}\n\n","author_short":["Benzmüller, C.","Woltzenlogel Paleo, B."],"editor_short":["Béziau, J.","Basti, G."],"key":"B15","id":"B15","bibbaseid":"benzmller-woltzenlogelpaleo-themodalcollapseasacollapseofthemodalsquareofopposition-2016","role":"author","urls":{" preprint":"https://www.researchgate.net/publication/268211774"},"keyword":["own","Automated Reasoning","Interactive Proof","Semantic Embedding","Higher Order Logic","Higher Order Modal Logic","Computational Metaphysics"],"metadata":{"authorlinks":{}},"downloads":2},"bibtype":"incollection","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","S5G7BggtbXZA2Q63T"],"keywords":["own","automated reasoning","interactive proof","semantic embedding","higher order logic","higher order modal logic","computational metaphysics"],"search_terms":["modal","collapse","collapse","modal","square","opposition","benzmüller","woltzenlogel paleo"],"title":"The Modal Collapse as a Collapse of the Modal Square of Opposition","year":2016,"downloads":2}