Search CORE

39 research outputs found

Partial Logics with Two Kinds of Negation as a Foundation for Knowledge-Based Reasoning

Author: A Gelder
EG Thijsse
G Priest
G Wagner
G Wagner
G Wagner
GG Eiter
H Herre
J Dietrich
J Dietrich
JE Fenstad
JF Benthem
JO Jaspars
M Freund
M Gelfond
M Gelfond
M Papalaskari
RA Meaning
RH Thomason
S Blarney
S Feferman
S Koerner
T Langholm
T Langholm
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/1999
Field of study

CWI's Institutional Repository

Situations, Language and Logic

Author: Fenstad J.E.
Halvorsen P.K.
Langholm T.
van Benthem J.F.A.K.
Publication venue: 'Springer Fachmedien Wiesbaden GmbH'
Publication date: 01/01/1987
Field of study

International Migration, Integration and Social Cohesion online publications

Situations, Language and Logic

Author: Fenstad J.E.
Halvorsen P.K.
Langholm T.
van Benthem J.F.A.K.
Publication venue: 'Springer Fachmedien Wiesbaden GmbH'
Publication date: 01/01/1987
Field of study

International Migration, Integration and Social Cohesion online publications

Liver cirrhosis and wound healing: Activation of von Willebrand factor and platelets

Author: D. Leeming
F. Bendtsen
L. Langholm
M. Karsdal
S. Møller
T. Manon-Jensen
Publication venue: 'Elsevier BV'
Publication date
Field of study

PORTRAIT OF A DISCIPLINE? MARK BLAUG'S PIONEERS IN ECONOMICS. A REVIEW ARTICLE

Author: Alett J.
Appleby J. O.
Arnon A.
Arrow K. J.
Black R. D. C.
Black R. D. C.
Blaug M.
Blaug M.
Blaug M.
Blaug M.
Blaug Mark
Brewer A. A.
Brown Vivienne
Coats A. W.
Davis J. R.
Eltis W. A.
Gonce R. A.
Gonce R. A.
Hutchison T. W.
Hutchison T. W.
Langholm O.
Langholm O.
Langholm O.
Letwin W.
Murphy A.
O'Brien D. P.
Perlman M.
Walker D. A.
Publication venue: 'Wiley'
Publication date: 01/09/1993
Field of study

EUR Research Repository

A logical theory of design

Author: DC Brown
FM Brazier
FM Brazier
H Takeda
L Console
PH Langen
R French
R Reiter
RD Coyne
S Blarney
T Langholm
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/1996
Field of study

VU Research Portal

A preferential model semantics for default logic

Author: D. Etherington
D. Makinson
J. McCarthy
L. Lukaszewicz
R. Reiter
S. Blamey
T. Langholm
Y. Shoham
Y. Shoham
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Logical Omniscience and Inconsistent Belief

Author: D Jongh
GE Hughes
HP Grice
J Hintikka
J Hintikka
JF Benthem
MY Vardi
N Rescher
ND Belnap
R Fagin
RA Muskens
T Langholm
V Rantala
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/1993
Field of study

Partially Interpreted Henkin Quantifiers

Author: A Blass
G Sandu
G Sandu
J Benthem van
J Eijck van
JE Fenstad
L Henkin
R Muskens
S Blarney
S Feferman
S Kripke
SC Kleene
T Langholm
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/2003
Field of study

core

core