First-Order Logics of Branching Time
Logical Investigations
doi 10.21146/2074-1472-2013-19-0-68-99
Full Text
Open PDFAbstract
Available in full text
Date
April 9, 2013
Authors
Publisher
Institute of Philosophy, Russian Academy of Sciences
Available in full text
April 9, 2013
Institute of Philosophy, Russian Academy of Sciences