Switch to: References

Citations of:

The Logic of Time Representation

Dissertation, University of California, Berkeley (1987)

Add citations

You must login to add citations.
  1. The Logic of Time in Law and Legal Expert Systems.Ejan Mackaay, Daniel Poulin, Jacques Frémont, Paul Bratley & Constant Déniger - 1990 - Ratio Juris 3 (2):254-271.
    Research on an expert system regarding unemployment insurance law has pointed to the difficulties of explicitly representing temporal relations. The question has been addressed in the artificial intelligence literature with respect to planning systems and linguistic analysis. The approaches adopted do not appear to be directly transposable to legal discourse. The problem seems so far to have escaped notice amongst researchers attempting to develop legal expert systems. The paper explores in a preliminary way how lawyers use temporal concepts. It is (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Epistemology, Context, and Formalism.Franck Lihoreau & Manuel Rebuschi (eds.) - 2014 - Heidelberg: Springer Verlag.
    Acknowledgements Five out of the 13 contributions to this volume originate from papers which were presented at the international workshop on “Epistemology, Context, Formalism” held at the MSH-Lorraine in Nancy, France, on November the ...
    Download  
     
    Export citation  
     
    Bookmark  
  • A Road Map of Interval Temporal Logics and Duration Calculi.Valentin Goranko, Angelo Montanari & Guido Sciavicco - 2004 - Journal of Applied Non-Classical Logics 14 (1-2):9-54.
    We survey main developments, results, and open problems on interval temporal logics and duration calculi. We present various formal systems studied in the literature and discuss their distinctive features, emphasizing on expressiveness, axiomatic systems, and (un)decidability results.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Multi-dimensional modal logic.Maarten Marx - 1997 - Boston, Mass.: Kluwer Academic Publishers. Edited by Yde Venema.
    Over the last twenty years, in all of these neighbouring fields, modal systems have been developed that we call multi-dimensional. (Our definition of multi ...
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  • Temporal logic.Temporal Logic - forthcoming - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark  
  • Temporal logic.Antony Galton - 2008 - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   9 citations