AAAAAA
Results: 1-25/149
Authors:
DIMAIO MC
ZANARDO A
Citation: Mc. Dimaio et A. Zanardo, A GABBAY-RULE FREE AXIOMATIZATION OF T X W VALIDITY (SEMANTICAL STRUCTURES), Journal of philosophical logic, 27(5), 1998, pp. 435-487
Authors:
HAMMER EM
Citation: Em. Hammer, SEMANTICS FOR EXISTENTIAL GRAPHS (PEIRCE,CHARLES, FIRST-ORDER LOGIC WITH IDENTITY), Journal of philosophical logic, 27(5), 1998, pp. 489-503
Authors:
XU M
Citation: M. Xu, AXIOMS FOR DELIBERATIVE STIT (CHOICE FORMULAS AND NESTED CHOICE FORMULAS), Journal of philosophical logic, 27(5), 1998, pp. 505-552
Authors:
MEYER RK
Citation: Rk. Meyer, SUPERSET-OF-E IS ADMISSIBLE IN TRUE RELEVANT ARITHMETIC, Journal of philosophical logic, 27(4), 1998, pp. 327-351
Authors:
WOLTER F
Citation: F. Wolter, ON LOGICS WITH COIMPLICATION, Journal of philosophical logic, 27(4), 1998, pp. 353-387
Authors:
NOVAK P
Citation: P. Novak, LOGIC AND THE CLASSICAL-THEORY OF MIND, Journal of philosophical logic, 27(4), 1998, pp. 389-434
Authors:
ANDREKA H
NEMETI I
VANBENTHEM J
Citation: H. Andreka et al., MODAL LANGUAGES AND BOUNDED FRAGMENTS OF PREDICATE LOGIC, Journal of philosophical logic, 27(3), 1998, pp. 217-274
Authors:
BARWISE J
MOSS LS
Citation: J. Barwise et Ls. Moss, MODAL CORRESPONDENCE FOR MODELS, Journal of philosophical logic, 27(3), 1998, pp. 275-294
Authors:
SWOYER C
Citation: C. Swoyer, COMPLEX PREDICATES AND LOGICS FOR PROPERTIES AND RELATIONS, Journal of philosophical logic, 27(3), 1998, pp. 295-325
Authors:
DERIJKE M
Citation: M. Derijke, A SYSTEM OF DYNAMIC MODAL LOGIC, Journal of philosophical logic, 27(2), 1998, pp. 109-142
Authors:
SANDU G
Citation: G. Sandu, IF-LOGIC AND TRUTH-DEFINITION (FIRST-ORDER LANGUAGES, TRUTH-PREDICATES), Journal of philosophical logic, 27(2), 1998, pp. 143-164
Authors:
MARTINO E
Citation: E. Martino, NEGATIONLESS INTUITIONISM (LOGIC, SEMANTICS, HENKIN), Journal of philosophical logic, 27(2), 1998, pp. 165-177
Authors:
RESTALL G
Citation: G. Restall, DISPLAYING AND DECIDING SUBSTRUCTURAL LOGICS-1 - LOGICS WITH CONTRAPOSITION, Journal of philosophical logic, 27(2), 1998, pp. 179-216
Authors:
HAWTHORNE J
Citation: J. Hawthorne, ON THE LOGIC OF NONMONOTONIC CONDITIONALS AND CONDITIONAL PROBABILITIES - PREDICATE LOGIC, Journal of philosophical logic, 27(1), 1998, pp. 1-34
Authors:
AKIBA K
Citation: K. Akiba, NOMINALISTIC METALOGIC, Journal of philosophical logic, 27(1), 1998, pp. 35-47
Authors:
KRACHT M
Citation: M. Kracht, ON EXTENSIONS OF INTERMEDIATE LOGICS BY STRONG NEGATION, Journal of philosophical logic, 27(1), 1998, pp. 49-73
Authors:
MENDEZ JM
SALTO F
Citation: Jm. Mendez et F. Salto, A NATURAL NEGATION COMPLETION OF URQUHART MANY-VALUED LOGIC-C, Journal of philosophical logic, 27(1), 1998, pp. 75-84
Authors:
TZOUVARAS A
Citation: A. Tzouvaras, LOGIC OF KNOWLEDGE AND UTTERANCE AND THE LIAR, Journal of philosophical logic, 27(1), 1998, pp. 85-108
Authors:
HECK RG
Citation: Rg. Heck, FINITUDE AND HUME PRINCIPLE, Journal of philosophical logic, 26(6), 1997, pp. 589-617
Authors:
HAZEN AP
Citation: Ap. Hazen, RELATIONS IN MONADIC 3RD-ORDER LOGIC + QUANTIFICATION, Journal of philosophical logic, 26(6), 1997, pp. 619-628
Authors:
KREMER M
Citation: M. Kremer, MARTI ON DESCRIPTIONS IN CARNAP S2 -DISTINCTIONS( FOLLESDAL ARGUMENT,MODAL), Journal of philosophical logic, 26(6), 1997, pp. 629-634
Authors:
HORSTEIN L
Citation: L. Horstein, PROBABILITY IN PRINCIPLE AND CONTROVERSIAL CONSTRUCTIVISTIC PRINCIPLES -ARITHMETIC( EPISTEMIC), Journal of philosophical logic, 26(6), 1997, pp. 635-660
Authors:
BILLINGE H
Citation: H. Billinge, A CONSTRUCTIVE FORMULATION OF GLEASON THEOREM + A CONSTRUCTIVE PROOF, Journal of philosophical logic, 26(6), 1997, pp. 661-670
Authors:
MINTS G
Citation: G. Mints, INDEXED SYSTEMS OF SEQUENTS AND CUT-ELIMINATION + MODAL LOGIC, Journal of philosophical logic, 26(6), 1997, pp. 671-696
Authors:
FITTING M
Citation: M. Fitting, A THEORY OF TRUTH THAT PREFERS FALSEHOOD, Journal of philosophical logic, 26(5), 1997, pp. 477-500