×

Found 47 Documents (Results 1–47)

100
MathJax

Until-since temporal logic based on parallel time with common past. Deciding algorithms. (English) Zbl 1132.03324

Artemov, Sergei N. (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2007, New York, NY, USA, June 4–7, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-72732-3/pbk). Lecture Notes in Computer Science 4514, 486-497 (2007).
MSC:  03B44
PDF BibTeX XML Cite
Full Text: DOI

Linear temporal logic with until and before on integer numbers, deciding algorithms. (English) Zbl 1185.03022

Grigoriev, Dima (ed.) et al., Computer science – theory and applications. First international computer science symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8–12, 2006. Proceedings. Berlin: Springer (ISBN 3-540-34166-8/pbk). Lecture Notes in Computer Science 3967, 322-333 (2006).
MSC:  03B44 68Q60 68Q85
PDF BibTeX XML Cite
Full Text: DOI

Intransitive linear temporal logic based on integer numbers, decidability, admissible logical consecutions. (English) Zbl 1124.03006

Goncharov, S. S. (ed.) et al., Mathematical logic in Asia. Proceedings of the 9th Asian logic conference, Novosibirsk, Russia, August 16–19, 2005. Hackensack, NJ: World Scientific (ISBN 978-981-270-045-2/hbk). 233-253 (2006).
MSC:  03B44 03B25
PDF BibTeX XML Cite

Describing a basis in semireduced form for inference rules of intuitionistic logic. (English. Russian original) Zbl 0973.03009

Algebra Logika 39, No. 6, 720-740 (2000); translation in Algebra Logic 39, No. 6, 412-422 (2000).
MSC:  03B20 03B55
PDF BibTeX XML Cite
Full Text: EuDML

Filter Results by …

Document Type

Reviewing State

all top 5

Year of Publication

all top 3

Classification