{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:19:56Z","timestamp":1725455996758},"publisher-location":"Berlin\/Heidelberg","reference-count":27,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354058241X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0013986","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T02:34:32Z","timestamp":1132713272000},"page":"149-164","source":"Crossref","is-referenced-by-count":8,"title":["Completeness through flatness in two-dimensional temporal logic"],"prefix":"10.1007","author":[{"given":"Yde","family":"Venema","sequence":"first","affiliation":[]}],"member":"297","reference":[{"volume-title":"Algebraic Logic","year":"1991","key":"10_CR1","unstructured":"H. Andr\u00e9ka, J.D. Monk & I. N\u00e9meti (eds.), Algebraic Logic; Proceedings of the 1988 Budapest Conference on Algebraic Logic, North-Holland, Amsterdam, 1991."},{"key":"10_CR2","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1305\/ndjfl\/1093635080","volume":"30","author":"K. Doets","year":"1989","unstructured":"K. Doets, \u201cMonadic \u03a0 1 1 -theories of \u03a0 1 1 -properties\u201d, Notre Dame Journal of Formal Logic, 30 (1989) 224\u2013240.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10_CR3","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/978-94-009-8384-7_3","volume-title":"Aspects of Philosophical Logic","author":"D.M. Gabbay","year":"1981","unstructured":"D.M. Gabbay, \u201cAn irreflexivity lemma with applications to axiomatizations of conditions on linear frames\u201d, in:, pp. 67\u201389."},{"key":"10_CR4","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/978-94-009-8384-7_4","volume-title":"Aspects of Philosophical Logic","author":"D.M. Gabbay","year":"1981","unstructured":"D.M. Gabbay, \u201cExpressive functional completeness in tense logic\u201d, in:, pp. 91\u2013117."},{"key":"10_CR5","volume-title":"Temporal Logic: Mathematical Foundations and Computational Aspects","author":"D.M. Gabbay","year":"1992","unstructured":"D.M. Gabbay, I.M. Hodkinson & M. Reynolds, Temporal Logic: Mathematical Foundations and Computational Aspects, Oxford University Press, Oxford, 1992, to be published."},{"key":"10_CR6","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1093\/logcom\/1.2.229","volume":"1","author":"D.M. Gabbay","year":"1990","unstructured":"D.M. Gabbay & I.M. Hodkinson, \u201cAn axiomatization of the temporal logic with Since and Until over the real numbers\u201d, Journal of Logic and Computation, 1 (1990) 229\u2013259.","journal-title":"Journal of Logic and Computation"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"J.Y. Halpern & Y. Shoham \u201cA propositional modal logic of time intervals\u201d, Proceedings of the First IEEE Symposium on Logic in Computer Science, Cambridge, Massachusettes, 279\u2013292.","DOI":"10.1145\/115234.115351"},{"key":"10_CR8","doi-asserted-by":"crossref","first-page":"222","DOI":"10.1016\/0022-0000(83)90014-4","volume":"26","author":"D. Harel","year":"1983","unstructured":"D. Harel, D. Kozen & R. Parikh, \u201cProcess Logic: expressiveness, decidability, completeness, Journal of Computer and System Sciences, 26 (1983) 222\u2013243.","journal-title":"Journal of Computer and System Sciences"},{"key":"10_CR9","first-page":"236","volume-title":"Definability with bounded number of bound variables","author":"N. Immerman","year":"1987","unstructured":"N. Immerman and D. Kozen, \u201cDefinability with bounded number of bound variables\u201d, in:, pp. 236\u2013244."},{"key":"10_CR10","volume-title":"PhD Dissertation","author":"J.A.W. Kamp","year":"1968","unstructured":"J.A.W. Kamp, Tense Logic and the Theory of Linear Order, PhD Dissertation, University of California, Los Angeles, 1968."},{"key":"10_CR11","unstructured":"Proceedings of the Symposium on Logic in Computer Science 1987, Ithaka, New York, Computer Society Press, Washington, 1987."},{"key":"10_CR12","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0168-0072(83)90055-6","volume":"25","author":"R. Maddux","year":"1983","unstructured":"R. Maddux, \u201cA Sequent Calculus for Relation Algebras\u201d, Annals of Pure and Applied Logic, 25 (1983) 73\u2013101.","journal-title":"Annals of Pure and Applied Logic"},{"key":"10_CR13","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1002\/malq.19890350405","volume":"35","author":"R.D. Maddux","year":"1989","unstructured":"R.D. Maddux, \u201cFinitary Algebraic Logic\u201d, Zeitschrift f\u00fcr Mathematisch Logik und Grundlagen der Mathematik, 35 (1989) 321\u2013332, 39 (1993) 566\u2013569.","journal-title":"Zeitschrift f\u00fcr Mathematisch Logik und Grundlagen der Mathematik"},{"key":"10_CR14","unstructured":"M. Masuch, L. P\u00f3l\u00f3s & M. Marx (eds.), Arrow Logic, Oxford University Press, to appear."},{"key":"10_CR15","unstructured":"M. Marx, Sz. Mikul\u00e1s, I. N\u00e9meti & I. Sain, \u201cInvestigations in arrow logic\u201d, to appear in [14]."},{"volume-title":"Aspects of Philosophical Logic","year":"1981","key":"10_CR16","unstructured":"U. M\u00f6nnich, ed., Aspects of Philosophical Logic, Reidel, Dordrecht, 1981."},{"key":"10_CR17","doi-asserted-by":"crossref","first-page":"485","DOI":"10.1007\/BF00370684","volume":"50","author":"I. N\u00e9meti","year":"1991","unstructured":"I. N\u00e9meti, \u201cAlgebraizations of quantifier logics: an introductory overview\u201d, Studia Logica 50 (1991) 485\u2013570.","journal-title":"Studia Logica"},{"key":"10_CR18","first-page":"443","volume-title":"Algebraic Logic","author":"E. Or\u0142owska","year":"1991","unstructured":"E. Or\u0142owska, \u201cRelational interpretation of modal logics\u201d, in:, 443\u2013471."},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"M. Reynolds, \u201cAn axiomatization for Since and Until over the reals without the IRR rule\u201d, Studia Logica, to appear.","DOI":"10.1007\/BF00370112"},{"volume-title":"Diamonds and Defaults","year":"1993","key":"10_CR20","unstructured":"M. de Rijke (ed.), Diamonds and Defaults, Kluwer Academic Publishers, Dordrecht, 1993."},{"key":"10_CR21","doi-asserted-by":"crossref","unstructured":"A. Tarski and S. Givant, A formalization of set theory without variables, AMS Colloquium Publications 41, 1987.","DOI":"10.1090\/coll\/041"},{"key":"10_CR22","first-page":"695","volume-title":"Algebraic Logic","author":"Y. Venema","year":"1991","unstructured":"Y. Venema, \u201cRelational Games\u201d, in, 695\u2013718."},{"key":"10_CR23","unstructured":"Y. Venema, Many-Dimensional Modal Logic, Doctoral Dissertation, University of Amsterdam, 1992, submitted to Oxford University Press."},{"key":"10_CR24","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1007\/978-94-015-8242-1_12","volume-title":"Diamonds and Defaults","author":"Y. Venema","year":"1993","unstructured":"Y. Venema, \u201cCompleteness by completeness: Since and Until\u201d, in:, 349\u2013359."},{"key":"10_CR25","doi-asserted-by":"crossref","first-page":"1003","DOI":"10.2307\/2275109","volume":"58","author":"Y. Venema","year":"1993","unstructured":"Y. Venema, \u201cDerivation rules as anti-axioms in modal logic\u201d, Journal of Symbolic Logic, 58 (1993) 1003\u20131054.","journal-title":"Journal of Symbolic Logic"},{"key":"10_CR26","unstructured":"Y. Venema, \u201cA crash course in arrow logic\u201d, Logic Group Preprint Series 107, February 1994, Department of Philosophy, Utrecht University; to appear in [14]."},{"key":"10_CR27","first-page":"315","volume":"8","author":"L. \u00c5qvist","year":"1982","unstructured":"L. \u00c5qvist, \u201cA conjectured axiomatization of two-dimensional Reichenbachian tense logic\u201d, Journal of Philosophical Logic, 8 (1982) 315\u2013333.","journal-title":"Journal of Philosophical Logic"}],"container-title":["Lecture Notes in Computer Science","Temporal Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0013986","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T00:35:11Z","timestamp":1586565311000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013986"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354058241X"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/bfb0013986","relation":{},"subject":[]}}