Knowledge in Multi-Agent Systems: Initial Configurations and Broadcast

Knowledge on Treelike Spaces

Knowledge Theoretic Properties of Topological Spaces

Knowledge-Based Synthesis of Distributed Systems Using Event Structures

Knuth-Bendix constraint solving is NP-complete

Kolmogorov Complexity in perspective. Part I: Information Theory and Randomnes

Kolmogorov Complexity in perspective. Part II: Classification, Information Processing and Duality

Kripke Semantics for Martin-Löf's Extensional Type Theory

L2C2: Logic-based LSC Consistency Checking

Labeled Natural Deduction Systems for a Family of Tense Logics

Labelled Lambda-calculi with Explicit Copy and Erase

Labelled transition systems as a Stone space

Lack of Finite Characterizations for the Distance-based Revision

Lambda-Free Logical Frameworks

Language of Boolean functions its Grammar and Machine

Layered Fixed Point Logic

Lazy AC-Pattern Matching for Rewriting

Lazy Decomposition for Distributed Decision Procedures

Learning in a Compiler for MINSAT Algorithms

Least and Greatest Fixed Points in Linear Logic