https://lgps.sites.uu.nl/preprint/a-process-creation-mechanism-in-process-algebra/2017-09-28T13:42:55+02:00https://lgps.sites.uu.nl/preprint/put-and-get-primitives-for-synchronous-unreliable-message-passing/2017-09-28T13:42:55+02:00https://lgps.sites.uu.nl/preprint/evaluation-provably-deductive-equivalence-in-heytings-arithmetic-of-substitution-instances-of-propositional-formulas/2017-09-28T13:42:55+02:00https://lgps.sites.uu.nl/preprint/interpolation-in-a-fragment-of-intuitionistic-propositional-logic/2017-09-28T13:42:55+02:00https://lgps.sites.uu.nl/preprint/a-modular-approach-to-protocol-verification-using-process-algebra/2017-09-28T13:42:55+02:00https://lgps.sites.uu.nl/preprint/intuitionistic-free-abelian-groups/2017-09-28T13:42:55+02:00https://lgps.sites.uu.nl/preprint/a-simplification-of-the-completeness-proofs-for-guaspari-and-solovavs-r/2017-09-28T13:42:55+02:00https://lgps.sites.uu.nl/preprint/a-semantic-framework-for-the-cold-family-of-languages/2017-09-28T13:42:55+02:00https://lgps.sites.uu.nl/preprint/strictheidsanalyse/2017-09-28T13:42:55+02:00https://lgps.sites.uu.nl/preprint/kunnen-wij-elke-machine-verslaan-beschouwingen-rondom-lucas-argument/2017-09-28T13:42:55+02:00https://lgps.sites.uu.nl/preprint/naesss-dichotomy-of-tenability-and-relevance/2017-09-28T13:42:55+02:00https://lgps.sites.uu.nl/preprint/abstractie-in-wiskunde-expertsystemen-en-argumentatie/2017-09-28T13:42:55+02:00https://lgps.sites.uu.nl/preprint/peanos-smart-children-a-provability-logical-study-of-systems-with-built-in-consistency/2017-09-28T13:42:55+02:00https://lgps.sites.uu.nl/preprint/interpolation-in-natural-fragments-of-intuitionistic-propositional-logic/2017-09-28T13:42:55+02:00https://lgps.sites.uu.nl/preprint/module-algebra-for-relational-specifications/2017-09-28T13:42:55+02:00https://lgps.sites.uu.nl/preprint/tensed-intuitionistic-logic/2017-09-28T13:42:55+02:00https://lgps.sites.uu.nl/preprint/process-algebra-semantics-for-queues/2017-09-28T13:42:55+02:00https://lgps.sites.uu.nl/preprint/a-functional-program-for-the-fast-fourier-transform/2017-09-28T13:42:55+02:00https://lgps.sites.uu.nl/preprint/a-course-in-bimodal-provability-logic/2017-09-28T13:42:55+02:00https://lgps.sites.uu.nl/preprint/the-logic-of-actual-obligation-an-alternative-approach-to-deontic-logic/2017-09-28T13:42:55+02:00https://lgps.sites.uu.nl/preprint/creative-reasoning-in-formal-discussion/2017-09-28T13:42:59+02:00https://lgps.sites.uu.nl/preprint/a-functional-program-for-gaussian-elimination/2017-09-28T13:42:59+02:00https://lgps.sites.uu.nl/preprint/interpolation-in-fragments-of-intuitionistic-propositional-logic/2017-09-28T13:42:59+02:00https://lgps.sites.uu.nl/preprint/applications-of-constructive-logic-to-sheaf-constructions-in-toposes/2017-09-28T13:42:59+02:00https://lgps.sites.uu.nl/preprint/redeneren-met-onzekerheid-in-expertsystemen/2017-09-28T13:42:59+02:00https://lgps.sites.uu.nl/preprint/specification-of-the-fast-fourier-transform-algorithm-as-a-term-rewriting-system/2017-09-28T13:42:59+02:00https://lgps.sites.uu.nl/preprint/the-war-of-frogs-and-mice-or-the-crisis-of-the-mathematische-annalen/2017-09-28T13:42:59+02:00https://lgps.sites.uu.nl/preprint/preliminary-notes-on-interpretability-logic/2017-09-28T13:42:59+02:00https://lgps.sites.uu.nl/preprint/gaus-eliminition-a-term-rewriting-system/2017-09-28T13:42:59+02:00https://lgps.sites.uu.nl/preprint/36/2017-09-28T13:42:59+02:00https://lgps.sites.uu.nl/preprint/modularisation-parameterisation-interpolation/2017-09-28T13:42:59+02:00https://lgps.sites.uu.nl/preprint/strictness-analysis-for-polyrec-a-language-with-polymorphic-and-recursive-types/2017-09-28T13:42:59+02:00https://lgps.sites.uu.nl/preprint/a-descending-hierarchy-of-reflection-principles/2017-09-28T13:42:59+02:00https://lgps.sites.uu.nl/preprint/a-computationally-efficient-approximation-of-dempster-shafer-theory/2017-09-28T13:42:59+02:00https://lgps.sites.uu.nl/preprint/arithmetic-analogues-of-mcaloons-unique-rosser-sentences/2017-09-28T13:42:59+02:00https://lgps.sites.uu.nl/preprint/manufacturing-a-cartesian-closed-category-with-exactly-two-objects-out-of-a-c-monoid/2017-09-28T13:42:59+02:00https://lgps.sites.uu.nl/preprint/parallel-object-oriented-term-rewriting-the-booleans/2017-09-28T13:42:59+02:00https://lgps.sites.uu.nl/preprint/computations-in-fragments-of-intuitionistic-propositional-logic/2017-09-28T13:42:59+02:00https://lgps.sites.uu.nl/preprint/interpretability-logic/2017-09-28T13:42:59+02:00https://lgps.sites.uu.nl/preprint/the-existence-property-in-the-presence-of-function-symbols/2017-09-28T13:42:59+02:00https://lgps.sites.uu.nl/preprint/on-the-justification-of-dempsters-rule-of-combination/2017-09-28T13:43:03+02:00https://lgps.sites.uu.nl/preprint/an-inside-view-of-exp-or-the-closed-fragment-of-the-provability-logic-of-%ce%b9%ce%b4o%cf%89%e2%82%81-with-a-propositional-constant-for-exp/2017-09-28T13:43:03+02:00https://lgps.sites.uu.nl/preprint/explicit-fixed-points-in-interpretability-logic/2017-09-28T13:43:03+02:00https://lgps.sites.uu.nl/preprint/normalisation-of-database-expressions-involving-calculations/2017-09-28T13:43:03+02:00https://lgps.sites.uu.nl/preprint/a-perceptron-network-theorem-prover-for-the-propositional-calculus/2017-09-28T13:43:03+02:00https://lgps.sites.uu.nl/preprint/the-formalization-of-interpretability/2017-09-28T13:43:03+02:00https://lgps.sites.uu.nl/preprint/parallel-object-oriented-terms-rewriting-a-first-implementation-in-pool2/2017-09-28T13:43:03+02:00https://lgps.sites.uu.nl/preprint/choice-in-applicative-theories/2017-09-28T13:43:03+02:00https://lgps.sites.uu.nl/preprint/inductive-definitions-in-cold-k/2017-09-28T13:43:03+02:00https://lgps.sites.uu.nl/preprint/conditionals-probability-and-belief-revision/2017-09-28T13:43:03+02:00https://lgps.sites.uu.nl/preprint/on-the-%e2%88%91%e2%82%81-conservativity-of-%e2%88%91%e2%82%81-completeness/2017-09-28T13:43:03+02:00https://lgps.sites.uu.nl/preprint/counterexamples-in-applicative-theories-with-choice/2017-09-28T13:43:03+02:00https://lgps.sites.uu.nl/preprint/l-e-j-brouwer-wiskundige-en-mysticus/2017-09-28T13:43:03+02:00https://lgps.sites.uu.nl/preprint/the-logic-of-objective-knowledge-and-rational-belief/2017-09-28T13:43:03+02:00https://lgps.sites.uu.nl/preprint/reflections-on-parallel-functional-languages/2017-09-28T13:43:03+02:00https://lgps.sites.uu.nl/preprint/an-inside-view-of-exp-or-the-closed-fragment-of-the-provability-logic-of-%ce%b9%ce%b4o%cf%89%e2%82%81-with-a-propositional-constant-for-exp-2/2017-09-28T13:43:03+02:00https://lgps.sites.uu.nl/preprint/query-optimization-using-rewrite-rules/2017-09-28T13:43:03+02:00https://lgps.sites.uu.nl/preprint/strictness-analysis-via-abstract-interpretation-for-recursively-defined-types/2017-09-28T13:43:03+02:00https://lgps.sites.uu.nl/preprint/sequence-semantics-for-dynamic-predicate-logic/2017-09-28T13:43:03+02:00https://lgps.sites.uu.nl/preprint/towards-the-interpretability-logic-of-i%ce%b4oexp/2017-09-28T13:43:03+02:00https://lgps.sites.uu.nl/preprint/i-ir-some-intuitionistic-elementary-equivalences/2017-09-28T13:43:06+02:00https://lgps.sites.uu.nl/preprint/strong-termination-of-logic-programs/2017-09-28T13:43:06+02:00https://lgps.sites.uu.nl/preprint/the-unprovability-of-small-inconsistency/2017-09-28T13:43:06+02:00https://lgps.sites.uu.nl/preprint/on-the-semantics-of-conflict-resolution-in-truth-maintenance-systems/2017-09-28T13:43:06+02:00https://lgps.sites.uu.nl/preprint/a-preferential-model-semantics-for-default-logic/2017-09-28T13:43:06+02:00https://lgps.sites.uu.nl/preprint/splittings-and-the-finite-model-property/2017-09-28T13:43:06+02:00https://lgps.sites.uu.nl/preprint/bar-recursive-encodings-of-tree-ordinals/2017-09-28T13:43:06+02:00https://lgps.sites.uu.nl/preprint/bar-recursion-versus-polymorphism-extended-abstract/2017-09-28T13:43:06+02:00https://lgps.sites.uu.nl/preprint/merging-without-mystery-or-variables-in-dynamic-semantics/2017-09-28T13:43:06+02:00https://lgps.sites.uu.nl/preprint/generalized-kripke-models-for-epistemic-logic/2017-09-28T13:43:06+02:00https://lgps.sites.uu.nl/preprint/ramseys-theorem-and-the-pigeonhole-principle-in-intuitionistic-mathematics/2017-09-28T13:43:06+02:00https://lgps.sites.uu.nl/preprint/prefinitely-axiomatizable-modal-and-intermediate-logics/2017-09-28T13:43:06+02:00https://lgps.sites.uu.nl/preprint/a-tractable-algorithm-for-the-wellfounded-model/2017-09-28T13:43:06+02:00https://lgps.sites.uu.nl/preprint/the-theory-of-syntactic-domains/2017-09-28T13:43:06+02:00https://lgps.sites.uu.nl/preprint/actions-under-presuppositions/2017-09-28T13:43:06+02:00https://lgps.sites.uu.nl/preprint/a-modal-perspective-on-the-computational-complexity-of-attribute-value-grammar/2017-09-28T13:43:06+02:00https://lgps.sites.uu.nl/preprint/belief-functions-and-inner-measures/2017-09-28T13:43:06+02:00https://lgps.sites.uu.nl/preprint/a-%ce%b40-definition-for-finite-sequences/2017-09-28T13:43:06+02:00https://lgps.sites.uu.nl/preprint/a-correctness-proof-of-the-bakery-protocol-in-%ce%bccrl/2017-09-28T13:43:06+02:00https://lgps.sites.uu.nl/preprint/bar-recursion-versus-polymorphism/2017-09-28T13:43:06+02:00https://lgps.sites.uu.nl/preprint/lazy-quarrelsome-brackets/2017-09-28T13:43:10+02:00https://lgps.sites.uu.nl/preprint/lower-and-upper-bounds-for-reductions-of-types-in-%ce%bb%cf%89-and-%ce%bbp/2017-09-28T13:43:10+02:00https://lgps.sites.uu.nl/preprint/towards-a-formal-mathematical-vernacular/2017-09-28T13:43:10+02:00https://lgps.sites.uu.nl/preprint/incremental-semantics-for-propositional-texts/2017-09-28T13:43:10+02:00https://lgps.sites.uu.nl/preprint/meeting-strength-in-substructural-logics/2017-09-28T13:43:10+02:00https://lgps.sites.uu.nl/preprint/verifying-process-algebra-proofs-in-type-theory/2017-09-28T13:43:10+02:00https://lgps.sites.uu.nl/preprint/a-formal-verification-of-the-alternating-bit-protocol-in-the-calculus-of-constructions/2017-09-28T13:43:10+02:00https://lgps.sites.uu.nl/preprint/a-typed-logic-of-partial-functions-reconstructed-classically/2017-09-28T13:43:10+02:00https://lgps.sites.uu.nl/preprint/on-the-semantics-of-modular-structuring-facilities-in-specification-languages/2017-09-28T13:43:10+02:00https://lgps.sites.uu.nl/preprint/implicit-and-explicit-negation-in-logic-programming/2017-09-28T13:43:10+02:00https://lgps.sites.uu.nl/preprint/dynamic-squares/2017-09-28T13:43:10+02:00https://lgps.sites.uu.nl/preprint/proving-termination-of-higher-order-rewrite-systems/2017-09-28T13:43:10+02:00https://lgps.sites.uu.nl/preprint/hermann-weyls-intuitionistic-mathematics/2017-09-28T13:43:10+02:00https://lgps.sites.uu.nl/preprint/strengthening-parikhs-theorem-for-weak-systems-of-arithmetic/2017-09-28T13:43:10+02:00https://lgps.sites.uu.nl/preprint/preference-based-semantics-for-nonmonotonic-logics/2017-09-28T13:43:10+02:00https://lgps.sites.uu.nl/preprint/embeddings-of-heyting-algebras/2017-09-28T13:43:10+02:00https://lgps.sites.uu.nl/preprint/invariants-in-process-algebra-with-data/2017-09-28T13:43:10+02:00https://lgps.sites.uu.nl/preprint/a-correctness-proof-of-a-one-bit-sliding-window-protocol-in-%ce%bccrl/2017-09-28T13:43:10+02:00https://lgps.sites.uu.nl/preprint/a-bounded-retransmission-protocol-for-large-data-packets-a-case-study-in-computer-checked-algebraic-verification/2017-09-28T13:43:10+02:00https://lgps.sites.uu.nl/preprint/a-computer-checked-verification-of-milners-scheduler/2017-09-28T13:43:10+02:00https://lgps.sites.uu.nl/preprint/proofs-as-texts-dynamic-proof-theory-for-intuitionistic-propositional-logic/2017-09-28T13:43:13+02:00https://lgps.sites.uu.nl/preprint/linguistics-logic-and-finite-trees/2017-09-28T13:43:13+02:00https://lgps.sites.uu.nl/preprint/hermann-weyls-intuitionistic-mathematics-revised-edition/2017-09-28T13:43:13+02:00https://lgps.sites.uu.nl/preprint/cylindric-modal-logic/2017-09-28T13:43:13+02:00https://lgps.sites.uu.nl/preprint/a-modal-logic-of-quantification-and-substitution/2017-09-28T13:43:13+02:00https://lgps.sites.uu.nl/preprint/a-crash-course-in-arrow-logic/2017-09-28T13:43:13+02:00https://lgps.sites.uu.nl/preprint/eulers-%cf%86-function-in-the-context-of-%ce%b9%ce%b4o/2017-09-28T13:43:13+02:00https://lgps.sites.uu.nl/preprint/proof-checking-a-data-link-protocol/2017-09-28T13:43:13+02:00https://lgps.sites.uu.nl/preprint/negative-definability-in-modal-logic/2017-09-28T13:43:13+02:00https://lgps.sites.uu.nl/preprint/nnil-a-study-in-intuitionistic-propositional-logic/2017-09-28T13:43:13+02:00https://lgps.sites.uu.nl/preprint/third-order-matching-in-the-presence-of-type-constructors/2017-09-28T13:43:13+02:00https://lgps.sites.uu.nl/preprint/proving-a-graph-well-founded-using-resolution/2017-09-28T13:43:13+02:00https://lgps.sites.uu.nl/preprint/a-modal-logic-for-%ce%bccrl/2017-09-28T13:43:13+02:00https://lgps.sites.uu.nl/preprint/embeddings-of-heyting-algebras-revised-version/2017-09-28T13:43:13+02:00https://lgps.sites.uu.nl/preprint/on-the-computational-content-of-the-axiom-of-choice/2017-09-28T13:43:13+02:00https://lgps.sites.uu.nl/preprint/propositional-combinations-of-%cf%83-sentences-in-heytings-arithmetic/2017-09-28T13:43:13+02:00https://lgps.sites.uu.nl/preprint/iterated-local-reflection-vs-iterated-consistency/2017-09-28T13:43:13+02:00https://lgps.sites.uu.nl/preprint/third-order-matching-in-the-polymorphic-lambda-calculus/2017-09-28T13:43:13+02:00https://lgps.sites.uu.nl/preprint/hiding-propositional-constants-in-bdds/2017-09-28T13:43:13+02:00https://lgps.sites.uu.nl/preprint/the-safety-guaranteeing-system-at-station-hoorn-kersenboogerd/2017-09-28T13:43:13+02:00https://lgps.sites.uu.nl/preprint/network-algebra-for-synchronous-and-asynchronous-dataflow/2017-09-28T13:43:17+02:00https://lgps.sites.uu.nl/preprint/process-algebra-with-propositional-signals/2017-09-28T13:43:17+02:00https://lgps.sites.uu.nl/preprint/hennessy-milner-classes-and-process-algebra/2017-09-28T13:43:17+02:00https://lgps.sites.uu.nl/preprint/counting-variables-in-a-dynamic-setting/2017-09-28T13:43:17+02:00https://lgps.sites.uu.nl/preprint/a-complete-axiomatization-for-prefix-iteration-in-branching-bisimulation/2017-09-28T13:43:17+02:00https://lgps.sites.uu.nl/preprint/binary-decision-diagrams-for-first-order-predicate-logic/2017-09-28T13:43:17+02:00https://lgps.sites.uu.nl/preprint/verifying-modal-formulas-over-io-automata-by-means-of-type-theory/2017-09-28T13:43:17+02:00https://lgps.sites.uu.nl/preprint/process-algebra-semantics-of-%cf%86sdl/2017-09-28T13:43:17+02:00https://lgps.sites.uu.nl/preprint/a-proof-checked-verification-of-a-real-time-communication-protocol/2017-09-28T13:43:17+02:00https://lgps.sites.uu.nl/preprint/dynamic-bracketing-and-discourse-representation/2017-09-28T13:43:17+02:00https://lgps.sites.uu.nl/preprint/abstract-interpretation-of-reactive-systems-preservation-of-ctl/2017-09-28T13:43:17+02:00https://lgps.sites.uu.nl/preprint/notes-on-local-reflection-principles/2017-09-28T13:43:17+02:00https://lgps.sites.uu.nl/preprint/a-formal-axiomatization-for-alphabet-reasoning-with-parametrized-processes/2017-09-28T13:43:17+02:00https://lgps.sites.uu.nl/preprint/safety-criteria-for-hoorn-kersenboogerd-railway-station/2017-09-28T13:43:17+02:00https://lgps.sites.uu.nl/preprint/the-bakery-protocol-a-comparative-case-study-in-formal-verification/2017-09-28T13:43:17+02:00https://lgps.sites.uu.nl/preprint/confluence-for-process-verification/2017-09-28T13:43:17+02:00https://lgps.sites.uu.nl/preprint/interpreting-reflexive-theories-in-finitely-many-axioms/2017-09-28T13:43:17+02:00https://lgps.sites.uu.nl/preprint/interpretations-over-heytings-arithmetic/2017-09-28T13:43:17+02:00https://lgps.sites.uu.nl/preprint/a-conservative-look-at-term-deduction-systems-with-variable-binding/2017-09-28T13:43:17+02:00https://lgps.sites.uu.nl/preprint/on-the-completeness-of-the-equations-for-the-kleene-star-in-bisimulation/2017-09-28T13:43:17+02:00https://lgps.sites.uu.nl/preprint/focus-points-and-convergent-process-operators-a-proof-strategy-for-protocol-verification/2017-09-28T13:43:20+02:00https://lgps.sites.uu.nl/preprint/contexts-in-dynamic-predicate-logic/2017-09-28T13:43:20+02:00https://lgps.sites.uu.nl/preprint/relational-validity-dynamic-predicate-logic/2017-09-28T13:43:20+02:00https://lgps.sites.uu.nl/preprint/on-the-design-of-a-correct-freeness-analysis-for-logic-programs/2017-09-28T13:43:20+02:00https://lgps.sites.uu.nl/preprint/induction-rules-reflection-principles-and-provably-recursive-functions/2017-09-28T13:43:20+02:00https://lgps.sites.uu.nl/preprint/formalising-lpos-and-invariants-in-coq/2017-09-28T13:43:20+02:00https://lgps.sites.uu.nl/preprint/algebra-of-timed-frames/2017-09-28T13:43:20+02:00https://lgps.sites.uu.nl/preprint/wittgensteins-lebensform-een-terra-incognita/2017-09-28T13:43:20+02:00https://lgps.sites.uu.nl/preprint/over-de-aanspraak-op-onafhankelijke-morele-maatstaven/2017-09-28T13:43:20+02:00https://lgps.sites.uu.nl/preprint/an-axiomatisation-of-strong-negation-and-relational-composition/2017-09-28T13:43:20+02:00https://lgps.sites.uu.nl/preprint/specification-and-implementation-of-components-of-a-%ce%bccrl-toolbox/2017-09-28T13:43:20+02:00https://lgps.sites.uu.nl/preprint/termination-modulo-equations-by-abstract-commutation-with-an-application-to-iteration/2017-09-28T13:43:20+02:00https://lgps.sites.uu.nl/preprint/on-automating-process-algebra-proofs/2017-09-28T13:43:20+02:00https://lgps.sites.uu.nl/preprint/a-logic-for-signal-inserted-timed-frames/2017-09-28T13:43:20+02:00https://lgps.sites.uu.nl/preprint/bisimulation-respecting-first-order-operations/2017-09-28T13:43:20+02:00https://lgps.sites.uu.nl/preprint/dynamics/2017-09-28T13:43:20+02:00https://lgps.sites.uu.nl/preprint/isomorphisms-of-diagonalizable-algebras/2017-09-28T13:43:20+02:00https://lgps.sites.uu.nl/preprint/a-decision-support-system-for-the-maintenance-of-lights-of-traffic-regulation-systems/2017-09-28T13:43:20+02:00https://lgps.sites.uu.nl/preprint/a-calculus-for-sequential-logic-with-4-values/2017-09-28T13:43:20+02:00https://lgps.sites.uu.nl/preprint/bisimulations-model-descriptions-and-propositional-quantifiers/2017-09-28T13:43:20+02:00https://lgps.sites.uu.nl/preprint/operational-semantics-of-term-rewriting-with-priorities/2017-09-28T13:43:24+02:00https://lgps.sites.uu.nl/preprint/generalizing-hamming-distance-to-finite-sets/2017-09-28T13:43:24+02:00https://lgps.sites.uu.nl/preprint/correct-transformation-of-rewrite-systems-for-implementation-purposes/2017-09-28T13:43:24+02:00https://lgps.sites.uu.nl/preprint/uniform-interpolation-automata-and-the-modal-%ce%bc-calculus/2017-09-28T13:43:24+02:00https://lgps.sites.uu.nl/preprint/diagram-techniques-for-confluence/2017-09-28T13:43:24+02:00https://lgps.sites.uu.nl/preprint/an-axiomatization-for-the-terminal-cycle/2017-09-28T13:43:24+02:00https://lgps.sites.uu.nl/preprint/induction-rules-reflection-principles-and-provably-recursive-functions-2/2017-09-28T13:43:24+02:00https://lgps.sites.uu.nl/preprint/weakly-associative-relation-algebras-with-polyadic-composition-operations/2017-09-28T13:43:24+02:00https://lgps.sites.uu.nl/preprint/safety-for-bisimulation-in-monadic-second-order-logic/2017-09-28T13:43:24+02:00https://lgps.sites.uu.nl/preprint/parameter-free-induction-and-reflection/2017-09-28T13:43:24+02:00https://lgps.sites.uu.nl/preprint/equational-axioms-of-test-algebra/2017-09-28T13:43:24+02:00https://lgps.sites.uu.nl/preprint/verifying-relay-circuits-using-state-machines/2017-09-28T13:43:24+02:00https://lgps.sites.uu.nl/preprint/an-overview-of-interpretability-logic/2017-09-28T13:43:24+02:00https://lgps.sites.uu.nl/preprint/a-bibliography-of-l-e-j-brouwer/2017-09-28T13:43:24+02:00https://lgps.sites.uu.nl/preprint/brouwer-and-fraenkel/2017-09-28T13:43:24+02:00https://lgps.sites.uu.nl/preprint/q-algebras/2017-09-28T13:43:24+02:00https://lgps.sites.uu.nl/preprint/prolegomena-to-the-definition-of-dynamic-predicate-logic-with-local-assignments/2017-09-28T13:43:24+02:00https://lgps.sites.uu.nl/preprint/dynamic-negation-the-one-and-only/2017-09-28T13:43:24+02:00https://lgps.sites.uu.nl/preprint/empiricist-semantics-and-indeterminacies-of-reference/2017-09-28T13:43:24+02:00https://lgps.sites.uu.nl/preprint/using-the-tools-in-trade-i-a-decision-support-system-for-traffic-light-maintenance/2017-09-28T13:43:24+02:00https://lgps.sites.uu.nl/preprint/inference-to-the-best-explanation-is-coherent/2017-09-28T13:43:29+02:00https://lgps.sites.uu.nl/preprint/zermelo-and-the-skolem-paradox/2017-09-28T13:43:29+02:00https://lgps.sites.uu.nl/preprint/modal-logic-of-projective-geometries-of-finite-dimension/2017-09-28T13:43:29+02:00https://lgps.sites.uu.nl/preprint/interpretability-over-peano-arithmetic/2017-09-28T13:43:29+02:00https://lgps.sites.uu.nl/preprint/rules-and-arithmetics/2017-09-28T13:43:29+02:00https://lgps.sites.uu.nl/preprint/clausification-in-coq/2017-09-28T13:43:29+02:00https://lgps.sites.uu.nl/preprint/the-donkey-and-the-monoid-dynamic-semantics-with-control-elements/2017-09-28T13:43:29+02:00https://lgps.sites.uu.nl/preprint/submodels-of-kripke-models/2017-09-28T13:43:29+02:00https://lgps.sites.uu.nl/preprint/a-note-on-global-descriptivism-and-putnams-model-theoretic-argument/2017-09-28T13:43:29+02:00https://lgps.sites.uu.nl/preprint/earman-on-underdetermination-and-empirical-indistinguishability/2017-09-28T13:43:29+02:00https://lgps.sites.uu.nl/preprint/algebras-for-boolean-presuppositions/2017-09-28T13:43:29+02:00https://lgps.sites.uu.nl/preprint/a-modal-analysis-of-some-principles-of-the-provability-logic-of-heyting-arithmetic/2017-09-28T13:43:29+02:00https://lgps.sites.uu.nl/preprint/putnams-model-theoretic-argument-reconstructed/2017-09-28T13:43:29+02:00https://lgps.sites.uu.nl/preprint/a-critique-of-putnams-principle-of-the-benefit-of-doubt/2017-09-28T13:43:29+02:00https://lgps.sites.uu.nl/preprint/specification-and-validation-of-telecommunication-services-in-acpt/2017-09-28T13:43:29+02:00https://lgps.sites.uu.nl/preprint/the-interpretability-logic-of-all-reasonable-arithmetical-theories-the-new-conjecture/2017-09-28T13:43:29+02:00https://lgps.sites.uu.nl/preprint/process-algebra-with-timing-real-time-and-discrete-time/2017-09-28T13:43:29+02:00https://lgps.sites.uu.nl/preprint/arguments-for-the-continuity-principle/2017-09-28T13:43:29+02:00https://lgps.sites.uu.nl/preprint/real-time-process-algebra-with-time-dependent-conditions/2017-09-28T13:43:29+02:00https://lgps.sites.uu.nl/preprint/on-the-admissible-rules-of-intuitionistic-propositional-logic/2017-09-28T13:43:29+02:00https://lgps.sites.uu.nl/preprint/variable-binding-operators-in-transition-system-specifications/2017-09-28T13:43:32+02:00https://lgps.sites.uu.nl/preprint/the-irreflexivity-of-brouwers-philosophy/2017-09-28T13:43:32+02:00https://lgps.sites.uu.nl/preprint/why-husserl-should-have-been-a-strong-revisionist-in-mathematics/2017-09-28T13:43:32+02:00https://lgps.sites.uu.nl/preprint/on-the-induction-schema-for-decidable-predicates/2017-09-28T13:43:32+02:00https://lgps.sites.uu.nl/preprint/on-the-query-complexity-of-finding-a-local-maximum-point/2017-09-28T13:43:32+02:00https://lgps.sites.uu.nl/preprint/sub-birkhoff/2017-09-28T13:43:32+02:00https://lgps.sites.uu.nl/preprint/provability-algebras-and-proof-theoretic-ordinals-i/2017-09-28T13:43:32+02:00https://lgps.sites.uu.nl/preprint/fifth-international-workshop-on-termination-wst-0l/2017-09-28T13:43:32+02:00https://lgps.sites.uu.nl/preprint/proceedings-of-the-fourth-workshop-on-explicit-substitutions-theory-and-applications-westapp-01/2017-09-28T13:43:32+02:00https://lgps.sites.uu.nl/preprint/brouwer-and-weyl-the-phenomenology-and-mathematics-of-the-intuitive-continuum/2017-09-28T13:43:32+02:00https://lgps.sites.uu.nl/preprint/operational-conservativity-with-binding-terms/2017-09-28T13:43:32+02:00https://lgps.sites.uu.nl/preprint/revisiting-timing-in-process-algebra/2017-09-28T13:43:32+02:00https://lgps.sites.uu.nl/preprint/process-algebra-with-nonstandard-timing/2017-09-28T13:43:32+02:00https://lgps.sites.uu.nl/preprint/a-new-equivalence-for-processes-with-timing-with-an-application-to-protocol-verification/2017-09-28T13:43:32+02:00https://lgps.sites.uu.nl/preprint/faith-falsity-a-study-of-faithful-interpretations-and-false-%cf%8301-sentences/2017-09-28T13:43:32+02:00https://lgps.sites.uu.nl/preprint/two-proofs-of-parsons-theorem/2017-09-28T13:43:32+02:00https://lgps.sites.uu.nl/preprint/the-closed-fragment-of-the-interpretability-logic-of-pra-with-a-constant-for-i%cf%831/2017-09-28T13:43:32+02:00https://lgps.sites.uu.nl/preprint/the-worm-principle/2017-09-28T13:43:32+02:00https://lgps.sites.uu.nl/preprint/no-escape-from-vardanyans-theorem/2017-09-28T13:43:32+02:00https://lgps.sites.uu.nl/preprint/residuals-in-higher-order-rewriting/2017-09-28T13:43:32+02:00https://lgps.sites.uu.nl/preprint/quantifier-free-induction-schema-and-the-least-element-principle/2017-09-28T13:43:36+02:00https://lgps.sites.uu.nl/preprint/godels-theorem/2017-09-28T13:43:36+02:00https://lgps.sites.uu.nl/preprint/on-the-limit-existence-principles-in-elementary-arithmetic-and-related-topics/2017-09-28T13:43:36+02:00https://lgps.sites.uu.nl/preprint/process-algebra-for-hybrid-systems/2017-09-28T13:43:36+02:00https://lgps.sites.uu.nl/preprint/modal-matters-in-interpretability-logics/2017-09-28T13:43:36+02:00https://lgps.sites.uu.nl/preprint/axioms-for-snabok-a-system-and-network-administration-body-of-knowledge-missing-link-stage-of-ontology-process/2017-09-28T13:43:36+02:00https://lgps.sites.uu.nl/preprint/categories-of-theories-and-interpretations/2017-09-28T13:43:36+02:00https://lgps.sites.uu.nl/preprint/continuity-controlled-hybrid-automata/2017-09-28T13:43:36+02:00https://lgps.sites.uu.nl/preprint/execution-architectures-for-program-algebra/2017-09-28T13:43:36+02:00https://lgps.sites.uu.nl/preprint/machine-function-based-control-code-algebras/2017-09-28T13:43:36+02:00https://lgps.sites.uu.nl/preprint/veblen-hierarchy-in-the-context-of-provability-algebras/2017-09-28T13:43:36+02:00https://lgps.sites.uu.nl/preprint/linear-projective-program-syntax/2017-09-28T13:43:36+02:00https://lgps.sites.uu.nl/preprint/provability-logic/2017-09-28T13:43:36+02:00https://lgps.sites.uu.nl/preprint/problems-in-the-logic-of-provability/2017-09-28T13:43:36+02:00https://lgps.sites.uu.nl/preprint/reflection-principles-and-provability-algebras-in-formal-arithmetic/2017-09-28T13:43:36+02:00https://lgps.sites.uu.nl/preprint/admissible-rules-of-modal-logics/2017-09-28T13:43:36+02:00https://lgps.sites.uu.nl/preprint/on-kripke-style-semantics-for-the-provability-logic-of-godels-proof-predicate-with-quantifiers-on-proofs/2017-09-28T13:43:36+02:00https://lgps.sites.uu.nl/preprint/negative-operations-on-proofs-and-labels/2017-09-28T13:43:36+02:00https://lgps.sites.uu.nl/preprint/a-finitary-treatment-of-the-closed-fragment-of-japaridzes-provability-logic/2017-09-28T13:43:36+02:00https://lgps.sites.uu.nl/preprint/vardanyans-theorem-for-extensions-of-i%cf%831/2017-09-28T13:43:36+02:00https://lgps.sites.uu.nl/preprint/relative-interpretations-in-constructive-arithmetic/2017-09-28T13:43:40+02:00https://lgps.sites.uu.nl/preprint/propositional-logics-of-closed-and-open-substitutions-over-heytings-arithmetic/2017-09-28T13:43:40+02:00https://lgps.sites.uu.nl/preprint/modeling-relations/2017-09-28T13:43:40+02:00https://lgps.sites.uu.nl/preprint/a-proof-of-finite-family-developments-for-higher-order-rewriting-using-a-prefix-property/2017-09-28T13:43:40+02:00https://lgps.sites.uu.nl/preprint/the-predicative-frege-hierarchy/2017-09-28T13:43:40+02:00https://lgps.sites.uu.nl/preprint/propositional-proof-systems-and-fast-consistency-provers/2017-09-28T13:43:40+02:00https://lgps.sites.uu.nl/preprint/a-quest-for-canonical-positional-models/2017-09-28T13:43:40+02:00https://lgps.sites.uu.nl/preprint/prolegomena-to-the-categorical-study-of-interpretations/2017-09-28T13:43:40+02:00https://lgps.sites.uu.nl/preprint/proof-theory-for-admissible-rules/2017-09-28T13:43:40+02:00https://lgps.sites.uu.nl/preprint/pairs-sets-and-sequences-in-first-order-theories/2017-09-28T13:43:40+02:00https://lgps.sites.uu.nl/preprint/model-theory-of-the-reflection-scheme/2017-09-28T13:43:40+02:00https://lgps.sites.uu.nl/preprint/regular-ultrafilters-and-finite-square-principles/2017-09-28T13:43:40+02:00https://lgps.sites.uu.nl/preprint/graph-rewriting-for-natural-deduction-and-the-proper-treatment-of-variables/2017-09-28T13:43:40+02:00https://lgps.sites.uu.nl/preprint/two-moments-in-the-philosophical-life-of-kurt-godel/2017-09-28T13:43:40+02:00https://lgps.sites.uu.nl/preprint/on-skolemization-in-constructive-theories/2017-09-28T13:43:40+02:00https://lgps.sites.uu.nl/preprint/growing-commas-a-study-of-sequentiality-and-concatenation/2017-09-28T13:43:40+02:00https://lgps.sites.uu.nl/preprint/decorated-linear-order-types-and-the-theory-of-concatenation/2017-09-28T13:43:40+02:00https://lgps.sites.uu.nl/preprint/closed-fragments-of-provability-logics-of-constructive-theories/2017-09-28T13:43:40+02:00https://lgps.sites.uu.nl/preprint/kripke-semantics-for-provability-logic-glp/2017-09-28T13:43:40+02:00https://lgps.sites.uu.nl/preprint/primitive-recursive-realizability-and-basic-propositional-logic/2017-09-28T13:43:40+02:00https://lgps.sites.uu.nl/preprint/on-the-craig-interpolation-and-the-fixed-point-property-for-glp/2017-09-28T13:43:43+02:00https://lgps.sites.uu.nl/preprint/on-skolemization-in-constructive-theories-2/2017-09-28T13:43:43+02:00https://lgps.sites.uu.nl/preprint/imperatives-as-semantic-primitives/2017-09-28T13:43:43+02:00https://lgps.sites.uu.nl/preprint/cardinal-arithmetic-in-weak-theories/2017-09-28T13:43:43+02:00https://lgps.sites.uu.nl/preprint/%cf%89-models-of-finite-set-theory/2017-09-28T13:43:43+02:00https://lgps.sites.uu.nl/preprint/can-we-make-the-second-incompleteness-theorem-coordinate-free/2017-09-28T13:43:43+02:00https://lgps.sites.uu.nl/preprint/productivity-of-stream-definitions/2017-09-28T13:43:43+02:00https://lgps.sites.uu.nl/preprint/intuitionistic-logic-of-proofs/2017-09-28T13:43:43+02:00https://lgps.sites.uu.nl/preprint/hypersequent-systems-for-the-admissible-rules-of-modal-and-intermediate-logics/2017-09-28T13:43:43+02:00https://lgps.sites.uu.nl/preprint/the-varpakhovskh-calculus-and-markov-arithmetic/2017-09-28T13:43:43+02:00https://lgps.sites.uu.nl/preprint/cardinal-arithmetic-in-the-style-of-baron-von-munchhausen/2017-09-28T13:43:43+02:00https://lgps.sites.uu.nl/preprint/eskolemization-in-intuitionistic-logic/2017-09-28T13:43:43+02:00https://lgps.sites.uu.nl/preprint/proof-theory-for-admissible-rules-2/2017-09-28T13:43:43+02:00https://lgps.sites.uu.nl/preprint/brouwers-%ce%b5-fixed-point-from-sperners-lemma/2017-09-28T13:43:43+02:00https://lgps.sites.uu.nl/preprint/kripke-models-for-subtheories-of-czf/2017-09-28T13:43:43+02:00https://lgps.sites.uu.nl/preprint/the-eskolemization-of-universal-quantifiers/2017-09-28T13:43:43+02:00https://lgps.sites.uu.nl/preprint/on-topological-models-of-glp/2017-09-28T13:43:43+02:00https://lgps.sites.uu.nl/preprint/why-the-theory-r-is-special/2017-09-28T13:43:43+02:00https://lgps.sites.uu.nl/preprint/on-the-termination-of-russels-description-elimination-algorithm/2017-09-28T13:43:43+02:00https://lgps.sites.uu.nl/preprint/intermediate-logics-and-the-de-jongh-property/2017-09-28T13:43:43+02:00https://lgps.sites.uu.nl/preprint/ordinal-completeness-of-bimodal-provability-logic-glb/2017-09-28T13:43:47+02:00https://lgps.sites.uu.nl/preprint/humes-principle-beginnings/2017-09-28T13:43:47+02:00https://lgps.sites.uu.nl/preprint/higher-order-non-modularity/2017-09-28T13:43:47+02:00https://lgps.sites.uu.nl/preprint/relational-complexes/2017-09-28T13:43:47+02:00https://lgps.sites.uu.nl/preprint/expressive-power-of-digraph-solvability/2017-09-28T13:43:47+02:00https://lgps.sites.uu.nl/preprint/vaughts-theorem-on-axiomatizability-by-a-scheme/2017-09-28T13:43:47+02:00https://lgps.sites.uu.nl/preprint/what-is-the-right-notion-of-sequentiality/2017-09-28T13:43:47+02:00https://lgps.sites.uu.nl/preprint/nonstandard-models-of-arithmetic-course-notes-utrecht-fall-1978/2017-09-28T13:43:47+02:00https://lgps.sites.uu.nl/preprint/a-simplified-proof-of-arithmetical-completeness-theorem-for-provability-logic-glp/2017-09-28T13:43:47+02:00https://lgps.sites.uu.nl/preprint/krachtige-bewijzen/2017-09-28T13:43:47+02:00https://lgps.sites.uu.nl/preprint/triangulation-in-rewriting/2017-09-28T13:43:47+02:00https://lgps.sites.uu.nl/preprint/the-arithmetics-of-a-theory/2017-09-28T13:43:47+02:00https://lgps.sites.uu.nl/preprint/automatic-sequences-and-zip-specifications/2017-09-28T13:43:47+02:00https://lgps.sites.uu.nl/preprint/unification-in-transitive-reflexive-modal-logics/2017-09-28T13:43:47+02:00https://lgps.sites.uu.nl/preprint/unification-in-intermediate-logics/2017-09-28T13:43:47+02:00https://lgps.sites.uu.nl/preprint/on-unification-and-admissible-rules-in-gabbay-de-jongh-logics/2017-09-28T13:43:47+02:00https://lgps.sites.uu.nl/preprint/peano-basso-and-peano-corto/2017-09-28T13:43:47+02:00https://lgps.sites.uu.nl/preprint/a-note-on-extensions-admissible-rules-via-semantics/2017-09-28T13:43:47+02:00https://lgps.sites.uu.nl/preprint/cifol-case-intensional-first-order-logic-i-toward-a-theory-of-sorts/2017-09-28T13:43:47+02:00https://lgps.sites.uu.nl/preprint/interpretability-degrees-of-finitely-axiomatized-sequential-theories/2017-09-28T13:43:47+02:00https://lgps.sites.uu.nl/preprint/free-modal-algebras-revisited-the-step-by-step-method/2017-09-28T13:43:51+02:00https://lgps.sites.uu.nl/preprint/new-constructions-of-satisfaction-classes/2017-09-28T13:43:51+02:00https://lgps.sites.uu.nl/preprint/on-rules/2017-09-28T13:43:51+02:00https://lgps.sites.uu.nl/preprint/locally-finite-reducts-of-heyting-algebras-and-canonical-formulas/2017-09-28T13:43:51+02:00https://lgps.sites.uu.nl/preprint/the-bounded-proof-property-via-step-algebras-and-step-frames/2017-09-28T13:43:51+02:00https://lgps.sites.uu.nl/preprint/a-logic-of-natural-relations/2017-09-28T13:43:51+02:00https://lgps.sites.uu.nl/preprint/structures-for-epistemic-logic/2017-09-28T13:43:51+02:00https://lgps.sites.uu.nl/preprint/duality-non-standard-elements-and-dynamic-properties-of-r-e-sets/2017-09-28T13:43:51+02:00https://lgps.sites.uu.nl/preprint/nnil-and-onnilli/2017-09-28T13:43:51+02:00https://lgps.sites.uu.nl/preprint/bolzanos-concept-of-grounding-abfolge-against-the-background-of-normal-proofs/2017-09-28T13:43:51+02:00https://lgps.sites.uu.nl/preprint/revision-without-ordinals/2017-09-28T13:43:51+02:00https://lgps.sites.uu.nl/preprint/the-admissible-rules-of-bd2-and-gsc/2017-09-28T13:43:51+02:00https://lgps.sites.uu.nl/preprint/a-note-on-consequence/2017-09-28T13:43:51+02:00https://lgps.sites.uu.nl/preprint/admissibility-and-refutation-some-characterisations-of-intermediate-logics/2017-09-28T13:43:51+02:00https://lgps.sites.uu.nl/preprint/self-reference-in-arithmetic/2017-09-28T13:43:51+02:00https://lgps.sites.uu.nl/preprint/the-henkin-sentence/2017-09-28T13:43:51+02:00https://lgps.sites.uu.nl/preprint/the-interpretability-of-inconsistency-fefermans-theorem-and-related-results/2017-09-28T13:43:51+02:00https://lgps.sites.uu.nl/preprint/jumping-in-arithmetic/2017-09-28T13:43:51+02:00https://lgps.sites.uu.nl/preprint/when-bi-interpretability-implies-synonymy/2020-03-09T10:08:04+01:00https://lgps.sites.uu.nl/preprint/finite-frames-fail-how-infinity-works-its-way-into-the-semantics-of-admissibility/2020-03-09T10:07:45+01:00https://lgps.sites.uu.nl/preprint/on-a-problem-of-friedman-and-its-solution-by-rybakov-decidability-of-the-admissible-rules-in-intuitionistic-propositional-logic/2020-03-09T10:04:32+01:00https://lgps.sites.uu.nl/preprint/skolemization-in-intermediate-logics-of-finite-width/2020-03-09T10:04:09+01:00https://lgps.sites.uu.nl/preprint/oracle-bites-theory/2020-03-09T10:02:52+01:00https://lgps.sites.uu.nl/preprint/preprint325/2020-03-09T10:02:36+01:00https://lgps.sites.uu.nl/preprint/on-the-recognition-of-admissibility-of-some-rules-in-intuitionistic-logic/2020-03-09T10:03:29+01:00https://lgps.sites.uu.nl/preprint/on-a-modal-logic-of-intuitionistic-admissibility/2020-03-09T10:03:18+01:00https://lgps.sites.uu.nl/preprint/remarks-on-simple-proofs/2020-03-09T10:03:12+01:00https://lgps.sites.uu.nl/preprint/extension-and-interpretability/2017-09-28T13:43:55+02:00https://lgps.sites.uu.nl/preprint/on-q/2020-03-09T10:04:49+01:00https://lgps.sites.uu.nl/preprint/coordinate-free-logic/2017-09-28T13:43:55+02:00https://lgps.sites.uu.nl/preprint/on-structural-completeness-of-tabular-superintuitionistic-logics/2017-09-28T13:43:55+02:00https://lgps.sites.uu.nl/preprint/interpretability-suprema-in-peano-artithmetic/2017-09-28T13:43:55+02:00https://lgps.sites.uu.nl/preprint/on-the-existence-of-alternative-skolemization-methods/2020-03-09T10:06:47+01:00https://lgps.sites.uu.nl/preprint/structural-completeness-in-propositional-logics-of-dependence/2020-03-09T10:06:28+01:00https://lgps.sites.uu.nl/preprint/intuitionistic-modal-logics-and-dyckhoffs-calculus/2020-03-09T10:06:01+01:00https://lgps.sites.uu.nl/preprint/uniform-interpolation-and-the-existence-of-sequent-calculi/2020-03-09T10:05:44+01:00https://lgps.sites.uu.nl/preprint/questions-and-dependency-in-intuitionistic-logic/2017-09-28T13:43:55+02:00https://lgps.sites.uu.nl/preprint/another-look-at-the-second-incompleteness-theorem/2020-03-09T10:05:17+01:00https://lgps.sites.uu.nl/preprint/lgps_340/2020-03-09T10:03:53+01:00