×

Found 4 Documents (Results 1–4)

Kripke-type semantics for \(\mathrm{CG}_3'\). (English) Zbl 1394.03045

Arrazola-Ramírez, José Ramón (ed.) et al., Selected papers of the 10th Latin American workshop on logic/languages, algorithms and new methods of reasoning (LANMR), Puebla, Mexico, August 15, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 328, 17-29 (2016).
MSC:  03B53 03B50
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field