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 |
| Subject | MODALITY (LOGIC) MODAL THEORY PREDICATE CALCULUS |
Total Ratings:
0
00909 amaa2200253zu 4500
001
vtls000007755
003
VRT
005
20160426095000.0
008
020601nuuuuuuuuvaua s000 eng d
020
$a 9027709297
035
$a 107728
039
9
$a 201604260950 $b thirupathi $c 201403121139 $d sinu $c 200712181019 $d pad $c 200306271941 $d VLOAD $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
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*6500*6501*6502*9992
No Reviews to Display
| Subject | MODALITY (LOGIC) MODAL THEORY PREDICATE CALCULUS |