Linear tense logics of increasing sets

Journal of Logic and Computation

Volumn 12, Issue 4, 2002, Pages 583-606

  Heinemann, Bernhard ^a  

^a UNIVERSITY OF HAGEN   (Germany)

Author keywords

Modal logics of set spaces; Modal logics of time; Temporal reasoning

Indexed keywords

DATA FLOW ANALYSIS; DECISION THEORY; LINEAR PROGRAMMING; LOGIC DESIGN; SET THEORY; THEOREM PROVING; TIME SHARING PROGRAMS;

DECREASING SETS; INCREASING SETS; LINEAR TENSE LOGIC LANGUAGE; MODAL LOGICS OF SET SPACES; MODAL LOGICS OF TIME;

FORMAL LOGIC;

EID: 0036679137     PISSN: 0955792X     EISSN: None     Source Type: Journal    
DOI: 10.1093/logcom/12.4.583     Document Type: Article

References (21)

1. Topological reasoning and the logic of knowledge
2. Bimodal logics for reasoning about continuous dynamics
3. Combining temporal logic systems
4. Knowledge on treelike spaces
5. Knowledge and common knowledge in a distributed environment
6. Complete axiomatizations for reasoning about knowledge and time
7. Topological nexttime logic
8. On sets growing continuously
9. About the temporal decrease of sets
10. Modelling change with the aid of knowledge and time
11. Decidable fragments of first-order temporal logics
12. On the translation of qualitative spatial reasoning problems into modal logics
13. Axioms for branching time
14. A decidable temporal logic of parallelism