Model theory for modal logic kripke models for modal predicate calculi by Kenneth A. Bowen
Bowen, Kenneth A.| Call Number | 511.3 B67M |
| Author | Bowen, Kenneth A. |
| Title | Model theory for modal logic kripke models for modal predicate calculi by Kenneth A. Bowen |
| Publication | Dordrecht: D. Reidel, 1979. |
| Physical Description | 127p. |
| Series | Synthese Library: Studies in Epistemology, Logic, Methodology and Philosophy of Science, V.127 |
| Notes | Revised acc no. for the GT book E12783 is 78430 |
| Subject | MODALITY (LOGIC) MODAL THEORY PREDICATE CALCULUS |
Total Ratings:
0
00976 amaa2200265zu 4500
001
vtls000007755
003
VRT
005
20260715112700.0
008
020601nuuuuuuuuvaua s000 eng d
020
$a 9027709297
035
$a 107728
039
9
$a 202607151127 $b BMK $c 201604260950 $d thirupathi $c 201403121139 $d sinu $c 200712181019 $d pad $y 200206011045 $z VLOAD
040
$a VTLS
082
1
0
$a 511.3 $b B67M
100
1
$a Bowen, Kenneth A.
245
1
$a Model theory for modal logic $b kripke models for modal predicate calculi $c by Kenneth A. Bowen
260
$a Dordrecht: $b D. Reidel, $c 1979.
300
$a 127p.
440
$a Synthese Library: Studies in Epistemology, Logic, Methodology and Philosophy of Science, V.127
500
$a Revised acc no. for the GT book E12783 is 78430
650
0
$a MODALITY (LOGIC)
650
0
$a MODAL THEORY
650
0
$a PREDICATE CALCULUS
999
$a VIRTUA00
999
$a VTLSSORT0080*0200*0350*0400*0820*1000*2450*2600*3000*4400*5000*6500*6501*6502*9992
No Reviews to Display
| Notes | Revised acc no. for the GT book E12783 is 78430 |
| Subject | MODALITY (LOGIC) MODAL THEORY PREDICATE CALCULUS |