Title
Invariant-Free Deduction Systems for Temporal Logic.
Year
Venue
Field
2013
Bulletin of the EATCS
Temporal logic of actions,Interval temporal logic,Multimodal logic,Substructural logic,Description logic,Linear temporal logic,Theoretical computer science,Temporal logic,Mathematics,Dynamic logic (modal logic)
DocType
Volume
Issue
Journal
110
110
Citations 
PageRank 
References 
0
0.34
0
Authors
1
Name
Order
Citations
PageRank
Jose Gaintzarain161.83