Index

320

«When Bi-Interpretability Implies Synonymy»

igitur archive H.M. Friedman A. Visser January 2014
319

«Jumping in Arithmetic»

igitur archive A. Visser January 2014
318

«The Interpretability of Inconsistency: Feferman's Theorem and Related Results»

igitur archive A. Visser January 2014
317

«The Henkin Sentence»

igitur archive V. Halbach A. Visser January 2014
316

«Self-Reference in Arithmetic»

igitur archive V. Halbach A. Visser 15 December 2013
315

«Admissibility and Refutation: Some Characterisations of Intermediate Logics»

igitur archive J. Goudsmit 22 November 2013
314

«A note on consequence»

igitur archive R. Iemhoff September 2013
313

«The Admissible Rules of BD2 and GSc»

igitur archive J. Goudsmit August 2013
312

«Revision without ordinals»

igitur archive E. Rivello August 2013
311

«Bolzano’s Concept of Grounding (Abfolge) against the Background of Normal Proofs»

igitur archive A. Rumberg August 2013
310

«NNIL and ONNILLI»

igitur archive N. Bezhanishvili D.H.J. de Jongh
309

«Duality, non-standard elements, and dynamic properties of r.e. sets»

igitur archive V.Yu. Shavrukov
308

«Structures for Epistemic Logic»

igitur archive N. Bezhanishvili W. van der Hoek May 2013
307

«A logic of natural relations»

igitur archive J. Leo April 25, 2013
306

«The bounded proof property via step algebras and step frames»

igitur archive N. Bezhanishvili S. Ghilardi April 15 2013
305

«Locally Finite Reducts of Heyting Algebras and Canonical Formulas»

igitur archive G. Bezhanishvili N. Bezhanishvili March 2013
304

«On Rules»

igitur archive R. Iemhoff March 18 2013
303

«New Constructions of Satisfaction Classes»

igitur archive A. Enayat A. Visser February 8 2013
302

«Free Modal Algebras Revisited: The Step-by-Step Method»

igitur archive N. Bezhanishvili S. Ghilardi M. Jibladze November 19 2012
301

«Interpretability Degrees of Finitely Axiomatized Sequential Theories»

igitur archive A. Visser October 23 2012
300

«CIFOL: Case-intensional first order logic. (I) Toward a theory of sorts»

igitur archive N. Belnap T. Müller October 2012
299

«A Note on Extensions: Admissible Rules via Semantics»

igitur archive J. Goudsmit September 12 2012
298

«Peano Basso and Peano Corto»

igitur archive A. Visser August 20 2012
297

«On unification and admissible rules in Gabbay-de Jongh logics»

igitur archive J. Goudsmit R. Iemhoff June 25 2012
296

«Unification in intermediate logics»

igitur archive R. Iemhoff P. Rozière April 3 2012
295

«Unification in transitive reflexive modal logics»

igitur archive R. Iemhoff February 2 2012
294

«Automatic Sequences and Zip-Specifications»

igitur archive C.A. Grabmayer J. Endrullis D. Hendriks J.W. Klop L.S. Moss March 20 2012
293

«Arithmetics of a Theory»

igitur archive A. Visser March 8 2012
292

«Triangulation in rewriting»

igitur archive V. van Oostrom H. Zantema January 2012
291

«Krachtige Bewijzen»

igitur archive R. Iemhoff November 2011
290

«A simplified proof of arithmetical completeness theorem for provability logic GLP»

igitur archive L. Beklemishev March 2011
289

«Nonstandard models of arithmetic : course notes Utrecht, Fall 1978»

igitur archive C. Smoryński Fall 1978
288

«What is the right notion of sequentiality?»

igitur archive A. Visser December 2010
287

«Vaught's theorem on axiomatizability by a scheme»

igitur archive A. Visser November 2010
286

«Expressive power of digraph solvability»

igitur archive M. Walicki C.A. Grabmayer M.A. Bezem October 2010
285

«Relational complexes»

igitur archive J. Leo September 2010
284

«Higher-order (non-)modularity»

igitur archive C. Appel V. van Oostrom J.G. Simonsen July 2010
283

«Hume's Principle, beginnings»

igitur archive A. Visser June 2010
282

«Ordinal completeness of bimodal provability logic GLB»

igitur archive L. Beklemishev March 2010
281

«Intermediate logics and the de Jongh property»

igitur archive D.H.J. de Jongh R. Verbrugge A. Visser February 2010
280

«On the termination of Russel's description elimination algorithm»

igitur archive C.A. Grabmayer J. Leo V. van Oostrom A. Visser November 2009
279

«Why the theory R is special»

igitur archive A. Visser August 2009
278

«On topological models of GLP»

igitur archive L. Beklemishev G. Bezhanishvili T. Icard August 2009
277

«The eskolemization of universal quantifiers»

igitur archive R. Iemhoff June 2009
276

«Kripke models for subtheories of CZF»

igitur archive R. Iemhoff June 2009
275

«Brouwer's ε-fixed point from Sperner's lemma»

igitur archive D. van Dalen June 2009
274

«Proof theory for admissible rules»

igitur archive R. Iemhoff G. Metcalfe April 2009
273

«Eskolemization in intuitionistic logic»

igitur archive M. Baaz R. Iemhoff April 2009
272

«Cardinal arithmetic in the style of Baron von Münchhausen»

igitur archive A. Visser February 2009
271

«The Varpakhovskh calculus and Markov arithmetic»

igitur archive V. Plisko February 2009
270

«Hypersequent systems for the admissible rules of modal and intermediate logics»

igitur archive R. Iemhoff G. Metcalfe November 2008
269

«Intuitionistic logic of proofs»

igitur archive E. Dashkov November 2008 (refined in May 2009)
268

«Productivity of stream definitions»

igitur archive J. Endrullis C.A. Grabmayer D. Hendriks A. Isihara J.W. Klop November 2008
267

«Can we make the second incompleteness theorem coordinate free?»

igitur archive A. Visser October 2008
266

«ω-Models of finite set theory»

igitur archive A. Enayat J. Schmerl A. Visser June 2008
265

«Cardinal arithmetic in weak theories»

igitur archive A. Visser April 2008
264

«Imperatives as semantic primitives»

igitur archive R.J. Mastop February 2008
263

«On Skolemization in constructive theories»

igitur archive M. Baaz R. Iemhoff February 2008
262

«On the Craig interpolation and the fixed point property for GLP»

igitur archive L. Beklemishev December 2007
261

«Primitive recursive realizability and basic propositional logic»

igitur archive V. Plisko October 2007
260

«Kripke semantics for provability logic GLP»

igitur archive L. Beklemishev October 2007
259

«Closed fragments of provability logics of constructive theories»

igitur archive A. Visser October 2007
258

«Decorated linear order types and the theory of concatenation»

igitur archive V. Cacic P. Pudlák G. Restall A. Urquhart A. Visser October 2007
257

«Growing commas. A study of sequentiality and concatenation»

igitur archive A. Visser September 2007
256

«On Skolemization in constructive theories»

igitur archive M. Baaz R. Iemhoff February 2008
255

«Two moments in the philosophical life of Kurt Gödel»

igitur archive J. Kennedy July 2007
254

«Graph rewriting for natural deduction and the proper treatment of variables»

igitur archive W. Heijltjes July 2007
253

«Regular ultrafilters and finite square principles»

igitur archive J. Kennedy S. Shelah J. Väänänen June 2007
252

«Model theory of the reflection scheme»

igitur archive A. Enayat S. Mohsenipour May 2007
251

«Pairs, sets and sequences in first order theories»

igitur archive A. Visser February 2007
250

«Proof theory for admissible rules»

igitur archive R. Iemhoff G. Metcalfe February 2007
249

«Prolegomena to the categorical study of interpretations»

igitur archive A. Visser November 2006
248

«A quest for canonical positional models»

igitur archive J. Leo October 2006
247

«Propositional proof systems and fast consistency provers»

igitur archive J.J. Joosten August 2006
246

«The predicative Frege hierarchy»

igitur archive A. Visser September 2006
245

«A proof of finite family developments for higher-order rewriting using a prefix property»

igitur archive H.J.S. Bruggink July 2006
244

«Modeling relations»

igitur archive J. Leo November 2005
243

«Propositional logics of closed and open substitutions over Heyting's Arithmetic»

igitur archive A. Visser October 2005
242

«Relative interpretations in constructive arithmetic»

igitur archive A. Visser September 2005
241

«Vardanyan’s theorem for extensions of IΣ1»

igitur archive M. de Jonge September 2005
240

«A finitary treatment of the closed fragment of Japaridze's provability logic»

igitur archive L. Beklemishev J.J. Joosten M. Vervoort June 2005
239

«Negative operations on proofs and labels»

igitur archive T. Yavorskaya-Sidon June 2005
238

«On Kripke-style semantics for the provability logic of Gödel’s proof predicate with quantifiers on proofs»

igitur archive R. Yavorskiy June 2005
237

«Admissible rules of modal logics»

igitur archive E. Jeřábek May 2005
236

«Reflection principles and provability algebras in formal arithmetic»

igitur archive L. Beklemishev May 2005
235

«Problems in the Logic of Provability»

igitur archive L. Beklemishev A. Visser May 2005
234

«Provability Logic»

igitur archive S.N. Artemov L. Beklemishev November 2004
233

«Linear Projective Program Syntax»

igitur archive J.A. Bergstra I. Bethke October 2004
232

«Veblen hierarchy in the context of provability algebras»

igitur archive L. Beklemishev June 2004
231

«Machine function based control code algebras»

igitur archive J.A. Bergstra June 2004
230

«Execution Architectures for Program Algebra»

igitur archive J.A. Bergstra A. Ponse June 2004
229

«Continuity controlled Hybrid Automata»

igitur archive J.A. Bergstra C.A. Middelburg May 2004
228

«Categories of theories and interpretations»

igitur archive A. Visser April 2004
227

«Axioms for SNABOK, a System and Network Administration Body of Knowledge : missing link stage of ontology process»

igitur archive J.A. Bergstra April 2004
226

«Modal matters in interpretability logics»

igitur archive E. Goris J.J. Joosten March 2004
225

«Process algebra for Hybrid systems»

igitur archive J.A. Bergstra C.A. Middelburg March 2004
224

«On the limit existence principles in elementary arithmetic and related topics»

igitur archive L. Beklemishev A. Visser February 2004
223

«Gödel's Theorem»

igitur archive D. van Dalen June 2003
222

«Quantifier-free induction schema and the least element principle»

igitur archive L. Beklemishev April 2003
221

«Residuals in Higher-Order Rewriting»

igitur archive H.J.S. Bruggink April 2003
220

«No escape from Vardanyan's Theorem»

igitur archive A. Visser April 2003
219

«The Worm principle»

igitur archive L. Beklemishev March 2003
218

«The closed fragment of the interpretability logic of PRA with a constant for IΣ1»

igitur archive J.J. Joosten February 2003
217

«Two proofs of Parsons' Theorem»

igitur archive J.J. Joosten November 2002
216

«Faith & Falsity. A study of faithful interpretations and false Σ01-sentences»

igitur archive A. Visser October 2002
215

«A new equivalence for processes with timing. With an application to protocol verification»

igitur archive J.C.M. Baeten C.A. Middelburg M.A. Reniers October 2002
214

«Process algebra with nonstandard timing»

igitur archive C.A. Middelburg June 2002
213

«Revisiting timing in process algebra»

igitur archive C.A. Middelburg January 2002
212

«Operational conservativity with binding terms»

igitur archive C.A. Middelburg October 1989
211

«Brouwer and Weyl: The phenomenology and mathematics of the intuitive continuum»

igitur archive M. van Atten D. van Dalen R. Tieszen April 2001
210

«Proceedings of the Fourth Workshop on Explicit Substitutions Theory and Applications (WESTAPP '01)»

igitur archive P. Lescanne May 2001
209

«Fifth International Workshop on Termination (WST '01)»

igitur archive N. Dershowitz May 2001
208

«Provability algebras and proof-theoretic ordinals, I»

igitur archive L. Beklemishev March 2001
207

«Sub-Birkhoff»

igitur archive V. van Oostrom December 2000
206

«On the query complexity of finding a local maximum point»

igitur archive A.L. Rastsvelaev L. Beklemishev November 2000
205

«On the induction schema for decidable predicates»

igitur archive L. Beklemishev June 2000
204

«Why Husserl should have been a strong revisionist in mathematics»

igitur archive M. van Atten June 2000
203

«The irreflexivity of Brouwer's philosophy»

igitur archive M. van Atten June 2000
202

«Variable binding operators in transition system specifications»

igitur archive C.A. Middelburg March 2000
201

«On the admissible rules of intuitionistic propositional logic»

igitur archive R. Iemhoff January 2000
200

«Real time process algebra with time-dependent conditions»

igitur archive J.C.M. Baeten C.A. Middelburg January 2000
199

«Arguments for the Continuity Principle»

igitur archive M. van Atten D. van Dalen December 1999
198

«Process algebra with timing: Real time and discrete time»

igitur archive J.C.M. Baeten C.A. Middelburg December 1999
197

«The Interpretability Logic of all Reasonable Arithmetical Theories»

igitur archive J.J. Joosten A. Visser December 1999
196

«Specification and validation of telecommunication services in ACPt»

igitur archive Y. Zhaorui December 1999
195

«A Critique of Putnam's Principle of the Benefit of Doubt»

igitur archive I. Douven June 1999
194

«Putnam's Model-Theoretic Argument Reconstructed»

igitur archive I. Douven June 1999
193

«A modal analysis of some principles of the provability logic of Heyting Arithmetic»

igitur archive R. Iemhoff January 1999
192

«Algebras for Boolean Presuppositions»

igitur archive K. Vermeulen E. Wolters A. Visser November 1998
191

«Earman on Underdetermination and Empirical Indistinguishability»

igitur archive I. Douven L. Horsten November 1998
190

«A Note on Global Descriptivism and Putnam’s Model-Theoretic Argument»

igitur archive I. Douven November 1998
189

«Submodels of Kripke Models»

igitur archive A. Visser October 1998
188

«The Donkey and the Monoid: Dynamic Semantics with Control Elements»

igitur archive A. Visser October 1998
187

«Clausification in Coq»

igitur archive M.A. Bezem D. Hendriks September 1998
186

«Rules and Arithmetics»

igitur archive A. Visser January 2000
185

«Interpretability over Peano arithmetic»

igitur archive C. Strannegård March 1998
184

«Modal Logic of Projective Geometries of Finite Dimension»

igitur archive V. Stebletsova March 1998
183

«Zermelo and the Skolem Paradox»

igitur archive D. van Dalen H.-D. Ebbinghaus February 1998
182

«Inference to the Best Explanation is Coherent»

igitur archive I. Douven February 1998
181

«Using the Tools in TRADE, I: A Decision Support System for Traffic Light Maintenance»

igitur archive S.F.M. van Vlijmen R.J. Wieringa January 1998
180

«Empiricist Semantics and Indeterminacies of Reference»

igitur archive I. Douven December 1997
179

«Dynamic Negation, The One and Only»

igitur archive M. Hollenberg A. Visser December 1997
178

«Prolegomena to the Definition of Dynamic Predicate Logic with Local Assignments»

igitur archive A. Visser October 1997
177

«Q-algebras»

igitur archive V. Stebletsova Y. Venema June 1997
176

«Brouwer and Fraenkel»

igitur archive D. van Dalen May 1997
175

«A bibliography of L.E.J. Brouwer»

igitur archive D. van Dalen May 1997   (Updated in November 2008)
174

«An overview of Interpretability Logic»

igitur archive A. Visser March 1997
173

«Verifying Relay Circuits using State Machines»

igitur archive P.H.J. van Eijk March 1997
172

«Equational axioms of test algebra»

igitur archive M. Hollenberg December 1996
171

«Parameter free induction and reflection»

igitur archive L. Beklemishev November 1996
170

«Safety for bisimulation in monadic second-order logic»

igitur archive M. Hollenberg November 1996
169

«Weakly Associative Relation Algebras with Polyadic Composition Operations»

igitur archive V. Stebletsova October 1996
168

«Induction rules, reflection principles and provably recursive functions»

igitur archive L. Beklemishev September 1996
167

«An Axiomatization for the Terminal Cycle»

igitur archive W.J. Fokkink August 1996
166

«Diagram Techniques for Confluence»

igitur archive M.A. Bezem J.W. Klop V. van Oostrom July 1996
165

«Uniform interpolation, automata and the modal μ-calculus»

igitur archive G. D'Agostino M. Hollenberg May 1996
164

«Correct Transformation of Rewrite Systems for Implementation Purposes»

igitur archive W.J. Fokkink J.C. van de Pol May 1996
163

«Generalizing Hamming distance to finite sets»

igitur archive M.A. Bezem M. Keijzer April 1996
162

«Operational semantics of term rewriting with priorities»

igitur archive J.C. van de Pol April 1996
161

«Bisimulations, model descriptions and propositional quantifiers»

igitur archive A. Visser April 1996
160

«A calculus for sequential logic with 4 values»

igitur archive J.A. Bergstra J.C. van de Pol April 1996
159

«A decision support system for the maintenance of lights of traffic regulation systems»

igitur archive F.A. van der Duyn Schouten A.S. Klusener S.F.M. van Vlijmen S.L.E. Vos de Wael March 1996
158

«Isomorphisms of diagonalizable algebras»

igitur archive V.Yu. Shavrukov March 1996
157

«Dynamics»

igitur archive R. Muskens J. van Benthem A. Visser March 1996
156

«Bisimulation respecting first-order operations»

igitur archive M. Hollenberg February 1996
155

«A logic for signal inserted timed frames»

igitur archive J.A. Bergstra W.J. Fokkink K. Middelburg January 1996
154

«On automating process algebra proofs»

igitur archive H. Korver A. Sellink January 1996
153

«Termination modulo equations by abstract commutation with an application to iteration»

igitur archive W.J. Fokkink H. Zantema January 1996
152

«Specification and implementation of components of a μCRL toolbox»

igitur archive D. Dams J.F. Groote December 1995
151

«An axiomatisation of strong negation and relational composition»

igitur archive M. Hollenberg December 1995
150

«Over de aanspraak op onafhankelijke morele maatstaven»

igitur archive H. Eijzenga November 1995
149

«Wittgensteins ‘Lebensform’: een terra incognita?»

igitur archive H. Eijzenga November 1995
148

«Algebra of timed frames»

igitur archive J.A. Bergstra W.J. Fokkink C.A. Middelburg January 1996
147

«Formalising LPOs and Invariants in Coq»

igitur archive H. Korver A. Sellink November 1995
146

«Induction rules, reflection principles, and provably recursive functions»

igitur archive L. Beklemishev October 1995
145

«On the Design of a Correct Freeness Analysis for Logic Programs»

igitur archive M. Codish D. Dams G. Filé M. Bruynooghe October 1995
144

«Relational Validity & Dynamic Predicate Logic»

igitur archive A. Visser October 1995
143

«Contexts in Dynamic Predicate Logic»

igitur archive A. Visser October 1995
142

«Focus points and convergent process operators (A proof strategy for protocol verification)»

igitur archive J.F. Groote J. Springintveld October 1995
141

«On the Completeness of the Equations for the Kleene Star in Bisimulation»

igitur archive W.J. Fokkink September 1995
140

«A Conservative Look at Term Deduction Systems with Variable Binding»

igitur archive W.J. Fokkink C. Verhoef October 2001
139

«Interpretations over Heyting's Arithmetic»

igitur archive A. Visser July 1995
138

«Interpreting reflexive theories in finitely many axioms»

igitur archive V.Yu. Shavrukov June 1995
137

«Confluence for Process Verification»

igitur archive J.F. Groote M.P.A. Sellink June 1995
136

«The Bakery Protocol: A Comparative Case-Study in Formal Verification»

igitur archive D. Griffioen H. Korver June 1995
135

«Safety Criteria for Hoorn-Kersenboogerd Railway Station»

igitur archive W.J. Fokkink June 1995
134

«A Formal Axiomatization for Alphabet Reasoning with Parametrized Processes»

igitur archive H. Korver June 1995
133

«Notes on local reflection principles»

igitur archive L. Beklemishev May 1995
132

«Abstract interpretation of reactive systems : preservation of CTL*»

igitur archive D. Dams O. Grumberg R. Gerth May 1995
131

«Dynamic Bracketing and Discourse Representation»

igitur archive A. Visser K. Vermeulen March 1995
130

«A Proof-checked Verification of a Real-Time Communication Protocol»

igitur archive I. Polak March 1995
129

«Process Algebra Semantics of φSDL»

igitur archive J.A. Bergstra C.A. Middelburg March 1995
128

«Verifying Modal Formulas over I/O-Automata by means of Type Theory»

igitur archive M.P.A. Sellink February 1995
127

«Binary Decision Diagrams for First Order Predicate Logic»

igitur archive J.F. Groote January 1995
126

«A Complete Axiomatization for Prefix Iteration in Branching Bisimulation»

igitur archive W.J. Fokkink January 1995
125

«Counting Variables in a Dynamic Setting»

igitur archive M. Hollenberg K. Vermeulen December 1994
124

«Hennessy-Milner Classes and Process Algebra»

igitur archive M. Hollenberg November 1994
123

«Process Algebra with Propositional Signals»

igitur archive J.C.M. Baeten J.A. Bergstra November 1994
122

«Network algebra for synchronous and asynchronous dataflow»

igitur archive J.A. Bergstra G. Stefanescu October 1994
121

«The safety guaranteeing system at station Hoorn-Kersenboogerd»

igitur archive J.F. Groote S.F.M. van Vlijmen J.W.C. Koorn October 1994
120

«Hiding Propositional Constants in BDDs»

igitur archive J.F. Groote September 1994
119

«Third-Order Matching in the Polymorphic Lambda Calculus»

igitur archive J. Springintveld September 1994
118

«Iterated local reflection vs iterated consistency»

igitur archive L. Beklemishev September 1994
117

«Propositional combinations of Σ-sentences in Heyting's Arithmetic, explorations between intuitionistic propositional logic and intuitionistic arithmetic»

igitur archive A. Visser July 1994
116

«On the computational content of the Axiom of Choice»

igitur archive S. Berardi M.A. Bezem T. Coquand June 1994
115

«Embeddings of Heyting algebras, revised version»

igitur archive D.H.J. de Jongh A. Visser June 1994
114

«A Modal Logic for μCRL»

igitur archive J.F. Groote S.F.M. van Vlijmen May 1994
113

«Proving a graph well founded using resolution»

igitur archive M.A. Bezem J.F. Groote May 1994
112

«Third-order matching in the presence of type constructors»

igitur archive J. Springintveld May 1994
111

«NNIL, A study in intuitionistic propositional logic»

igitur archive A. Visser J. van Benthem D.H.J. de Jongh G.R. Renardel de Lavalette May 1994
110

«Negative Definability in Modal Logic»

igitur archive M. Hollenberg May 1994
109

«Proof-Checking a Data Link Protocol»

igitur archive L. Helmink M.P.A. Sellink F.W. Vaandrager March 1994
108

«Euler's φ-function in the context of ΙΔ0»

igitur archive M.D. Jumelet March 1994
107

«A crash course in arrow logic»

igitur archive Y. Venema February 1994
106

«A modal logic of quantification and substitution»

igitur archive Y. Venema May 1994
105

«Cylindric modal logic»

igitur archive Y. Venema December 1993
104

«Hermann Weyl's intuitionistic mathematics (revised edition)»

igitur archive D. van Dalen December 1993
103

«Linguistics, Logic, and Finite Trees»

igitur archive P. Blackburn W. Meyer-Viol December 1993
102

«Proofs as Texts: Dynamic Proof Theory for Intuitionistic Propositional Logic»

igitur archive C.F.M. Vermeulen November 2008 (refined in May 2009)
101

«A Computer-Checked Verification of Milner's Scheduler»

igitur archive H. Korver J. Springintveld November 1993
100

«A Bounded Retransmission Protocol for Large Data Packets: A Case Study in Computer Checked Algebraic Verification»

igitur archive J.F. Groote J.C. van de Pol October 1993
99

«A Correctness Proof of a One-bit Sliding Window Protocol in μCRL»

igitur archive M.A. Bezem J.F. Groote October 1993
98

«Invariants in Process Algebra with Data»

igitur archive M.A. Bezem J.F. Groote September 1993
97

«Embeddings of Heyting Algebras»

igitur archive D.H.J. de Jongh A. Visser June 1997
96

«Preference-based Semantics for Nonmonotonic Logics»

igitur archive F. Voorbraak August 1993
95

«Strengthening Parikh's theorem for weak Systems of Arithmetic»

igitur archive M.D. Jumelet August 1993
94

«Hermann Weyl's intuitionistic mathematics»

igitur archive D. van Dalen December 1993
93

«Proving termination of Higher-Order Rewrite Systems»

igitur archive J.C. van de Pol June 1993
92

«Dynamic Squares»

igitur archive P. Blackburn Y. Venema June 1993
91

«Implicit and explicit negation in logic programming»

igitur archive C.M. Jonker May 1993
90

«On the Semantics of Modular Structuring Facilities in Specification Languages»

igitur archive C.A. Middelburg April 1993
89

«A Typed Logic of Partial Functions Reconstructed Classically»

igitur archive C.B. Jones C.A. Middelburg April 1993
88

«A Formal Verification of the Alternating Bit Protocol in the Calculus of Constructions»

igitur archive M.A. Bezem J.F. Groote March 1993
87

«Verifying Process Algebra Proofs in Type Theory»

igitur archive M.P.A. Sellink March 1993
86

«Meeting Strength in Substructural Logics»

igitur archive Y. Venema January 1993
85

«Incremental semantics for propositional texts»

igitur archive C.F.M. Vermeulen January 1993
84

«Towards a Formal Mathematical Vernacular»

igitur archive J.F. Groote December 1992
83

«Lower and upper bounds for reductions of types in λω and λP»

igitur archive J. Springintveld December 1992
82

«Lazy & quarrelsome brackets»

igitur archive A. Visser November 1992
81

«Bar recursion versus polymorphism»

igitur archive E. Barendsen M.A. Bezem October 1992
80

«A Correctness Proof of the Bakery Protocol in μCRL»

igitur archive J.F. Groote H. Korver October 1992
79

«A Δ0 definition for finite sequences»

igitur archive M.D. Jumelet September 1992
78

«Belief functions and inner measures»

igitur archive F. Voorbraak June 1992
77

«A modal perspective on the computational complexity of attribute value grammar»

igitur archive P. Blackburn E. Spaan April 1992
76

«Actions under presuppositions»

igitur archive A. Visser February 1992
75

«The theory of syntactic domains»

igitur archive M. Kracht February 1992
74

«A tractable algorithm for the wellfounded model»

igitur archive C.M. Jonker G.R. Renardel de Lavalette February 1992
73

«Prefinitely axiomatizable modal and intermediate logics»

igitur archive M. Kracht January 1992
72

«Ramsey's theorem and the pigeonhole principle in intuitionistic mathematics»

igitur archive W. Veldman M.A. Bezem January 1992
71

«Generalized Kripke models for epistemic logic»

igitur archive F. Voorbraak December 1991
70

«Merging without Mystery or: Variables in Dynamic Semantics»

igitur archive C.F.M. Vermeulen December 1991
69

«Bar recursion versus polymorphism : extended abstract»

igitur archive E. Barendsen M.A. Bezem December 1991
68

«Bar recursive encodings of tree ordinals»

igitur archive M.A. Bezem W. Buchholz December 1991
67

«Splittings and the finite model property»

igitur archive M. Kracht May 1994
66

«A preferential model semantics for default logic»

igitur archive F. Voorbraak July 1991
65

«On the semantics of conflict resolution in truth maintenance systems»

igitur archive C.M. Jonker March 1991
64

«The unprovability of small inconsistency»

igitur archive A. Visser March 1991
63

«Strong Termination of Logic Programs»

igitur archive M.A. Bezem March 1991
62

«I < IR : Some intuitionistic elementary equivalences»

igitur archive D. van Dalen February 1991
61

«Towards the Interpretability Logic of IΔ0+EXP»

igitur archive M.B. Kalsbeek January 1991
60

«Sequence Semantics for Dynamic Predicate Logic»

igitur archive C.F.M. Vermeulen January 1991
59

«Strictness analysis via abstract interpretation for recursively defined types»

igitur archive G.R. Renardel de Lavalette October 1990
58

«Query optimization using rewrite rules»

igitur archive S. van Denneheuvel K. Kwast G.R. Renardel de Lavalette E. Spaan October 1990
57

«An inside view of EXP or The closed fragment of the provability logic of ΙΔ0+Ω₁ with a propositional constant for EXP»

igitur archive A. Visser October 1990
56

«Reflections on parallel functional languages»

igitur archive J.L.M. Vrancken September 1990
55

«The logic of objective knowledge and rational belief»

igitur archive F. Voorbraak September 1990
54

«L.E.J. Brouwer, wiskundige en mysticus»

igitur archive D. van Dalen June 1990
53

«Counterexamples in applicative theories with choice»

igitur archive G.R. Renardel de Lavalette January 1990
52

«On the ∑₁°–conservativity of ∑₁°-completeness»

igitur archive A. Visser October 1989
51

«Conditionals, probability, and belief revision»

igitur archive F. Voorbraak October 1989
50

«Inductive definitions in COLD-K»

igitur archive C.P.J. Koymans G.R. Renardel de Lavalette September 1989
49

«Choice in applicative theories»

igitur archive G.R. Renardel de Lavalette September 1989
48

«Parallel Object Oriented Terms Rewriting : a first implementation in Pool2»

igitur archive J.L.M. Vrancken September 1989
47

«The formalization of interpretability»

igitur archive A. Visser August 1989
46

«A perceptron network theorem prover for the propositional calculus»

igitur archive M.F.J. Drossaers July 1989
45

«Normalisation of database expressions involving calculations»

igitur archive S. van Denneheuvel G.R. Renardel de Lavalette March 1989
44

«Explicit fixed points in interpretability logic»

igitur archive D.H.J. de Jongh A. Visser June 2003
43

«An inside view of EXP or the closed fragment of the provability logic of ΙΔo+Ω₁ with a propositional constant for EXP»

igitur archive A. Visser January 1989
42

«On the justification of Dempster's rule of combination»

igitur archive F. Voorbraak December 1988
41

«The existence property in the presence of function symbols»

igitur archive M. Doorman October 1988
40

«Interpretability Logic»

igitur archive A. Visser September 1988
39

«Computations in fragments of intuitionistic propositional logic»

igitur archive D.H.J. de Jongh L. Hendriks G.R. Renardel de Lavalette May 1994
38

«Parallel object-oriented term rewriting : the booleans»

igitur archive P.H. Rodenburg J.L.M. Vrancken July 1988
37

«Manufacturing a cartesian closed category with exactly two objects out of a C-monoid»

igitur archive P.H. Rodenburg F.J. van der Linden May 1988
36

«Arithmetic analogues of McAloon's unique Rosser sentences»

igitur archive C. Smoryński April 1988
35

«A computationally efficient approximation of Dempster-Shafer theory»

igitur archive F. Voorbraak April 1988
34

«A descending hierarchy of reflection principles»

igitur archive A. Visser April 1988
33

«Strictness analysis for POLYREC, a language with polymorphic and recursive types»

igitur archive G.R. Renardel de Lavalette March 1988
32

«Modularisation, parameterisation, interpolation»

igitur archive G.R. Renardel de Lavalette January 1988
31

«Hilbert's Programme»

C. Smoryński January 1988
30

«Gauß eliminition a term rewriting system»

igitur archive P.H. Rodenburg D.J. Hoekzema January 1988
29

«Preliminary notes on interpretability logic»

igitur archive A. Visser January 1988
28

«The war of frogs and mice, or the crisis of the Mathematische Annalen»

igitur archive D. van Dalen December 1987
27

«Specification of the Fast Fourier Transform algorithm as a term rewriting system»

igitur archive P.H. Rodenburg D.J. Hoekzema December 1987
26

«Redeneren met onzekerheid in expertsystemen»

igitur archive F. Voorbraak November 1987
25

«Applications of constructive logic to sheaf constructions in toposes»

igitur archive F.-J. de Vries October 1987
24

«Interpolation in fragments of intuitionistic propositional logic, (revised version of no. 15)»

igitur archive G.R. Renardel de Lavalette October 1987
23

«A functional program for Gaussian Elimination»

igitur archive F.-J. de Vries September 1987
22

«Creative reasoning in formal discussion»

igitur archive E.C.W. Krabbe June 1987
21

«The logic of actual obligation. An alternative approach to deontic logic»

igitur archive F. Voorbraak May 1987
20

«A course in bimodal provability logic»

igitur archive A. Visser November 2004
19

«A functional program for the Fast Fourier Transform»

igitur archive F.-J. de Vries March 1987
18

«Process algebra semantics for queues»

igitur archive J.A. Bergstra J. Tiuryn January 1987
17

«Tensed intuitionistic logic»

igitur archive F. Voorbraak January 1987
16

«Module algebra for relational specifications»

igitur archive J.A. Bergstra November 1986
15

«Interpolation in natural fragments of intuitionistic propositional logic»

igitur archive G.R. Renardel de Lavalette October 1986
14

«Peano's smart children. A provability logical study of systems with built-in consistency»

igitur archive A. Visser October 1986
13

«Abstractie in wiskunde, expertsystemen en argumentatie»

igitur archive H. van Ditmarsch August 1986
12

«Naess's Dichotomy of Tenability and Relevance»

igitur archive E.C.W. Krabbe June 1986
11

«Kunnen wij elke machine verslaan? Beschouwingen rondom Lucas’ argument»

igitur archive A. Visser July 1986
10

«Strictheidsanalyse»

igitur archive G.R. Renardel de Lavalette May 1986
9

«A semantic framework for the COLD-family of languages»

igitur archive H.B.M. Jonkers C.P.J. Koymans G.R. Renardel de Lavalette May 1986
8

«A simplification of the completeness proofs for Guaspari and Solovav's R»

igitur archive F. Voorbraak May 1986
7

«Intuitionistic free Abelian groups»

igitur archive D. van Dalen F.-J. de Vries April 1986
6

«A modular approach to protocol verification using process algebra»

igitur archive C.P.J. Koymans J.C. Mulder April 1986
5

«Interpolation in a fragment of intuitionistic propositional logic»

igitur archive G.R. Renardel de Lavalette January 1986
4

«Evaluation, provably deductive equivalence in Heyting's arithmetic of substitution instances of propositional formulas»

igitur archive A. Visser November 1985
3

«Put and get, primitives for synchronous unreliable message passing»

igitur archive J.A. Bergstra October 1985
2

«A process creation mechanism in process algebra»

igitur archive J.A. Bergstra September 1985