A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics
A note on the Declarative reading(s) of Logic Programming
A note on the expressive power of linear orders
A Paraconsistent Higher Order Logic
A Parameterised Hierarchy of Argumentation Semantics for Extended Logic Programming and its Application to the Well-founded Semantics
A parameterization process as a categorical construction
A parameterization process, functorially
A Predicative Harmonization of the Time and Provable Hierarchies
A Probabilistic Temporal Logic with Frequency Operators and Its Model Checking
A Probabilistic Variant of Projection Temporal Logic
A process algebra based framework for promise theory
A Process Algebra for Supervisory Coordination
A Process Calculus for Expressing Finite Place/Transition Petri Nets
A process calculus with finitary comprehended terms
A program logic for higher-order procedural variables and non-local jumps
A Proof Carrying Code Framework for Inlined Reference Monitors in Java Bytecode
A proof of strong normalisation using domain theory
A Proof of the Factorization Forest Theorem
A Proof Theoretic Analysis of Intruder Theories
A proof theoretic analysis of intruder theories