{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:22:32Z","timestamp":1755220952784,"version":"3.43.0"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Studia Logica"],"published-print":{"date-parts":[[1999,1]]},"DOI":"10.1023\/a:1005125717300","type":"journal-article","created":{"date-parts":[[2002,12,21]],"date-time":"2002-12-21T16:06:43Z","timestamp":1040486803000},"page":"49-75","source":"Crossref","is-referenced-by-count":9,"title":["Predicate Logics on Display"],"prefix":"10.1007","volume":"62","author":[{"given":"Heinrich","family":"Wansing","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"205277_CR1","unstructured":"Alechina, N., and M. van Lambalgen, Generalized Quantification as Substructural Logic, Technical Report, ILLC, University of Amsterdam, 1995."},{"key":"205277_CR2","first-page":"685","volume":"3","author":"H. Andr\u00c9ka","year":"1995","unstructured":"Andr\u00c9ka, H., J. van Benthem and I. N\u00c9meti, \u2018Back and forth between modal logic and classical logic\u2019, Journal of the Interest Group in Pure and Applied Logic 3, 685\u2013720, 1995.","journal-title":"Journal of the Interest Group in Pure and Applied Logic"},{"key":"205277_CR3","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1007\/BF00284976","volume":"11","author":"N. Belnap","year":"1982","unstructured":"Belnap, N., \u2018Display Logic\u2019, Journal of Philosophical Logic 11, 375\u2013417, 1982.","journal-title":"Journal of Philosophical Logic"},{"key":"205277_CR4","first-page":"14","volume":"31","author":"N. Belnap","year":"1990","unstructured":"Belnap, N., \u2018Linear Logic Displayed\u2019 Notre Dame Journal of Formal Logic 31, 14\u201325, 1990.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"205277_CR5","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1007\/978-94-017-2798-3_6","volume-title":"Proof Theory of Modal Logic","author":"N. Belnap","year":"1996","unstructured":"Belnap, N., \u2018The Display problem\u2019, in H. Wansing (ed.), Proof Theory of Modal Logic, 79\u201393, Dordrecht, Kluwer Academic Publishers, 1996."},{"key":"205277_CR6","unstructured":"van Benthem, J., Modal Foundations of Predicate Logic, Center for the Study of Language and Information, Report No. CSLI-94-191, Stanford University, 1994."},{"key":"205277_CR7","volume-title":"Exploring Logical Dynamics","author":"J. van Benthem","year":"1996","unstructured":"van Benthem, J., Exploring Logical Dynamics, CSLI Publications, Stanford, 1996."},{"key":"205277_CR8","series-title":"Lecture Notes in Computer Science","first-page":"31","volume-title":"Logics in AI, Proceedings European Workshop JELIA 1990","author":"J. M. Dunn","year":"1990","unstructured":"Dunn, J. M., \u2018Gaggle theory: an abstraction of Galois connections and residuation with applications to negation and various logical operations\u2019, in J. van Eijk (ed.), Logics in AI, Proceedings European Workshop JELIA 1990, Lecture Notes in Computer Science 478, 31\u201351, Berlin, Springer-Verlag, 1990."},{"key":"205277_CR9","volume-title":"A Mathematical Introduction to Logic","author":"H. Enderton","year":"1972","unstructured":"Enderton, H., A Mathematical Introduction to Logic, Academic Press, New York, Reidel, Dordrecht, 1972."},{"key":"205277_CR10","first-page":"365","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming. Vol. 1, Logical Foundation","author":"M. Fitting","year":"1993","unstructured":"Fitting, M., \u2018Basic modal logic\u2019, in: D. M. Gabbay et al. (eds.), Handbook of Logic in Artificial Intelligence and Logic Programming. Vol. 1, Logical Foundation, Oxford UP, Oxford, 365\u2013448, 1993."},{"key":"205277_CR11","first-page":"109","volume-title":"Substructural Logics","author":"D. Gabbay","year":"1994","unstructured":"Gabbay D., \u2018A general theory of structured consequence relations\u2019, in K. Do\u0161en and P. Schroeder-Heister (eds.), Substructural Logics, 109\u2013151, Oxford, Clarendon Press, 1994."},{"key":"205277_CR12","volume-title":"Topoi. The Categorical Analysis of Logic","author":"R. Goldblatt","year":"1979","unstructured":"Goldblatt, R., Topoi. The Categorical Analysis of Logic, Amsterdam, North-Holland, 1979."},{"key":"205277_CR13","unstructured":"Gor\u0154, R., \u2018Intuitionistic logic redisplayed\u2019 (manuscript), Department of Computer Science, University of Manchester, 1994."},{"key":"205277_CR14","unstructured":"Gor\u00c9, R., A Uniform Display System for Intuitionistic and Dual Intuitionistic Logic, Technical Report TR-SRS-2-95, Australian National University, 1995."},{"key":"205277_CR15","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/978-94-017-2798-3_9","volume-title":"Proof Theory of Modal Logic","author":"R. Gor\u00c9","year":"1996","unstructured":"Gor\u00c9, R., \u2018On the completeness of classical modal display lolgic\u2019, in H. Wansing (ed.), Proof Theory of Modal Logic, 137\u2013140, Dordrecht, Kluwer Academic Publishers, 1996."},{"key":"205277_CR16","series-title":"Technical Report","volume-title":"Cut-free Display Calculi for Relation Algebras","author":"R. Gor\u00c9","year":"1995","unstructured":"Gor\u00c9, R., Cut-free Display Calculi for Relation Algebras, Technical Report TR-ARP-19-95, Australian National University, Canberra, 1995."},{"key":"205277_CR17","first-page":"135","volume-title":"Studies in Formalized Languages and Nonclassical Logics","author":"V.N. Grishin","year":"1974","unstructured":"Grishin, V.N., \u2018A nonstandard logic and its application to set theory\u2019 (in Russian), in: Studies in Formalized Languages and Nonclassical Logics (in Russian), Moscow, Nauka, 135\u2013171, 1974."},{"key":"205277_CR18","volume-title":"An Introduction to Modal Logic","author":"G. E. Hughes","year":"1968","unstructured":"Hughes, G. E., and M. J. Cresswell, An Introduction to Modal Logic, Methuen, London, 1968."},{"key":"205277_CR19","first-page":"95","volume-title":"Proof Theory of Modal Logic","author":"M. Kracht","year":"1996","unstructured":"Kracht, M., \u2018Power and weakness of the modal display calculus\u2019, in H. Wansing (ed.), Proof Theory of Modal Logic, 95\u2013122, Dordrecht, Kluwer Academic Publishers, 1996."},{"key":"205277_CR20","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/BF00370318","volume":"39","author":"S. Kuhn","year":"1980","unstructured":"Kuhn, S., \u2018Quantifiers as modal operators\u2019, Studia Logica 39, 145\u2013158, 1980.","journal-title":"Studia Logica"},{"key":"205277_CR21","first-page":"143","volume-title":"Generalized Quantifier Theory and Applications","author":"M. van Lambalgen","year":"1991","unstructured":"van Lambalgen, M., \u2018Natural deduction for generalized quantifiers\u2019, in J. van der Does and J. van Eijck (eds.), Generalized Quantifier Theory and Applications, 143\u2013154, Dutch Network for Language, Logic and Information, Amsterdam, 1991."},{"key":"205277_CR22","unstructured":"Marx, M., and Y. Venema, A Modal Logic of Relations, Technical Report IR-396, Vrije Universiteit Amsterdam, 1995 (to appear in: Studia Logica)."},{"key":"205277_CR23","unstructured":"Meyer-Viol, W., Instantial Logic, PhD thesis, University of Amsterdam, Institute of Logic, Language and Computationj, 1995."},{"key":"205277_CR24","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1080\/00201746008601312","volume":"4","author":"R. Montague","year":"1960","unstructured":"Montague, R., \u2018Logical necessity, physical necessity, ethics and quantifiers\u2019, Inquiry, 4, 259\u2013269, 1960.","journal-title":"Inquiry"},{"key":"205277_CR25","doi-asserted-by":"crossref","first-page":"485","DOI":"10.1007\/BF00370684","volume":"50","author":"I. N\u00c9meti","year":"1991","unstructured":"N\u00c9meti, I., \u2018Algebraizations of quantifier logics: an introductory overview\u2019, Studia Logica 50, 485\u2013570, 1991.","journal-title":"Studia Logica"},{"key":"205277_CR26","series-title":"Technical Report","volume-title":"Displaying and Deciding Substructural Logics 1: Logics with Contraposition","author":"G. Restall","year":"1994","unstructured":"Restall, G., Displaying and Deciding Substructural Logics 1: Logics with Contraposition, Technical Report TR-ARP-11-94, Australian National University, Canberra, 1994 (to appear in: Journal of Philosophical Logic)."},{"key":"205277_CR27","first-page":"133","volume":"29","author":"G. Restall","year":"1995","unstructured":"Restall, G., \u2018Display logic and gaggle theory\u2019, Reports on Mathematical Logic 29, 133\u2013146, 1995 (published 1996).","journal-title":"Reports on Mathematical Logic"},{"key":"205277_CR28","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1007\/978-94-015-8242-1_8","volume-title":"Diamonds and Defaults","author":"D. Roorda","year":"1993","unstructured":"Roorda, D., \u2018Dyadic modalities and Lambek calculus\u2019, in: M. de Rijke (ed.), Diamonds and Defaults, 215\u2013253, Dordrecht, Kluwer Academic Publishers, 1993."},{"key":"205277_CR29","unstructured":"de Rijke, M., Extending Modal Logic, PhD thesis, University of Amsterdam, Institute of Logic, Language and Computationj, 1993."},{"key":"205277_CR30","first-page":"163","volume-title":"TARK '96. Proceedings Theoretical Aspects of Rationality and Knowledge","author":"M. Ryan","year":"1996","unstructured":"Ryan, M., P.-Y. Schobbens and O. Rodrigues, \u2018Counterfactuals and updates as inverse modalities\u2019, in: Y. Shoam (ed.), TARK '96. Proceedings Theoretical Aspects of Rationality and Knowledge, 163\u2013173, San Francisco, Morgan Kaufmann, 1996."},{"key":"205277_CR31","unstructured":"Venema, Y., Many-Dimensional Modal Logic, PhD thesis, University of Amsterdam, Math. Institutue, 1991."},{"key":"205277_CR32","doi-asserted-by":"crossref","first-page":"591","DOI":"10.2307\/2275853","volume":"60","author":"Y. Venema","year":"1995","unstructured":"Venema, Y., \u2018Cylindric modal logic\u2019, Journal of Symbolic Logic 60, 591\u2013623, 1995.","journal-title":"Journal of Symbolic Logic"},{"key":"205277_CR33","unstructured":"Venema, Y., \u2018A modal logic of quantification and substitution\u2019, in L. Czirmaz, D. Gabbay and M. de Rijke (eds.), Logic Colloquium '92, 293\u2013309, CSLI Publications, 1995."},{"key":"205277_CR34","volume-title":"A Survey of Mathematical Logic","author":"H. Wang","year":"1962","unstructured":"Wang, H., A Survey of Mathematical Logic, Peking, Science Press, 1962."},{"key":"205277_CR35","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1093\/logcom\/4.2.125","volume":"4","author":"H. Wansing","year":"1994","unstructured":"Wansing, H., \u2018Sequent calculi for normal modal propositional logics\u2019, Journal of Logic and Computation, 4, 125\u2013142, 1994.","journal-title":"Journal of Logic and Computation"},{"key":"205277_CR36","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/978-94-017-2798-3_8","volume-title":"Proof Theory of Modal Logic","author":"H. Wansing","year":"1996","unstructured":"Wansing, H., \u2018A proof-theoretic proof of functional completeness for many modal and tense logics\u2019, in H. Wansing (ed.), Proof Theory of Modal Logic, 123\u2013136, Dordrecht, Kluwer Academic Publishers, 1996."},{"key":"205277_CR37","first-page":"60","volume":"25","author":"H. Wansing","year":"1996","unstructured":"Wansing, H., \u2018A new axiomatization of K\nt\u2019, Bulletin of the Section of Logic 25, 1996, 60\u201362.","journal-title":"Bulletin of the Section of Logic"},{"key":"205277_CR38","first-page":"117","volume":"29","author":"H. Wansing","year":"1995","unstructured":"Wansing, H., \u2018Strong cut-elimination in Display Logic\u2019, Reports on Mathematical Logic 29, 117\u2013131, 1995 (published 1996).","journal-title":"Reports on Mathematical Logic"},{"key":"205277_CR39","first-page":"171","volume-title":"Advances in Intensional Logic","author":"H. Wansing","year":"1997","unstructured":"Wansing, H., \u2018A full-circle theorem for simple tense logic\u2019, in M. de Rijke (ed.), Advances in Intensional Logic, Kluwer Academic Publishers, Dordrecht, 171\u2013190, 1997."},{"key":"205277_CR40","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/978-94-011-5638-7_8","volume-title":"Logic, Language and Computation","author":"H. Wansing","year":"1997","unstructured":"Wansing, H., \u2018Displaying as temporalizing. Sequent systems for subintuitionistic logics\u2019, in S. Akama (ed.), Logic, Language and Computation, Kluwer Academic Publishers, Dordrecht, 159\u2013178, 1997."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1005125717300.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1005125717300\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1005125717300.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:19:15Z","timestamp":1754630355000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1005125717300"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,1]]},"references-count":40,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1999,1]]}},"alternative-id":["205277"],"URL":"https:\/\/doi.org\/10.1023\/a:1005125717300","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[1999,1]]}}}