×

Found 24 Documents (Results 1–24)

Admissible inference rules in the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation. (English. Russian original) Zbl 1342.03019

Sib. Math. J. 56, No. 3, 455-470 (2015); translation from Sib. Mat. Zh. 56, No. 3, 573-593 (2015).
PDFBibTeX XMLCite
Full Text: DOI

A tableau method for checking rule admissibility in S4. (English) Zbl 1345.03033

Bolander, Thomas (ed.) et al., Proceedings of the 6th workshop on methods for modalities (M4M-6 2009), Copenhagen, Denmark, November 12–14, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 262, 17-32 (2010).
MSC:  03B45
PDFBibTeX XMLCite
Full Text: DOI

Decidability of hybrid logic with local common knowledge based on linear temporal logic LTL. (English) Zbl 1142.03323

Beckmann, Arnold (ed.) et al., Logic and theory of algorithms. 4th conference on computability in Europe, CiE 2008, Athens, Greece, June 15–20, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-69405-2/pbk). Lecture Notes in Computer Science 5028, 32-41 (2008).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field