2 research outputs found
A Complete Axiom System for Propositional Interval Temporal Logic with Infinite Time
- Author
- B. Moszkowski
- Ben Moszkowski
- Ben Moszkowski
- Ben Moszkowski
- Colin Stirling
- Dexter Kozen
- Dexter Kozen and Rohit Parikh
- Hanpin Wang and Qiwen Xu
- Howard Bowman and Simon J. Thompson
- Jesper G. Henriksen and P. S. Thiagaraja
- Michael J. Fischer and Richard E. Ladner
- Orna Lichtenstein and Amir Pnueli
- P. [L.] Wolper
- Robert McNaughton
- Simon Bäumler Gerhard Schellhorn, Bogda
- Simon Bäumler Michael Balser, Florian N
- Wolfgang Thomas
- Y. Kesten and A. Pnueli
- Yaacov Choueka
- Yaacov Choueka and David Peleg
- Zhou Chaochen C. A. R. Hoare, and A. P.
- Publication venue
- 'Logical Methods in Computer Science e.V.'
- Publication date
- 01/01/2012
- Field of study
Interval Temporal Logic (ITL) is an established temporal formalism for
reasoning about time periods. For over 25 years, it has been applied in a
number of ways and several ITL variants, axiom systems and tools have been
investigated. We solve the longstanding open problem of finding a complete
axiom system for basic quantifier-free propositional ITL (PITL) with infinite
time for analysing nonterminating computational systems. Our completeness proof
uses a reduction to completeness for PITL with finite time and conventional
propositional linear-time temporal logic. Unlike completeness proofs of equally
expressive logics with nonelementary computational complexity, our semantic
approach does not use tableaux, subformula closures or explicit deductions
involving encodings of omega automata and nontrivial techniques for
complementing them. We believe that our result also provides evidence of the
naturalness of interval-based reasoning
Teacher Competence
- Author
- Adams E. W.
- Adams E. W.
- Adams W. C. T.
- Adams W. C. T.
- Albert H. R.
- Allen H. P.
- Allen Hollis P.
- Almack J. C.
- Almack J. C.
- Almy H. V.
- An Editorial
- an Editorial
- an Editorial
- an editorial
- an editorial
- Andersen W. N.
- Anderson C. S.
- Anderson D. A.
- Anderson Vivienne
- Anderson M. E. and others
- Antell Henry
- Apgar Genevieve
- Archer C. P.
- Archer Clifford P.
- Archer Clifford P.
- Aretz C. W.
- Armstrong F. E.
- Arny C. B.
- Ashley V. S.
- Atkinson E. W.
- Austin S. Carolyn
- Baer J. A.
- Bagley W. C.
- Bain Winifred E.
- Baird James
- Baird J. and others
- Baker B. K.
- Baker F. E.
- Baker G. M.
- Ball L. B.
- Balliet T. M.
- Ballou F. W.
- Ballou F. W.
- Bamberger Florence E.
- Barr A. S.
- Barr A. S.
- Barr A. S.
- Barr A. S.
- Barr A. S.
- Barr A. S.
- Barr A. S.
- Barr A. S.
- Barr A. S.
- Barr A. S.
- Barr A. S.
- Barr A. S.
- Barr A. S.
- Barr A. S.
- Barr A. S.
- Barr A. S.
- Barr A. S. and others
- Barr A. S. and others
- Barthelmess Harriet M.
- Bathurst J. E.
- Baxter B.
- Beaty O. W.
- Beck A. D.
- Beckner H. B.
- Beecher Dwight E.
- Behrens H. D.
- Bell A. L.
- Bell V. M.
- Bemson Oliver H.
- Bent Rudyard K.
- Besdine Matthew
- Betts G. H.
- Betts Gilbert L.
- Betts Gilbert L.
- Betts Gilbert L.
- Betts Gilbert L.
- Betts Gilbert L.
- Bird V. A.
- Birkelo C. P.
- Blair J. M.
- Blessing C. W.
- Blewett Ben
- Blewett Ben
- Blisk T. Erwin
- Blum Lawrence P.
- Blyler Dorothea
- Boardman Charles W.
- Boden A. O.
- Bone H. A.
- Bonser F. G.
- Bossing Nelson L.
- Bousfield Weston A.
- Bowman E. C.
- Bowman Earl C.
- Boyce A. C.
- Boynton F. D.
- Bradley J. H.
- Bradshaw F. F.
- Bradshaw F. F.
- Brandenburg G. C.
- Brandenburg G. C.
- Brandwein P. F.
- Breckenridge Elizabeth
- Breed F. S.
- Breslich E. R.
- Brookover Wilbur B.
- Brookover Wilbur B.
- Broom M. E.
- Broom M. E.
- Broom M. E.
- Brown C. D.
- Brown Clara M.
- Brown E. J.
- Brown M. C.
- Brownell S. A.
- Brownell S. M.
- Brubacher A. R.
- Brueckner L. J.
- Brueckner L. J.
- Brueckner Leo J.
- Bryan R. C.
- Bryan Roy C.
- Bryan Roy C.
- Bryan Roy C.
- Buckingham B. R.
- Buellsesfield Henry
- Burke Arvid J.
- Burnham E. S.
- Burns C. A.
- Bursch Charles W.
- Bush A. S.
- Buswell Guy T.
- Butler F. A.
- Butler F. A.
- Butsch Russell L. C.
- Cahoon G. P.
- Cahoon G. P.
- Cahoon G. P.
- Callahan Sterling G.
- Cammack I. I.
- Camp C.
- Carrigan R. A.
- Carrigan Rose A.
- Carrigan Rose A.
- Carrington Evelyn M.
- Carroll J. S.
- Cattell Raymond B.
- Champlin Carroll D.
- Charters W. W.
- Cheyette I.
- Chrisman L. H.
- Clapp F. L.
- Clark M. G.
- Clark R. C.
- Clarke W. F.
- Clem Orlie M.
- Clement J. H.
- Clevenger Arthur W.
- Clinton R. J.
- Cocking W. D.
- Coffman Lotus D.
- Collicott J. G.
- Collings Ellsworth
- Collins E. A.
- Committee of Southern Educators. A.
- Connor W. L.
- Cook J. W.
- Cook Walter W.
- Cook Walter W.
- Cook William A.
- Cooley E. G.
- Cooper D. H.
- Copper F. L.
- Corey Stephen M.
- Corey Stephen M.
- Corson David B.
- Cosgrove Elizabeth
- Courtis S. A.
- Courtis S. A.
- Courtis S. A.
- Courtis S. A.
- Courtis Stuart A.
- Coxe W. W.
- Crabtree J. W.
- Crissy William J. E.
- Cruttendin Edwin W.
- Cullen J. A.
- Cunningham M.
- Curtis F. D.
- Dagley William C.
- Daltharp C. J.
- Davenport F. I.
- David V. Tiedeman
- Davidson William M.
- Davies J. Earl
- Davis Burton E.
- Davis C. O.
- Davis C. O.
- Davis Frederick B.
- Davis H.
- Davis R. A.
- Davis Robert A. and others
- Day L. C.
- Dean C. D.
- Dearborn F.
- Deffenbaugh W. S.
- Denbigh John H.
- Denning R. O.
- Deutsch Monroe E.
- Diamond Thomas
- Dix Lester
- Dodge A. F.
- Doerr C.
- Doughty W. F.
- Douglass H. R.
- Dragoo A. W.
- Driggs Joseph B.
- Durflinger Glenn W.
- Durflinger Glenn W.
- Duvall R. A.
- Dyer Franklin B.
- Eberhart R.
- Eddins A. W.
- Edmonson J. B.
- Eldred L.
- Eldredge A. C.
- Eliassen R. H.
- Elliott Edward C.
- Elliott Edward C.
- Elliott Edward C.
- Elliott Edward C.
- Engleman J. O.
- Erickson A. E.
- Ericson E. E.
- Ericson E. E.
- Ericson Emanuel E.
- Evans R. O.
- Evenden E. S.
- Evenden E. S.
- Evenden E. S.
- Evenden Edward S.
- Ewing P. L.
- Ewing P. L. and others
- Farr T. J.
- Fichandler A.
- Fichandler Alexander
- Fish L. F.
- Fish Louis J.
- Fitzpatrick F. B.
- Flagg R. C.
- Flam August
- Flanagan John C.
- Flinn Vee
- Flory Charles D.
- Folk Philip H.
- Fordyce Charles
- Foster F. M.
- Fowlkes John Guy
- Fox F. G.
- Frank J. O.
- Frazier B. W.
- Frazier C. M.
- Frederick P. M.
- Frederick Robert W.
- Freilich Helen
- Fritz Ralph A.
- Frongen C. G. F.
- Fullerton Charles H.
- Fulton Reed
- Ganders Harry S.
- Garvey E. F.
- Getman A. K.
- Giachino J. W.
- Giese W. J.
- Gilchrist R. S.
- Gilmore M. E.
- Gilmore M. E.
- Gilson H. V.
- Gorman A. E. and others
- Goslin H.
- Goslin W. E.
- Gosling Thomas W.
- Gotham R. E.
- Gould G.
- Gray C. A.
- Gray H. M.
- Gray W. S.
- Green C. C.
- Green R. A.
- Green R. A.
- Griffin J. D. M.
- Griffin William E.
- Guthrie E. R.
- Hacker L. W.
- Haggard William W.
- Haggerty M. E.
- Hall-Quest A. L.
- Hall-Quest A. L.
- Hallman M. S.
- Hamilton H. Clifford
- Hammond E. K.
- Hammond Gertrude B.
- Hamstra R. H.
- Hansen Basil C.
- Hanson E. M.
- Hanson Earl H.
- Hardesty Cecil F.
- Harms H.
- Harrington W.
- Hawthorn A.
- Hayes M.
- Heffelfinger J. B.
- Hellfritzsch A. G.
- Henderson Ruth
- Herd Edmund J. M.
- Herda F. J.
- Herrick Mary
- Herring John P.
- Herriott M. E.
- Herron Franklyn A.
- Hess A. H.
- Hess Adoh
- Hickman Joseph
- Hill G. E.
- Hill L. B.
- Hill L. B.
- Hobson Claude V.
- Hodgdon D. R.
- Hoel L.
- Holty F. L.
- Hopkins L. Thomas
- Hopkins Wilfred C.
- Hoppock Robert
- Howe M. E.
- Huggett A. J.
- Hughes C. C.
- Hughes H. F.
- Hughes W. Harding
- Hullfish H. G.
- Hulse Melvin L.
- Hult Esther
- Humke H. L.
- Hunt Thelma
- Ireland Oliver C.
- Jarman A. M.
- Jayne C. D.
- Jeffers G. B.
- Jenkins Albian U.
- Jersild Arthur T.
- Jones E. S.
- Jones J. W.
- Jones Olive M.
- Jones Ronald D.
- Judd Charles A.
- Kandel I. L.
- Keighin M. A.
- Keith R.
- Kelly M. R.
- Kelner B. G.
- Kemp L. C. D.
- Kennard R. B.
- Kent D. C.
- Kilpatrick William H. and others
- Kimball Florence
- Kimes F. M.
- Kinder J. S.
- King L. A.
- Kirby Byron C.
- Kittrell Charles A.
- Klapper P.
- Knapp T. J.
- Knight F. B.
- Knight F. B.
- Knight F. B. and Others
- Knoble J. W.
- Knox W. T.
- Knudsen Charles W.
- Kohibrenner B. J.
- Kolstad Arthur
- Koopman G. R.
- Koos L. V.
- Kramer J. H.
- Kramer S. E.
- Kriner H. L.
- Kriner H. L.
- Kriner H. L.
- Kuenzli Irvin R.
- Kyte G. C.
- LaDuke C. V.
- Lain Nell E.
- Lamson Edna F.
- Lancaster J. H.
- Lancelot W. H.
- Lancelot William H.
- Landsittel F. C.
- Landsittel F. C.
- Lane Bess B.
- Lane R. H.
- Larson Arthur H.
- LaRue Daniel W.
- Laycock S. R.
- Laycock S. R.
- Laycock Sam R.
- Learned W. S.
- Learned W. S.
- Leevy J. R.
- Lehman Harvey C.
- Leonard V. E.
- Lessenger W. E. and others
- Linder I. H.
- Lins Leo J.
- Littler R.
- Littler Sherman
- Loomis O. E.
- Loparte W. R.
- Ludeman W. W.
- Ludeman Walter W.
- Lull H. G.
- Lynch J. M.
- Lynch James M.
- MacDonald Marion E.
- MacDougall E. F.
- MacDowell Theodore L.
- Madsen I. N.
- Major C. L.
- Major C. L.
- Malan C. T.
- Manahan J. L.
- Manley H.
- Markt A. R.
- Masters Harry V.
- Mathews Lee H.
- Matt D. C.
- Matteson B. H.
- Maxwell G. E.
- Mayse S. G.
- McBroom M. M.
- McConnell R. E.
- McCormick C. F.
- McCuskey D.
- McCuskey Dorothy
- McGaughy J. R.
- McLeary R. D.
- McNally E. J.
- Mead A. R.
- Mead A. R.
- Mead Cyrus D.
- Meeks L. H.
- Megroth E. J.
- Merriman E. D.
- Messenger H. R.
- Messler W. A.
- Miel A.
- Miles L. E.
- Miller B. W.
- Miller R.
- Miller V.
- Miller W. A.
- Mills J. S.
- Mills L. S.
- Misner P. J.
- Mitchell C.
- Moehlman Arthur B.
- Mones Leon
- Monroe W. S.
- Moore J. G.
- Morgan A. L.
- Morgan DeWitt S.
- Morgan J. E.
- Morrill T. C.
- Morris E. H.
- Morrison Katherine
- Morton Robert L.
- Moses Cleda V.
- Moss F. A.
- Moss F. A. and others
- Myers G. C.
- Neel M. O.
- Nelson A. C.
- Nemec L. G.
- Nix E.
- Norvell G. W.
- Nutting Edwin P.
- Olson W. C.
- Organovic Nicholas J.
- O’Brien Howard V.
- O’Neil M. V.
- O’Rourke L. J.
- Palmer G. H.
- Palmer George H.
- Parrott A. L.
- Parsons G. B.
- Paustian H. J.
- Paustian H. J.
- Peabody Robert W.
- Pederson H. A.
- Peik W. E.
- Peters D. W.
- Peterson O. K.
- Peterson H. A. and others
- Phillips E. D.
- Phillips V.
- Pierce D. H.
- Pitkin Fred E.
- Posey C. W.
- Pottle H. L.
- Puffer R. A.
- Pulliam R.
- Pusey Edwin D.
- Pygman C. H.
- Pyle W. H.
- Pyle W. H.
- Rafter A. L.
- Raths L. E.
- Raths Louis
- Reavis William C.
- Reed Carrol R.
- Reitell C.
- Reitz William, and others
- Remmers H. H.
- Remmers H. H.
- Remmers H. H.
- Remmers H. H.
- Reynolds B. E.
- Reynolds O. E. and others
- Rhoad C. E.
- Rich Frank M.
- Richardson H.
- Riddle A.
- Rinsland Martha A. O.
- Risley J. H.
- Ritchie M.
- Roberts J. E.
- Roberts R. W.
- Robinson T. E.
- Roehl L. M.
- Rogers Virgil M.
- Rolfe J. F.
- Rostker L. E.
- Rostker L. E.
- Rostker Leon E.
- Rowland A. L.
- Ruediger W. C.
- Ruediger W. C.
- Rulon Phillip J.
- Rummell F. U.
- Ryan C. T.
- Ryans D. G.
- Ryans David G.
- Ryans David G.
- Ryans David G.
- Saer H.
- Samuelson E. E.
- Sandison M.
- Schaffle Albert E. E.
- Schellhammer Fred M.
- Schlueter W. H.
- Schmidtman M.
- Schutte T. H.
- Schweppe E.
- Schweppe Emma
- Scudder J. W.
- Sells Sane B.
- Selvidge R. W.
- Senger Harry L.
- Senska N. M.
- Seyfert W. C.
- Seymour O. J.
- Shane H. G.
- Shaner J. D.
- Shannon J. R.
- Shannon J. R.
- Shannon J. R.
- Shannon John R.
- Shannon John R.
- Shiels A.
- Showalter B. R.
- Shuster Lillian
- Simeon J. Domas
- Simon D. L.
- Simonson R.
- Simpson R. H.
- Sires R. V.
- Skimin Eleanor
- Smith A.
- Smith A. A.
- Smith Allan A.
- Smith E. L.
- Smith H. L.
- Smith H. P.
- Smith J. R.
- Snavely Guy E.
- Snedden David
- Snyder Roy P.
- Soderquist H. O.
- Soldan F. L.
- Sollars Velna
- Somers Grover T.
- Sorenson Herbert
- Spaulding Francis T.
- Steiner M. A.
- Steiner R. W.
- Stewart May L.
- Stiles L. J.
- Stoddard A. J.
- Storm A. Van
- Strebel R. F.
- Stroh M. Margaret
- Strong John A.
- Stuit D. B.
- Stuit D. B.
- Stuit Dewey B.
- Stutsman I. E.
- Sutherland S. S.
- Sutton T. C.
- Symonds Percival M.
- Taylor H.
- Taylor H. R.
- Taylor J. S.
- Taylor Joseph S.
- Thayer V. T.
- Thomas F. W.
- Thoming T.
- Thompson A. C.
- Thompson Anna M.
- Thompson C. O.
- Thompson Frank E.
- Thompson Frank E.
- Thornton James W.
- Thwing C. F.
- Tidyman W. F.
- Tiegs E. W.
- Torgerson T. L.
- Torgerson T. L.
- Traxler Arthur E.
- Trow W. C.
- Trow W. C.
- Troyer M. E.
- Troyer Maurice E.
- Troyer Maurice E.
- Troyer Maurice E.
- Trusler V. T.
- Tuell H. E.
- Tuggle M. A.
- Twiss George R.
- U. S. Office of Indian Affairs
- Ullman Roy R.
- Unruh A.
- Upshall C. C.
- Upshall C. C.
- Vaeth J. G.
- Van Denburg Joseph K.
- Van Denburg Joseph K.
- Van Oot B. H.
- Van Sickle J. H.
- Vasche J. B.
- Von Eschen C. R.
- Von Haden Herbert I.
- Waddell C. W.
- Wagenhorst L. H.
- Wagner C. A.
- Wagner C. A.
- Wagner Charles A.
- Waidelich A. G.
- Waits L. A.
- Walker F. T.
- Walker M.
- Ward William D.
- Warfield W. C.
- Weber C. A.
- Weber S. E.
- Weidemann C. C.
- Weitman E.
- West H. C.
- Westie A. W.
- Wetzel William A.
- Whipple G. M.
- White H. V.
- Whitelaw John B.
- Whitner C. L.
- Whitney E. R.
- Willard F. E.
- Williams J. H.
- Wilson J. Douglas
- Witham E. C.
- Witty Paul A.
- Witty Paul A.
- Wood B.
- Wood Ben D.
- Woody Clifford
- Word Aubrey H.
- Worthy H. D.
- Wright F. L.
- Wrightstone J. W.
- Wrightstone J. Wayne
- Wrinkle W. L.
- Wykoff G. S.
- Wykoff George S.
- Xavier Sister Mary
- Yaukey J. V.
- Yocum A. D.
- Young Frank
- Young W. E.
- Zant J. H.
- Publication venue
- 'Informa UK Limited'
- Publication date
- Field of study