×

Found 36 Documents (Results 1–36)

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

Preservation of admissibility of inference rules in the logics similar to S4. 2. (Russian, English) Zbl 1010.03011

Sib. Mat. Zh. 43, No. 2, 446-453 (2002); translation in Sib. Math. J. 43, No. 2, 357-362 (2002).
MSC:  03B45 03B25
PDFBibTeX XMLCite
Full Text: EuDML

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
PDFBibTeX XMLCite
Full Text: EuDML

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

Biographic Reference