Titlebook: Logical Foundations of Computer Science; International Sympos Sergei Artemov,Anil Nerode Conference proceedings 2016 Springer International

消灭

Urea508

978-3-319-27682-3Springer International Publishing Switzerland 2016

Concerto

Logical Foundations of Computer Science978-3-319-27683-0Series ISSN 0302-9743 Series E-ISSN 1611-3349

搏斗

健壮

Archipelago

Sequent Calculus for Intuitionistic Epistemic Logic IEL,of knowledge from an intuitionistic point of view based on Brouwer-Hayting-Kolmogorov semantics of intuitionism. We construct a cut-free sequent calculus for . and establish that polynomial space is sufficient for the proof search in it. We prove that . is .-complete.

生存环境

Lasting

喊叫

0302-9743 ogics;logics of proof and justification; non-monotonic reasoning; logic in gametheory and social software; logic of hybrid systems; distributed system logics;mathematical fuzzy logic; system de978-3-319-27682-3978-3-319-27683-0Series ISSN 0302-9743 Series E-ISSN 1611-3349

cumulative