Professional Documents
Culture Documents
Wate
that ei eatin ann aa “
auratus gui hat can be
sca ol pon ie om dR one WRF Se
Rs’ wank, ind das tr need toni lame
Aniter med principe cay prone witout the Rana el
Gy Rete Laka
"es counene i not provable, however, adn fs 90 vald. Consider se,
(i) 1303619
‘To ac sha i isnot valid under te inmended interpretation, let be eis the
‘amber ofthe planet. Then the anccden ire forte mat hse suet
1
Modal Lage 7
which the numberof the panes (wen fly 0), bu the onsen er
Thue nin number which be the are oe net sine oningent
bow many pants here are
ich the fling seme wound an compete wih spec 0 the ca of
Sram ated ee
Kone algae
‘TARR cetesve ames
As BF amie fames
KBs BF; symmevical ames
‘Ste BF: —cflxve rams fames
BeRF: reese nme fares
SB-+BE quale fares
chs te wy be rely aang emt of mana on
See te et tr concer Blows sn he fame
Fianna me es fame 8
724, De reand de dito
sca nh sompores oft ied pice ha a pope mol
Meigen merely prensa propositional moc! li oF of no
See ee lan ml pee ke weet
ERO NP pre a eer wi
ae ee al dm nt tr edie To he
cae ey at sy and coring a tg (hs
Se NaN ce sce wort By conn is eres
ESTAS pti ay omer pti
seth a at peptans e Sot ac
Peery Sf tc ee gh il
seca recat (cn ey mcs hat
eS conning quanieton Into te sop of mal operas ae
cn g's pm ween ed in,
Se ee one ey col sone,
ee eee st equaled wT, howe the
Fae ery edna 95+
eee 77.2.2. Vali without the Barca formals
‘The Bancan mal tad on the dfn of say en sboNe fr wen
Precate lps At ote. ths rms seem of sme seme TPC Se
those conaining ster B, but oto there Hae the, Shall one pean snd
‘of sat for those stems aching the Baran fol
‘This question tecomes all the more important at number of philosophic
hss hve ten rel ase ts faa” The Bn Baran ml te
ter 1vse8
{detest meecttion htm ht ese eeu cae
2 tain poner tem mac te cae at ete pes
ore Bt ni beni shee hey et
"est he es nor pei the poy he gt he coe
‘Se bering ch nce me, at eet Wold Bes acne
rt ar vero
“Th eon den on he stmption han aus pombe wor
seis ip ejects hte en pris fom Unset he ine al
‘re ote might ven objec wah do na re ee rl al
‘loi hugh ie smart Bae se fr mal pccae ge eel
deren sch el os se dna wai
‘eer ech mr Thr nar ple aki the Boca br, Ths
Seger ain sean whch dos ns ts a
‘sting bn which ese emis witha sen
Accontingh for mena LAC uhh may he Hen we 8
sol sone (HRD, 8) meheh We Ran hoe ad
itu om member ot cr Tan, Ger aes ae
In, athe of lian th ce = ers esta he ma
sy the no prone ths eRe ten Bch heel ae
enc 9m sew meme th ee stg ot
4 Da teeth tal may ese vc ok a
tree Key, eb) Ta ene mr the pes he es
Semis eth fhe fe ay oag a) or nee Daa we
itn Gr at eh © The eV iv eave
before, bar [VV] now becomes ae
WV) Vsti 9-1
is) = Dy, ad O otherwise
For every wakematve posh tat
"is as the fee of making he guastifers renge or just he nid ext
in the world w Farhermore,imporarty the defnion of iy ied
ss that aw vain a vel (W, RD, Q, Vat lo, w)=1 bx eet we W
aed cvery agent sacha ia) & Dr every ane
———_—__ w
- Modal Logie
Unde hi siason ee them of LPC a, bt he Bran Sar
tao hee nn et in Rt,
theif wt ten Dye Dan then Br wba. Tree ron
Bane sons (BC+ Band ENG 85) The nse LACS, whe 8°,
‘Ter Sted mmbet fre) lig te Baan os ay ho be proved
omit ng te me Sores er
Ssh oe hen el rit cine
wile rene ibe ices i wis BE fo) fa ey
Fe NSM he quate ech woo ag on oe ee ins
{rien tu nnd te ec Sle Sat etme ings et 7
Seu cleat nr vec aes Rar one ex pry
Morse comee CBF, er, For cme
beste > Yale oy
ich
is i amine of BE, cu apn ht ey werd ening
Tar err bron vou won no beg nome te
rei "Tar her wo ia oe, Bes wo in whch ton gueion
SC i tee, wd onthe acne gen 90 fir vad bee of he
incon ete Bot se the eso or eectng CE gies ling tat
‘Sto ob mgt conser shri are th he aa oa
fad is converse. This will se problems fits own, however (a one should expect
Since CBE m provable m LPC min ete muntion) In parse, le
‘theca lo Hoge presen ay. Ato
2,
veer ay
sy
Lovee 6”
Is einitin of aly
eceitaion to tu 1 the gi
seer eens eons on Tn hone, makes (72) roo
Wii eaten ey eed mo cee frsome wD then VV 0
TsO iF gpm The polo sith (72) babe 7 wih be ene meng
‘hick ttre in wet wie he guns eed ing ot
{Te rion nwo Sonnet oan sh Th sages oe
‘Sot nate ti outaon cpl by sang» prone, oe
RN hs hs he seman
WWE wevuniraen,
Then atogh (72) fils wo be val, ts coe
3) ———————MI Crowne
creges Bn Dor on
isd And more generally though the ponlae V1 ven on page 148 wil oe
‘eva omy he repiced by
VIE (Yaa Be) Day/s]
(YUE he and epee Va wht lef ie er
723. Asiomaszation of stem with an extence predicate
Replicing VI with VIE requ some other change she LN bai ofthese
stems In pacar, one ano ea ane 2 an and a wal be eal
1 sie the bus for thse stems expr Where sy nal props
oda tpi, LACE $ dened Flows
Sy LPC sation insance of & theorem of $i an axiom of
trees.
VIE Where x any are any individual aie, and is ay wT hen
(vse 9) 2aLy/s] san atom of LICE SS,
‘Yala 8) (Vea Vp) tan atom of LACE 8, where and
arcny wands ay ve
(= Vea an atom of LACE +8, pond a not ie in
Velie an aio of LICE 45,
Wari theorem of LOCK +8 then Weta theorem Wf LPC #8
UGLY Aha 9 14a) 2-9 £653 19) ivashorem of LC #88
ison fe ethene 3H, 9) ey IAD)
Sovh ystems LIC +8 king bah the Basan ml anit saver,
[sown 10 Be sound and compete by he method previous deed
224, Kripke spe ytems
Kigke (19636) advected + dierent way of axiomating stems eontsiing
‘ckber BF nor CHE. Tea of iredacng in extence peat, he eed
corms ofthe sjsems to her iver lou, se even the 2)
SMG ces vate) en of Le led FC
Kip albouph the aiomateton hee nak eat the sme se Kah
‘Where 8 i any normal ten of propositional mal loge LPCK +8 i je he
LLPCE +S tc without UE and witout UGLY", sd with IE replace by
a
Modal Lge. ———
\VIK Where and are any india wre and any wf hen
Yovetve 3 ay/sl) ian asiom oF LPCK +S,
(rhe pretence of Wain ¥IKis eed o prone Way We) The sean
SEILPCE +8 except thn VUE) #0 longer equ. Competenes my then be
Fred ney oh Ric nem og a ii
7.2.5, Memicyim modal predate lic
Now, suppose one a 2 pee ff more ity een 0 the
‘Dnpuage for nol preite lop teeing wh sided intepetaon,
‘Mul hin adel Vg) thee of ps (oy 9) r= Dad PEW
‘Wh hs ierretaoon an stati as fr sens SC may be provided
thing to LPC he avom shee
4028)
nhs and fer nly otha as fein oF more ple whee Bas
fox
These patter ye he theorem
psa extensions of
by taking a x= cand at Lem Fate, some ye
so sora the alge pincer ees
IND weyDieey
Iowthely Lap LN see 0 and fi coe, 0 0 i medal stem
‘Sn Sl sn oven 5, oh ar a el er hee
Fee it toe fr fc Space SUNT ad LAT o Soh wich, of oun,
TOTS TTA” LN my ety be aon nome S15.
Jet} ince ues my proved sound and compete. More geal, whe S
ETRLIRSS SET coun, and compcenen bos Sr all ayes 9+ ENT
seca noes bse ns ame fo The ret al apres
STtour BF aed ose wih an exten pee
TE Beast cmvoreny, Hower Tse 47 a all esity
sudeats et necmays Les whegeee ahd ae the sae Objet hen i 4
se ry Now ac cyto ink of coumeearplechis
“The pera who les net door i the mayor oaMJ. Crome
cro sera eri herneen the pepo wh bes Hens an te mano,
{Teor one veld fewnte 1 sem oma
“The pero who nes next doe» the moe
Yet sures oe woul sink, thi coming fr pls pom Wa he
penn who Ine nest door no he muon Nene, though fa 7 4 ht
Sted ung vata ae, ete debe dm ees me de
‘nde mayor Ths gest apbng Rv 1008 Toy cn
este 74), Leg beth eben es net dor and he ma
Oe Rial msn, 4 becomes
Fege Saye vaioen yn 3
” oy
(2 mcm exact one x hh mb ding a =) ow
(7.81 se bt ot neces rac, opting Lin the he oan
Brea ke semene, But Lt docs ao hc hat te tn (> ml
Steen Dew n Verigea yn 2 x= vo
4 hs rests ino poems of iterpreaion.
72.0. Contingent ientey
uses thers es ne ay sn wich the cls iw of ent nal
predate fp, with eth Hand TN can asemmadate wih past
acetals an 74, Land LI ig sit fe tg nt
fia sont ld ce her cn athe sea
Saha Cina the sat
i wa age
, teeta sons aad
Saree sana ty swe pe atric el
site wt 7 he ha tig wan he pera et 2
>and forthe mae mind mean rung saa mr woe
ich who in wey net der ad ign ty whneer hn re mae
nig inthis hen oe te andy mayen wt oh
More general now sopose haan apne etme le D 0 2
nts #) By and moi [V4]
Ie
Yb,
oer
YT Ha os Ha wh WE VIO) and
Loon ch emu dete a een 2, tog
‘muy a hc tan ep
Spon wth mand in tha aye aed Pon lar ms
‘symems $ + Cl; in them 12 is replaced by =
a ee eee
Modi Logic
We eed Ubu mano
where cach Sor = 4 ier the eye rable at yo de 5 ad
sping. Newstces such spams dno compan io the seman sdb,
Thi seman ates the Scens
ava > Set on
which nr dele in any ofthe comings en sens (sce Hse ae
Sener han the INI ste nd (7.7) eae an ots)
TR formal (77) en ert ei, nd ed ten dat
doc ot nem ad, apr an cape gen ue (1958p 148) in ceain
tues tis necemy tha wane per el wn, br here no na ler who
Effin to win, One ing howeer, ake (7.7) sound publ ty ting 2
cpreion sch te wine yo ening fig be OU
SUG ec which ns more wl reo objet woul be ne obec in one
Tuten brs tere one nate that on, neces th mene
‘Heim, ther there someone who Bo fo wi, name the wit, Sch
SSE see en ce snl jo aa be
‘feet now bing consircé woul thon Sct poe ses for +
Ten wich te ia uals gorse! ob
“be href eet non th ate ln
sate tn ce oot of any uring of embers Of whatever. For rape rp
thre se reo meriynrand wy ten where m nd ae members of DH ery
‘cele! wo mae upthe cbect wich nny and nny Vw nh
she ES syems nih Se come a egg hate onl ings
Trees of Dac count bic ae sng costing fhe ame emer
Diincoh mri ley the oly Ober eso thew ste are righ
‘emand erste of heme) Tue ses tha eae semantic
‘Sg Wey ems $C woh i mc 7 oa a
‘havens consignee FD cour cs nor alow that
“Dyan whose of amano Dsl eo. my be doe by ing
‘sth nl aunt eave ena bec (Pah 1974). Fw
$id soundoet and completeness ser of eomnge et
The gumenrage ov ensorl objet, th, 2 OS, (77)
ages Sete become! val This ic the guson of what omit ern
sre cor fe halo tinconalobjoc bsedon an nding peer
‘Been §Theanmer'e tar mow cuaces of 8, cuding al te ore
‘Eisted hee, cep fr 8S the loge of incon bc ted on S
havnt (Goson 1984 secon Thomson, 1970)
Suggested fer reading
Se age sn Come (198) fr snes neon he cd
ret eer pa ml pfs in uch he se pe wh chae For- MJ. Creauet —
ugha as Ral dc 0 he Chap ant
‘ie fee hn een ben pr a Che
Frcorler ma bys Gan ION pcs hip ene, A! rs Sno
sen he php ms ering rhe at Conca
Notes
SEA ee enn om tn
gciere esa eae
Pa tection Leta eetenet rer oa
cl ita ea ph et
Eee tn waar
rs at seme me hn Sm
«Wharton ney ea ta
‘sate mes th nan oct et eee ok a Be
SLR st eraat amen
Magen Vig Le ey Mage Lynn Ve 3 Leb)
{Se Drie (1957 5p 26-8 pas) so Hina (1961, and Mil 1958,» #0) Por
{se man en 9p 889 ae Cees
7 Secon dsieg at Ane read Retr 5
1 SS Ree rt to wc tee cm ef
Ents ie his ato wt om Hye COED Que (947, wee, Bit
se te poy arm ree et
0 tach wn er ee ns we a
{ed Frm ran) hat A ni ol en
Modal Lage
am Muu BC 194674 Tan Ceo Rt Oder Bodo Se pi
Tlf So
un un R194. “Pe ny ft i Sei Fusion Caled of
‘Seon Ors joa of Se a1 12-1
son ara “tn an” ig EI
Toit Ane 38-84 °
sec Up Comn (Cabg Dery en Cami)
Siting, 50,128,
LR A ed Spt 1984 a Mo Lp” in Gta Guerr (1984,
cosa 19: Mota and Qu” Jel of Sm Lpi 11 28-4
cee Sa they M1997 Mae Lae (Chien es Os)
GER’ a Stace aot! Ls fe hed, (ame Unease, Ca
cc Be BBL in Dene he Baran Fa” Laine Anat, 135-4,
Crome M, J 1995: ncmpeene and he Haran For.” fara of Pepa
yr at te nm
reel tt
cee ete
ES Sea ann 0 tt
Hee ee ma a ie
nanny Bnd Tar A 951: “Bonin Ais Wa Opens” Ameria Joma of
nae
er rat Win
ant yan
8. rm Amo Ma tg: orm Pog
sh wa i tae
eee cen tn tet ere
an MLL 1966 “Eel oeprois f Maal cgi” Para of Smt Leis
Mekiocy 7. & 1945: “On the Syntace! Conaraton of Sptens of Mota Lowi
ra of mt Le 10, 83-76
167
aM1 Creat
LAB 0 tap Sou Pa Ns Heh a Qu
very Pe Cane May [ase ea Tone oti
read S18 "One amen sn Pvp! K 8h
Seek 17 iil ae op ia te
Fin clenen Peace ey OS ne ta me
inl iu ey DS
tes. har Une ew Nee Henle
“Te 197 “Onde Mann oi 35. Ja of Pl a2
eM. 0 n emcerKee
eer Matec nd Poi
—————— Chapter 8 ———-——
Deontic Logic
Risto Hilpinen
8.1, Introduction
eons an are flog wich vegas normaie cones, stems of
eee et aie reong The word “acon” deed om the Geek
cere and wich meas ab ding” prope Tha Jens Benth
GBS) te won seomaogy” fr “te sence foal,” apd the Asn
(hlowper Eran Maly (1926), wo delope Inthe 1920 & sem ofthe
past! pipes heh of gh" calle bite “Deon Normats
CEERTTELEC in comeps oF ebgaion ough) persion (me), poi
Pree et fated non suc a the concept in Systems of deo lo
Cera Skin the wal serena comestnes and suai ol Com
‘Sins ch reps sme of tee mnie cone
‘lads se scene work on dere fg hs Debs othe view that
denn ogi a run nd lg [ecg 71 ad tat the onc
Serer ton, an pit re reed to exch be ne ee wa 3
SER Sinn mee, pobliysed pub Ts ew goes ck 0
Meat psp sme reeset penphen bere the aogier
cares see ic mode, nd maid the dente oemate) ic
PRSNSnS SPSS ews ool lop tobe sume way, Lado (1930 cae the
“arc cnegnes ofthe obdiptoryte pein adhe probed el nat
Ceara a Steenet hr te be pnp of rol lags Hof the
[eM thee in erate gee tt deosc modes ap be dened in
{low ofthe lec ati scoring 0 iy he pied (iam)
othe bony (aim is
‘ot mc «od mandoRi Hips |
“The comtemporan developmen dong ve he ptm acon Wight
(0987 11951) prance paper “Deon Lopes hat ee hse un the aa
the analogs terween nema and sti mais
8.2, The Standard System of Deontic Logic (SDL)
simple yotem of dont gi an be obtained breaking Libis dfition of
the concep of obigaton log)
(OLetbE) —ps biatony fea HF and oy i) 6 mecey For
eine» good penn
(Oeboin) —O.pi Ma) >p)
he ein per a‘ eam i ante
Sime by Laban he ea cae as gee a
following definition of the concepe of ough: 7 .
(OLeibaizs) Op NG> pL
Te competing Ua mer of pin (he ie a) #
(Phaibwind pm MGR
Css ai pay Thee ema at ee
rene i ay es
‘halite imap hg pres nate he Se
‘sh philemephicr Kanes in 1980, whe interpreted the “
eee sy a meee oe
Thee tay memphis
Use ey pam oe cher Se a
(08) opm Nos)
ee Say ene hehe nin spy he opto
‘thar the requirements of law ar morality have been violed. ~
Wie sa Woe esha oe es ige'(Chab, 1982
pt fore cpr
eH 20499 Hp
N>p
eon Lege
ad he msl le f neces
(RN) Ips pombe, Np ic eval obey, 9/
se incany wee tha the ont opto defied by (Oe) asthe onc
eponcie
(%)_0(93.493(099 08
tnd thereof dont esis’
(88) 1/0
The nina anumpion hat being god 6 oie,
my MG
ele pic f deo omsency
9 o>
sere rests the conep of permison, dle nem f 0" by
M08
Sia the cone potion, is ded by
nop
he me fain poi HF np cgay, The one of
i Rely ang piston ase ome
Fo ea Nand heme Ry ly aed he ard
Sem uf dem lage SL) Among is theorems ae:
Op & A >1OPH OH (Conjunto O) 6)
(0p & 072 Otp & #)—_CAnzenton principe fr O} 62)
092 Ova) had
(9 21> PD hed
mores band
Pown3cbrv Pe) (Diisee day oP eo)
Pp & DEP al
while eee of infrence
6. $$Roe Hips —
RMN) p>47092 04
RE) pa yOpm Oy
dere. On the bas ofthe airs Ky and Dy hs tem may be ele he
{sem KD. oF simply Ds wa meme of heli mrma me! ag al
of hsm cure fee RN shape 71 ei
48.3. The Semantics of the Standard Deontic Logic
‘heme of SD be meted mfp ho we
“eWeek pi Wo
We Lic etna case Se eng ee
ci evar Siar ty ln ey pn a
Silt ih a fe eee a en
‘sven hs ot pin Me ee
Ris needed for the inter deve ops, I
HCO) a8 Op APL pareve #E Weach ha Rox 9)
(CP) se tpt per wame re Wah
Rin)
For the asom By t be vat ee R
Fert se to repandR 9 sel elation the
(6D) For evey we W, there ev Wc that Ri 9)
Difco funhrstumptions about the sacar popes of the Rein al
sae iret deonpranpcy, a
cramps ki dear he Sd ke ieee ems of cron lope For
‘sot logical ethan sheoireR eanno be sumed bea eee relation,
Sut the rete
09>) 9)
sccm ai rine of dent lagi I ought obese eae tha what ug
toe cheese Ite cae The ay of (6.9) low ram he asungion hat
‘sonar eben, ater Wor,
(©.00) 16 Mx» oesome wth RCH 9
(89) soot dena ny SD bt can Be aed asa adoro. is
SERA te anger Andes suction In alti moda Tg i the lope
‘tains F)
"The seman stetched ore, du ily to Hina (1957, 1981 an Kanger
(a981 (19571), maybe tamed te sanded seman of omic on
Irrtively paste acoune ofthe meanings OF snp donc extences when she
‘tnt “aes wr aten mwlw are aken fo be wor or wat)
Rhyming ee 6 oblgaony at he ose they te words wich al
UGlgulons se Rll, Hen the wor eed to agen wor by Ray be
eae Raat pre Mel werd (else #0) If pole wee re
TEE pominccoues often rhinos whih re part conited by
‘SE asin the semantics of SDL snp dies soc sore no ontcaly
[Eel ant deta unseat zones, Aan acon permed pat
SESE ARhaGiy serpeatie conne of erems ori the some deta
esti ny of peor the atin, sa acon i bly a0 cone of
‘eine acct ules chemi the seon in ueson, The set uf cepts
SEERASSSEIST ite os pen ction senor) maybe temed the fel of
main Lew, 1999, Aeeonting to te donc nsseney pil (CD),
Be perce never exp; some aston perme any stain.
84, Problems and Paradoxes
SDI, ke ay focal se designe erin appiations, es to Kinds of
protiems
(3) Problems of eeprctton and apltion
How uid the arouse openton. 0, F, ant F and the sonlopcal
eSpstions) ymbolf ers. of he ssem be inepeed ad how
LBSRd the evga and tac eonceps la alin, nd eid com
Japs unr mts conten
(boc abou the adequacy ofthe formation of gomatvereening
roe by the sad se:
BeS'Sbee an asegae ad court account ofthe log selon
mong tee normative popes?
1 ———_—~ isto Hips —
mint it ac ae a
iguoenccashae: Seamer
SSELUS Te terhan esas
ines aatodtgcneat ecb
iti ala encanta pam
SUCRE Serenata een
ae tenga eh
Soi dicen eee eee ge
wicca ioean i nar
it Ne re an
Sehr moana eee
“hay toe ny ans
hn wr a tte
Sie ile Sit cee na cee
i dnt sc ae
ax iid coring + phen ue of moms Buln 196) For cam
-Monor vides ought toate the right hand se fd
{a be ened 4 deine ake dee emetic it
inet abt he atte me tompece com Wi kode
{steer se te 8 ath regan ne tenet ane
“ecm at the reat” Namue ee a Be
exe themes, a re ae andthe ean sa ae
sutra thecer be undentn in the ua way. tic eae
‘the ff norma tency Tages pa Ses mo
‘hs way otf Forge ie dct het mean thatthe pepe
{uy tematne eof eons enters eet ope ns See
the dincin beeen te nonmaesndte designe we econ enc
can be nero at to Was of sng mxmatte. meme ech ate
te. As Kamp (1875/4, 1979) bas potted ot, noma sence, hs the
‘Mowe vides ought owe the sigh and ie ofthe ed
(ih i te 0 fe) can be used oe str primary to eee or main =
‘0m, ot asi, Sescibe an independ exiting norm aster the
SS
: Deoate Logic —
ferme ae, the were f the tees in he appropiate ccumstancs (by +
prope or ior) fs eae fre an fies to ma he stems
onthe ater xe, he vhf he nent pend oe fs om
‘omen ce inept fe wen Tas
Sipe incon cee thse dinoon bere we
{iol sacmears the perineal e sero mc; aan Both cy
‘So"Sicmurs i quoton ca be spud me ore. Cnet
SR rea Sa lg concer cn be deed in demic nme
Stan coop o chin te ane wy ter aes of lope, Asning 10
Simp, the aero we af core scmecs shoud depend ont eae
Te Sha perma whe fon of and Foes (ian 8
inn’ denen) tc he ge of noma ce able epsore
elbee anagem teases) wheres ean seen et oon
fen tiene sf oneal sable oon poss or amp
Fanp hs pt rw the flowing pine concerning se pti and
2c sof perio mene
(P) An ssenoic eran of persion emtence in a context eis se
{Fat tose werks aca belo tthe opons of he aget that 3
steno ano mou have aed to the sc of the ae
pone iti Bad not Seay Blogs 10
en ee we
‘ay ato ose it a any cles
Perma of ana Hons be sn el Sete
ay UP oad yap pia ose nd potion
Fares sera utmost cn gue an es! he =
TASES ay ther perme ences Breve tee of
Semis scuence cer he ress pronate and eas # nb
See iu amc th ely apeine t Be
seen poe tah yoann ae
GE Som play he pal comesuene at une tbe eee
Sf ame eh ce
seEAUMS fo Sb dean lg rch of mod pl and any penis
oR. ipa ewe mr pec mts pi. Ti appeach 2
ROR iii been ome on he ound i oor mie
ce a eer af mrmsedbcune wich aang om
ae er an numer ar oen red tha some pie of SDL,
Ceara et sl) (87) ade, eal wo pd 0
etc cece Fer tae, se pape ne Re hee ee
Some ne me) wha ni oop ee
cee etlde be the eae that pve (3) aur e teree
omnes (810) 0810
Peer ought 10 ma leer. (10)
Deer ought fo mal lee or bur on
16. ————- Rose Hines
vith secms to some an accept incense Th i known a Rows pron,
‘eal de to she anh phlonopher Alt Row 4) A soment ne
{utase) pardon depends on prinpe 185, ascnding to whch the permis
1 peal the permit ofp 4 ran i for example, acting 0 (83,
(12) ema 13
Peer may dik water. a)
Peer may dank water or nk iss as)
hich ao seems coumer one. These ine ae of cue vali serene
"8.10)-.15) are undertea n trme of the posal ov seman oto
above If Per mals keer in all domly pret sua, then e Ma =
lee or burns inal such ations andi Peter ke water me dona
satsicor station, shen he ds water or hay snore such ation, Bat hs
ty Bean ene it the sans SD fe on
The inferents in usin may sem epi prado i the sentences 10-
(f.13) ae thought of as being wed peformasely or norma, se they
‘ed fr faing 2 norm era permission and not mercy fr desing the content oF
tem of norms, It cous tha heeft of noma etc (811)
{Het the sae 2 he eflcts of (81) lke (8.10, (1) does oe lc 10
Imike the acon of posting the lee obligatory or required fr Pete) (810)
‘cludes more poses resis the Bld of pernay mote than (11). 12
"he same ways the normative eects as perfomance of (8.1) ae ok De
same a thoe of 812). 118 12) aed perrmatey open (makes pried)
some poles in which Peer dns ater, br (413) open» ome a8
“eh of plies, namely ame pone where Peer dike ater 0
‘by The a that he nerence (HIT) and (813) fant 10) and)
tana nacepae sen be aly Rae the alli ese
out) ao permanant RH he seman (ptm
tie ees oN, etal the eet Ny
ac hpi aby gl dation sald ot Be eagece
acne tees ofa norm ont nm tm sy mae tan opel ee
Fearne the ec ofthe cepts ec sce en et
Spc (or conus of tnoweige) The een ofthe scpnce o> ane
esto te et tens a nal a
Sa than the ies the sepa nf he fc dune Ret
‘Skis conten ta tebef unt ier ete dene
“he sper prado lad dae pens ses re teeing
shan Ron pan. Acog te SDL the rormatne uso 1) sh
Inte ace eme wr er stato) a ih Pee is waters a.
“scan be coma by altwing mine taro a wich Fe
sie However urmathe tec 1) mma en pr ae
— ~ Deontc Lope —
sittin in which Peter dink wit 8 well a some simatios in which Peter
{Eos nc; in other noni (213) ly scams to have the soe el the
Sernce of he concen
ese ay dink wae nd Peter sy ink wy. eas)
‘A juve emison sens oor che wee he wo des as
hus conncan of wo poounsons Ti eee of dsjnche ems
Sea dele on the ta of SDL aonb spends on ome Pac
‘Gite srhuncive pemisions Novos donee permission ee ot
‘eres pera bth jn ut ya the determin ofthe ld of
typ pent coe he see Rap 1979, 6271)
‘Yes, you may dink water or wis but you ver cans your actor bete
os drink whisky. a)
(215) my ean nace of vormaine (peain) we of prin
ee stn kes eve son pre, bt sw thr
‘Shy he dean ote pry fon of he dc Tt
ros pce
mpg ork (16
snk ot erp a pened pae fr econ of piso.
“Koc ck due pr eed ey) Ig = ed
cc tes ang Rs Op tas Of Sse ang P
Suir e ew
02 0 an
esa ee, hee Kg mea tao a Fores f
ASN Reb oop ow thar Bey ten sag (87),
Mecano ba re atch ae coumerinte Ais, 967) Tn her
Sou sRietng he timing saremens cor tea
poke es)
> (9)
ov 20)
Buc sto nih er fr (18-620) em as i he
fic, Gis ougi vo know i bat thee ought nox o bea ie, Some pls
eyepatch prsox (he oughta pardon othe prox of eee
‘gaa and ter soa psc os eins ot (RDM) not a rn
‘of deo loge (Gabe 1991).
107Rito Hipnen -
Conditional Norms
In the cumple abn, (B.18) execs contol elation: ls agi 0
tow theres thee tone, here Awa seed shone he
seman of SDL, the inerpretson ct deo ster wt» en of
ponte werk o ata “demacaly pre or nomatte fies wos
tnd noma umecepule or npr Wo. Sens senda are
{Condos re en emuocaly re ome sna sew
femala hem i SD. po kad Yo prance Chol 968) ha ve 2
‘aml of sch 2 et The flowing senteceswe om constem ad puri
topes indepenen:
(Ch) Jones cup ogo 10 help hit nights,
(ho) one aug ol Been somng ei ing 0 ep
(€¥3)—_1FJone doesnot goto help his neghors, he ugh otf el then
het coming.
(Ch) Tones does not go to ep is neighbor.
Inthe langage of SDL, thee sentences might be expe 8 lon
a2)
own (m2)
aH OF a8)
rs ry
tee ays tat Jones es 4 pe ign an ge that fs lee
igh that Be coming Acorg to SDI. 1) an (8.2) eal
28)
and (823) and (6.24) ea
ow (828)
by propos! logic, in eter words, (8.21) (8.24) etal
oreow 27)
and according to the consiency pispe (Dy), (827) enae
oreo a
Deomte Lege —
zs the snggetinerctation of (Cat}{CM) makes therm join nconsiten
“Thistle, (ChI}-{Chs) em a exons a onsen
{er of requremens, andthe ft that Jones doer not go 10 lpi ibe
‘foald meme hem oil icone
“maybe agg that hte so unk lal symmetry betwee (822)
sol (33) (822, the Opera precedes 9, bt (23), thee exer
‘evened. The wesponing nymety Dewees (i) and (C8) es no ee 19
evens saeane 6 (C2) repented by
a (829)
or (Ch3) orm
ob 8 x)
she comatcon is aie (8.21) and (8.29) do or oa (8.25), and (8.24) ad
{Baty do nc cual (20. Hwee, scorn to SDL, (8.29) bo com
ssopene of (824), he oer fan, (8.0) i gc consequence of
{Gly Bath ret are nt asaccpnbls a» wos need abe the semen
(Gar ut sce ob purses indent of ech oe
ce ch le se cs oop tomas we i Slew
sat ast ip snore xen 2 eomiary dy (CTD)
‘an Fe th ean Cho un may ao ec he pero of CTD
[Riga Chstots cumple tows hte of are wi coatin ed
sare tion and CTD cbs aot be maardw SDL- i su
caesar propel oath coency fea (625)
Soyo) oe wmcepe of lton (orth conse of ugh) to
‘Bren ihar bcen gus eg by Agito Hoxpelnan (1981), (8.25) and
ase eid Buen pas of ne Homes, th ds ot sem 10 Be a8
(eee tea Chaos paren There re many nor top verion of
eCity puon sch nthe flowing uso: Ase tha ge 2696 per
cpr det lag hrf anne Hope o Raves dope ough Be
Pg abou tin oar of the ovners house. Moret, wang sans
AORRE Weed whew suc ean. Ths the folowing arma
(Da) There oto be no dag
(Ba) ‘There ug to ben wing sgn f teri no da
(DS) ihee ba dog, there ought to Bes warning en.
(Dx) Thee is» doe.
{at} {Ds) ae fernalyaralogos to Chita’: example, and a8 steps 1
(ees in SDL le o's sar nconsseny (Carr and Joe, 20015
ates and Seg, 1997).
16. $$- Ras Hines
‘The dedson of he mth 27 ta oh 281 and 26 pen te
Pri of rman onsen), Op ~Op. Tha pens Ns be oe
‘Sul indeyendent of Chin's eanipke Dy) exhlesthe pss ne
"ve som, bt sich conics ae no maa malin vt awa ty be
red tha they do not amount to pardons Chel. 1974, p24, Gale, 199,
1.332), If dhe conten prncpe a rected. the aggregation eine (82)
(Op 099 O19 8 4), should be ected wel, bese the ater pmo unde
‘ins the nin bereen a conBict erween obligates and the enene of
2 elecomtadcton iaton: the revagnton ofthe poss haan cow
Ais des no ean hat ne should ao adit the pen falconry
‘blgation Thus fopcas ve devloped yates topes Dy)
{andthe aegregation price Sot ld (hc, 1980, pp. 208 2), Never
Saxh stems dh no lp to ge 3 ety stn the pres ae he
CTD obgaons. They erale one wo cone oh that CTD satay ne
BIA(N4A)
"he atom seman res or ae flo
—— »ey
2 amd
raped
& (asmala+0)-2ut8.0)
§ (ancntesoystaval so)
a
decade
3 anavensaamvtang)
Motss Ponoms 1A
Adjunction [.
a
Afficing baa
Hsisasm
Cmampntie FAS
“To fm he pn apn Be Bch aim 9a he sonpnion ae
‘To tae syst ret lope ld was nom shen. Fc amply Be
oe Re results from adding 1 B the schemes: "
10 4H -9(B4C)4(A4C)) (Sun)
MW Asam) (49 (Conc)
12 (98-46) 48-4446) Prrmaaton)
18 ham (8~a) Coonpsion)
1 ho~hana (Roducto)
‘Wh he atin oft schemes this near the ing ad centage
rules ~ they can be deve (Aung thee sen achemes to Be Ye ele
Sfagent Re of Ran snl for he ote og seen cow)
"resus fom adding 10 fing, conto, ion, ec a
ae 6 coneposon, eduction
ete Lage, ———
1S (AFA) AB) HOE
‘Bas supposed to rma te non of cntinen— he cre of deci”
Eatin wo nosed th erat and cesar. Rw supposed to be the
‘nal br netckserdvansrson of Ue thot ws that as
pronase sae eonsp co Ba aie proposona logs hast $4,
[Xun hope wo tht by ang an 4 ke nee, coal be extended to 4
Sem NI tar weal pone elent to Bang he eralen fF ari
‘cane implsson (Ree and Meyer, 12h (1973) Alhouss Kah and
‘Ger cone thi frre gens of, the rjc alone eolaped
“Then Masimon (1973) sited mow sho a B which Is ones prove
“ete of ticket nt reso aig to sisingcomration,
geting, ich
16 (HO) (AVO)
2s wal 3s contapositon (axiom 13) an reco (avo 14). Here a atow
foal tan a a sence eke “A> sing that eircom A
{a jibe (Aron snd Bep, 1975, son 9).
ag esr ioc above able 13.1 preset some core
pes Benwsen ppt hss atl ese te the ein era
‘Ato is art ns of ame smn, woos sigan becomes dee
in wecion 138,
Gmina Toirneme Te ‘et pl
2 Puhing BSC) (ATC) Ratt Rabe
Bean sn Oso) ts hase
® (astm ia Rapes wate
¢ (ASiesoysests+o) Rabe Rat
Seen again ates Rice
Rex acm
aay soso
13.8, Combinatons: Connecting Proof Theory to Semantics
“This etion presents the matheasal motion bhi! the mains semantic
‘pln ley he ted tema mous exh ses at he
292- Bin D, Mae and Robo K Meyer
pole works ~it do define cn of aes which chars he creer
{ing laps sytem. ter mach more to than thi Thre an Slant
‘Rtntipserween he enim on sons a and the tances mat
nats eed “nin loge (CL) an ans ee (UC.
“Coots lope mse dee Cay pote 19802 ey zea
‘sy npr and uy operon and comatose" For camp
em ny an Sti, oR, 0) con sme pean oa
{in tion commute ey #2 = Let the don nn be ep
Seed by. Then Ha) ¥(.2)- Adopting the wal conenons of Cy a
‘aioe may be weated a Ipc an putes aod sommas dropped whe
tNerinng wo he koe ae Now neces operon Coch as ty
ton fips fe ica ido th addon ops et ¢ =O
Combiaary hag es operated mbit hat, dese the
tear of const Beit ths smal stock of cambiar sd ie et
CGnbietn fom dh. For example, there another combate hat ees
how finns ee cmc Tha he combate Bnd obey the equation:
Bi abe=sa)
where fad ga fineness tat here oF apphng the competion of
To Bcon oan ober he mame a he eu of te appl of he at
Fiction wo he rel of ping the cond fect othe et
Trtead of wing pecal noi fo Tuncons, combi og atempe to be
rely geen ot dingshing nto Geren finns and ere
SF a ge ss) went pac she hn
in abtion so the cambios themes, ne neds fo andentnd the OF
see ocombion Ape sche il be rpc a acne oo
Ina Cary ope theo pls of logs! portion pe vores se se
fern A eb ou ofthe vate by pcan (and prerihs) FOF
‘ample, the scheme Ans His he pe cmb hic aks ee oF OP
‘tore of pe AA xy comin to ype hte Went nr.
‘thereto es Lx Cy take ete ny ype A 2
siya the ame pe, So kt pe scheme A» A The spe oR lo eyo
Undetand. te vedacton ele n> (Ks) apied to any ony ree © S
ita neon fom hing of pe Ato sanction fom any ety hing of
pela amie A we 3 he i ne ce Te 2 en
som, which tir te ae 3 fe any aumento any ee. So K ee so
theaype A (oA ae 132 bs one combina hk eon Wes
20d pnp pe shes,
"A log can be though ofa ems oft of combitr. The reeant gse R,
fe example, in be thought ofa BGT, W lope because i coins a 0
‘ces the pe schemes the combats In dion, Rone aes
1 the ype schemes forthe combinations of tee conta, Fo stance,
‘ype sche of CLs Aa ((A> > By, which share oF
24
“Combinaor (Name) ‘Redstone Tips
ry Bes aoa
(cpa) Becaie) (BOA AO)
® Fer uate sco)
€ Gee omens)
Witigosionin) Wyong (AAS mA
icon frets) Rao ea
SiSeong costo) Sopeiaie)_—_ (Aca(Be9 0) -a(UA-9 BAKA
‘To undead hereto teen combats and the tinal eae,
tte noon of try neve The aging wed agen of ropes
ee ver now, ny rama cnnne roel varie, parts
lene and ant imps ae conned, Then x hey of
ogi Li defo be ae of emis X sich hat
(0) (aden i in X and Bin Xen An Bina Land
(G) (lenin) fA Bin in then Asin the Bis loin X
“Then + model may be ect out of the set of theres of Te The tericy
sce ction on ts st wl eee ne, Now intra fson
‘peatr here (Take meso wa einen! cone
‘Bin the syn tat wil be expe te) Psion dot hore
sylB 3A BE XE AE Y)
1X and ae tenis oT then
canbe at og et ein epi
ee PR Re fon’ of wo tes aw tory THE reper ht
Taek Pereture of heart depend on chief zr oge fr bat
ere ane geal propery of aon nt wl Be ede er
sion ace 1X 7 then Ko WS TW,
re tata ti nt a) 7
cre eh Sn ren et
warts a ey tin
Meee setae sere
ene andy mein ers
Se ete cate ct cnc me re
eae nay Marre
SS SGML a pi pte Es Se
EN IES MANES Barc oe ke an= in. Marr ane Robert K Mayer, ———————
sec ors ced der Ci nano it pe chee tore of
‘inca ows ie nts Th se ceponae a fo
Se combed snc
“Tees more Cary pear eno, pe > rms) wee aie to
comb she Ter tec: nore sesing 6 sng nt» seco
in"Th ht wos tndependelyGcoveed by workers Aa he ate 197 ed
by Capo a 180) br ey fled int Bho ce tc
der fon Yee te see
"Pik opin aout mul oe fr (A> (8-4 C))-9 (8-9 (A> Cy mich
scoring n(n ane ae te cmt Ti soe, howe
there Schnee ue ret pe By brows get 1 Soy
pene tam ich ro cel utp
“onsen of peut png ei thay elt Cah wh
1 oly ewe Rs ero "on tite as
Ter a profand sland continuo ats andeying the ca
pondcns. Check again the poate in tale 131 08 the reenact
‘lation Kinds ty vss cndnte som aches Nee tyne soe
$d rational notaton, the pola fe the tating etn res oe
Conepding combinant nal 13.2. Thnk ye gin of 2 co
‘nmol edition rie ses Gey. mace 187 Hn ae, he permis
So stom scheme war utd wi th me oe fen ced)
gous Rey Noa hs sth degen et
they aren he CL outy governing Corbin ot sla kage
‘ih the ote sagged poses and amy sche BW, CI
‘Mee al Roney (1993) were ey a ths hy thane och,
inde yt age of ream semantcr ad he sepa gcc They
new even hen ofthe eran (Cay) ope comets between smb
td terems of pre fn log thee wee ete candi ent
‘sesh pl mtu yi re os Ah
ows Tale 13. even he to peeling ter (VB an 13.2) 9 ION
{ng clos Fon bon . ——
Both of hae cant tom cere coi along wth, We ao owe
2 WE, Stor hme thas no Cay pe Ye the pes wih which ta een
tated ~ connie mada ona delet ad Tol wey ofthe pce
CGmbinor ——Renuim Somme ier
ms oa pone
onien) Wom Rane (aomnayon
ayn) Hates Rae (EC aha) -1(4-¥0)
296
—— rutenar tage. ——
eaton seman ate trl (and aro), WH hve a Cary ps ~ ba
tin We il (A-o.a)-a(A-=., nthe more ecing conjunc Slog
Tse comespondences point 02 dsp rel bane hors on ad
conser, Return tour sal pose loge Bry re parti, 0
‘mplenon cononcton pat Ba pronaneed ‘Ban which deterred! by te
‘Shihoms If of sion 127, wih the made mos aghncion snd ng
‘its persng thee parse. for tec ress (ishing 10 60th
Thodclng the fad consaoror Ky sel vo extend Be 0 ade bo the
Chant onan sat he on Sees
ay aor
ay THT)
‘tnt on Ta le ml racy wnt ih
Ti and nan yng todo**Te rong stan is cle Tay “a
‘Thok apn Dred ca U9R9) reas be oe te re il FE
ee aL) ithe thcs of B orth ly oft LE lpr
Sree i, oa en
ti Sunes st CL Tay combat (CK. 8.8% fo)
hn i ara Oman f the Comeponing seme, cet the pepe
Serco make thoy of BAT. : :
Pe fo Candice he combine Fwhse ype seme AA Sace2
tic dude the anton onston (on pag 298 ceri of he
‘Soman (ie won bog othe ea FA a ee
Sache Coan teva crent (i on page 298 Fl coal Jt
ee nes ly, pF one sch eer es
(eons tr mene of he any (An) so og wn
‘seni ay verte Fl con ay fhe borer of OF mii
‘iene npr alls anh low dy. at, fr verte
‘St err ae sis =ecepe te, sce tr coreopeding ees
arco sure leony hse li or hich de bees a wl
“Eset ner the or abe pues comic tec combo
in retcion re ie Keyes Whe Nope cnc bos By Row eco ae
Teepe tn ones omn pce ie pied eqy Bal en
elton apt theres sy the Rav Tv Foxes A By etn of
Bose Kerbs allt Sending B bong to te on-apy theon 3a
I uci tre altay chow (A tao why Tae aide © Bx) Desc
ing aK which tna te son fom cet ek THe omen
its © Se demon, Unmet as of zat Mohan and cir
Sietgs”epeay Propnion 9.6 of Deana a (1998, p70)
ihe her Semone equa ofthe Aas (ad hence ts Setoable
{Cutan ae tnewse mln the theo of BT.— Evin D. Mares and Rabe K Moyer
‘That CLs the ey 10 the (een seman iene means, 0 far,
(a) theres x mina ae lope Ba bse nd
{b) the aam-argy thoes tha lage (oth 1) conte dele CL
(6) fhe fison of theres modes neon! piesa i CL
(@) corbinto ar the theo det thc"
{e) all combine Lins old ques in thee feo,
Much bie en made by CI and LC torts shout the interes of
Formas, taean logs tr this wed Cary Haward corgi
‘shed [capes 11). Weinert pear firma A out ems ely a
foxmul~2he formal smtencs of one lose lange Agerepons of ras
sre bound into theres by cojunron and ene. And or out ine
(abeai (1974) abo emphied, bth tae
(©) whole theo are the underpin ingens of reve sels
(@) the sage of the mans foray parr ean logic wil be determin
by the combine ca erento some
asing ow to the ams of faker loge parties beyond >a oa
srooger rant logics thin Band ts Hn the junction v pons nia
robles One rf and aus to pcr) prime hors wich sai ea A,
[Bake pimene cdo:
PrimenessConiiion IF AV BE when AG x or BE
This is wanted teste i comespond eo the thomson on vs om which the
truths ot junction request uth ats dune, B pi theese
‘oe ava iy f0 cme by. Wore, even whch ea of the theo Pe
‘er garnet tic finan ay il Be pom
[None thee femains 2 wrng relontip ermeen combinator and He
‘tonal seman. Hor the ean trary aceasta
‘he aroctre prime thers
Res if yee
‘Ad it rms oat this sing he combina fete abou the lets of theres
(fer pen ope), the scary seman poses on thereon Rains
‘aes themes, So, thik vey (bt ony by eal) abut what mae te
‘sonal seman sand and complete, Spee ar exam te Cae
(49 C))-»(B-9(A Ch nan acm heme of te ge Tet med
{shina Puch) pomulte is Rage Remy, who conepondence lhe com
‘nator Chas abo ben outed, To sow ht the poms nator owes Se
‘om — hens the sone ofthe theory seat of Lune Cane spl apes
"he SemEat fcr ef seton 135. (Tate forte cee oe)
= teteane Las
rece adr ey on 00
aa er mt eee og et
‘Finan prac ov =i
So ee Cont nl se tek
a fae yn lc! boon he ce
‘Fyne sero
ee ge athe wd pombe cso
CET aa ac pac seem ene Hy
writ GG m dalle ae te pune oon ee
Ge eer as auen te ne woe on
Yermott fs Pu rte re pe thos oT. This, mere,
Tar gta en Shc my co er Ann
Ser fo ele gre 7s uty a
cing Lemma 1a te hr net # be ne hn
SEES That hen Lin yam emia of nch tha 9
way CE whee na macy
or Ls de dt
‘hen to ey fa, te he of rn
snc we ne ees sch
© xy cetand
@ ere
“Tope sa thre pie her msc hat ae! Coad w'Y
Levee gph)
2 wye'ga's'G w 1, Fon fc Hypothesis (i, Tami ofS
3 weyfexye'gw! 2 Clone wer ©
6 Sewewe! Defnon (ba a ayaa be pine)
5 wer a4
Buc hen the Lemna he x rime teary wo Ly am ah
6 wee 5, Sqeing emr
7 oweeucw 4
he cocsion ofeach posits, ot
Be nah tn and) So, en hat L pre emo, se
Soon ns scacon ope hones dle Pach promi. Oke
hentia matnataly egat rant ewe coon
resourses
sod aol emantc Th, bowee + i abou
“The concn ofp 7a 6 ves
28= Petia D. tars and Rober K Meyer) —
evel ar hs ate fas logs Fr oe an ea ation
San fe on eva lps (Roley a Mayer 1996). Fo cape
Sewcue of tears lsd ander Meth wo yee
13.9. Relevant Results
To andes log, oe ned to undead a ew of ts muha rope,
‘This sexton pen in» no techaiea wgy scme techie rents aboetseceak
lop
139.1, The admis soma
Wen Arden and Relnp (1978) refrmulit!Ackenane' gi (1986) 8
‘hei sytem B they mite Ackerman hind eof tenet sane
‘Anderon abl Belop anu that ogi hd not inde re ke tne
‘the uesponding thorn scheme In the aependiog heen anes
(CAV DAB on AV B AAR
‘Adding he ses, by vine ofthe Leni angumen gen in eto 13.1 abo,
mates XI val ia BA! wo sing ould rane om toe aw van
lege acy 8 Meyer ha sown with Dann (1975 1900) by ie es
Seren cena ine aed nee 7876,
ema E lnc ner Ths Ra md Bay Ba eae
‘he impo of he amis fy ges ir beyond proving the vcidene
‘of Band. fe shoms tht fg haute Oy cinemas eos A
‘ermal hry theory tac oma al the teas te lg, cont
Somesines ating alo shows tht van og onan sh oregon,
logic bso the csi propostional en Using Yon can how te Rd
B conan ll cai proposition apc gare tens of nesses oto
the comeponding chsaly bet Tops (Marsa Meer 1992), Une
ately Meyers eit Peano athe he sem RA) me sw iy Pe
nd Meyer (1992) tt admit In he prea, mes homo aah
A ofthe theorems of cs Mano atmese
300
tenor tonics
1292, The wndecidaily of Rand B
Lut (19996 (198A) pve a te gs Rand asi Th
‘inl Inport andthe pon bey er. Mom pilosa mone
Frcpsitnd! logs ae dec ~ fr cance, cal rope ogi
Sage andes nal lint Bad Ta he
‘iwpalynaeed popotond ng o ve br oen nele
aa recs gue even rato! oar
es rcv lag and ojee cs fee pan), He ten
Rect hc edt rs pr sare nite dnemsina peeie
[poses unstable pane tthe og deel
1394. To fear of anepolason i R and B
(a ab of er seems)
ctr ici ot nesing dc ga it rr
Pie shining Re wen Tad ge for
‘i cen tat pn a lu ot ow he
scone gs wat Anca hap cll be err Teen
Feat Pane au neon etc ne er sc pin
og oe ip 1, pe 31
Suppose that Cis dre fam A. Then,
(Copa if As po a conaficon al Cis nox 2 taogy
ther some forme soc ha
(2) conan only proposions vr tht ocr in bth Aaa Cs
() le denatie kom a
(Gh Gis dere fn &
“The Perec ntepoliton Tore the ame Crs hore wh he ois
the Feet ein Te Fo
‘b sccm OR (which without the. ein
a ee ety ie, mt ne 02)
SEVERE Eyota rane a
Pee ee eis ld ing al me
‘Sor oa gic
Metalic (1979) showed at be
aoein D. Mares and Robert K Meyer
13944, Bolum eamservtieexenion ress
Moye ad ate 982 (197) show Ste cana xd, se,
sep tn asp vias Sg cnet See
iGbe hn od sl Tassels enemas cto ea
oan an = gel ys oy snag pai ees
Boava)
“is encanto reson them a pip
Faw ont wha sins et el eo ee ak
‘Sen thee sting be win an We See oes
‘ee in lt hn Baap (990 98 poe ec
i en pay" Dopy Laps ers pe
anne ern wt bls is Rage Sa eng 3
and Bart de wed (re 200 nr NR, enon see
ice tn Mins, 192) Bec Rey has ress ce E's
Stn ened by sain of ose wpa Aro gS
‘this chapter, he has not yer published this result.) =< >
TAOS. The consinony of leant st theris
‘ray (1988) sowed tha ass hey wih nave cmpeerson aio, ba
‘ona weak evan lg consent. The comprehension oom
aYVAUXE Yer)
were ant ae varies ranging one anes Ti ys at fr ea ope
sce thet ht tn Th lam a fete
‘hy ica aed the rho of Roa pd oe che
Busing i DJPQ ohne, Brey 9H) sb atc of cases =
ann Brady (2001), theory of a ha Incr nae sone
13966, The complecones and incompeenes of
‘ranted relevant lege
Fine (1992 (1989) shows that the gunned elev log, RQ, no comple
ects domain mance According to te cena domain seat,
‘ch we th sme sock of inv nd the th coon fr the wie
‘qui the edad case erm mol log ee shape name
VA, 2) = rue 1, a) fr even eran of
i
Fine shows th tete i shes ali or the cis of contact domain modes or
hat nor penal athe lope RQ. How to sematae a loge comple over
the conan dancin srr a sn open question
Tse 1902+ 1988 evloped ie domai mats or MO, The emacs
be gute compte and appa to pec notion of arbiay object Dat one
‘ovale coat wi mote ana oi by ng Fe’ est en nes
‘Som Rapes mode! tee fraser ge [ee caper U1. Akening ie
‘on dy scr mol ike to ther wor wh ger domains i
‘al by anion, Thar ebony f Da) DIB). He's rac foe
{Be quer may Be pa
ado) re FL, Bra oa ee Qh and every mv
nec thie sy that» ver und sentence, Vi, erat wor
ifthe open sence A itv of ereyting in vey Word gr thn
1397, The PAW problem
“The loge P-W, i aly cl (or -W sould be el) hai
tion sls cones, comin a aoa schemes the pe seers othe
nso, and Ton snd under mod oon Dap a onecred
han or formulas And eon es In which bth A Bad Bow A ae
pro in BW ae tose in wc A and Bare the same fornia, To the te
Te Lary Power showe tha th cnjecre seule othe conjectarethat
te formulae the frm A> Aci be proved nthe loge, whch the dose
dee mais ons the whens snd lone. Marin (1992 [2978 and
‘Marina Meyer (1983) proved owen conjecare. So Marin sated the EW
Prot (ih ha xn chaping pas the Ferma Las Too ofthe
‘Mar’ non ef te BW ole 3 model xe of ence ge
rly and plop ight ng Band in and in he araacemet of vane
Tepe Forone mom hana loge tht doe nt make val ay Rem of cee
‘Shorty ru bear shugit sce the begining of lop tha ern propo
‘Son fot snr ony ues bt to aos In Stone hs gi aes
{foe and enh al fe of ee enon. Ts ase a6 esd Fr
Mee abour crsary abd how wo nid"
18.10, Bur There's So Much More to Say
Thi caper ha prove he reader wi +i look a the seiveton fo and
some of the tached and poopie ape of eleven gi, Bat as eny
‘Crched the surace of ti ban eld of 1p ta as tee dhe Fes of fii
iene matiemaa sting and pss debate fn the pa our deeds
Tas nt ota on Ue ae of flan login automated theorem PONS,win D, Mart and Rober K Meyer
(Tiiswste ca, 198), reason onc logic 9 competing mare
{generally Nor his deus the sometimes Busted bite oer the san
Alanine slogan (Read, 1988). And tere 30 uch more."There re ae
‘ean ogi that rj now tepaing to be expe Te ratonsip exe
‘heelys an! gh frre copa, the we freon ge
‘no-ponotonts een, hn then Hope thischape pie ete,
{0 dhe ie thee meat on Sonn, say without ane
Suggerted forthe reading
‘ed (Dan and Kea, 301) oe epoxy debe camurdng see
Roney, (1988 nd Rend (198) a pt pla toate. td ey le
‘esd omc e th mc ht ean pRel OBO, Ms
(Gols rae loge ch el detonate eter who a
sence shane nA 19D er ees ne er a,
‘opty ot wot on lant ais compet ty Bebe Wall
Notes
For the atin ary lent og a wu Red (1988)
lwo th ly te 5, dng te cinema (A)
Shakeel iy en rh it rnin,
fer Chet rans Tand Fee econ 138). nn meant
4 Mewes wet Nile Gn ing eg
“i lg weston rl tras a eh
‘nn a ey (1975), on 194) an Ma 3)
7 Rave pnp oii ey mcr, Nt ora
asc hr eee Rae 2 Re he oa
iSeeen'n morc cnc Rud 8, A oe
‘Th Meyer nd Main (1988) a he Ani float ee
tua Ther 25 Sotatng Amen Pam ge by Date 19% 11976,
$l commen wy 7 7 a we»
io on the woe semas wht Roay se tee tte
Se ty ca 8) he ee te gle
‘Me sen to youl ose. Thos plano! epee
"eatin Mis (195) Oni mats, ew acne
a doa ipsaienr (apne wei act ed ae
{wine Ont emt one ca dete Cabo al eee be er
‘84 aa vot impo ster wo te wna ae oS see
‘ile they an be Combi in th ea a pose ee
304
Rent Loge, ———-—
10 We dont i fl son of comity ach We wt he he
With nr eh hy. rar dete ection Ht ann
{Ion fh ogc sce CL dL
11 ps pn IEE 9p Seach en eed LC
ot eeageytatanepans gmt in be
Seen treme r
1 ran fc wy yp ee od apc Ta
i :
1 eo creamereranepiousenat Pemntennte
Eovamsictangmacee arate
vp EES w cemmenuanereupamtie iti
tie crc ona mens ie tae
Se ee ees
Eero isang immer tpearanis
He iad cinricatterrge oem
Leen eee tt edness pe ror eo
i cab tas tm Cacao
ec Rap nana pc rs wri
(irom car thre be cn noted it en be Ton we
18 ocr wh lift wa a
threat se ent Hepa ea
Rede ye ese sot nk a
19 Frama Ne ety ommend cumin cer ii
TGR, nt en el ote
tee
ean Ween ests Ilan’ lf ts
aes AR and May ND 1975 Samet Te Lape of Rene an
ein amc ey em PN yyy Rae
woh tinge fam —
SSeS ace ei
ted the Comicon of ype Aoiment,” fem af Sac Li 8-931 00
in| be on Cn te aie Stain ED
tin Appcantcn Voth S hea. nd Rtg ad Pters e (SU
aes Cambidige, MAS
st ey 98 mai and te Pam "
“6 ————‘vin D. Mares and Robert K. Myer
ea ND fe, ]977 How + Cate Sus Th” Comtmry Aagec
‘alas th Saha
eno, Nb J 1900 AU Fur agi eMart
Tf Ds en Ep cn (DA Dec 077, ene a
‘Sn ia ns Dane (1988 on
ne Ry a ama ai a
sc fins "Ont epnatt GnBnan t”
sy It The Sle Cayo 3 Theory Bae
Niven ral ra lap 3-0.
ease Now yf dS Tar” PersrntLg
Ruts Norm, Pps Veg, 07
ty ong (em ed coi
(Cam The Wea het of neste owes kn, Unrcng
‘lagna Lag der Sri, Mc RN
hai ee Veo a ber Mach, 229
eyo bs Capi Ml Nena 1990. gly Shee sd
‘eats Serre 1H R Gary ye Comal Lhe Ca sed
onlin inde a Sey teen Ne, NY, ato,
tea hrm ea tin,
ol, ie Ten Paha ea (98 1-97,
Dame 1 Na ang er ange” procs mde 6
ne Amen Topol Roane Anane of Syme Lape yoga
Dnoey1 Toeee Mek - sent
Tite P88 wn i oo Red Bs 7
arm 1978 “A zen Ste fr Rae Relea Inti” Te nf
Spi a i ae ers ome a i
Di A 0 Reet Lge a an” Hed lpi Ls
it aya Gace (Rate, Dron re
‘im 19 ina Sema He Dee san "ane Pe *
pha ai 29 (1970), A eed em, eon wl Pn
tense
Dan M8 Sade Te Non” pia Pe,
Di. Ma Rew 6 201“ Lg a ati Hand of he
it in ce ne Dra) 8 ee
Bh ts)
oe 1992 “Ione fr Quid Rat Lg in Din in Bat
Tas Nor al Kam ee, AIS,
‘Aten, eal Da (990 31
Yim Iba Me a oral api Lp 3974, 27-72
ee no ap Da 0208
"Pd. Senn fr ated Re Lai ora hie Lap 17
(G98, 27-59. Rened Aan, apt ua 1982, 13-0
ne age
ar a a
ener top
aE tT a St i at
‘Lagi 57, 824-31.
He ln stein Cm dan Ci
cermin :
ENTE A i nes rn tin
er te ee
ne ena! seta md
cc a! npn a fy
a as
at ie of as em ne,
PREP Aare ores gal tice Reh
a a ek ara ag 70
sce ee Sr ra Os at
ee ae ea a pe ln
1 dca ge? min help eee,
a ase dn, hn Ne
Ce ee aS
era Pad Meyer RK. 1982 “Solution to the AY Bren.” Jowma f Sombie
nt in Mea Loi
ae ee Nap an nao rt 17 (1978)
Sie, Stwansit rym n freon sod Bea (1978, 26271).
ae Se a ay i a 399%,
Ce rh aa
na i a a al
i ey R197 Alger Anni of ten 1 aia Ana,
“Meyer, RK. sm Routcy, R. 19K: “Clas ctevane Legis 0)" Sia Laven, 32
Ti sts en
ae eer ee Tere ean Lage” Sr. ath 0, 2-8
se eae en eng a,
1s on ipa da aot ee Poh on
Sona mania ost
al Smit
|vin D. Maes and Robert K Meyer
“Borie eer s
segk Wat rum tn a
ot nt Mee 96 Sel Lega To Vie Sem”
Cit dees
"ny tear l(a Hora oer 197, 198248 pl
soe ny
nc tat i Te Seman sin 1 J Par
“lel a1 972, 52-75 pe cy Ro (8)
sett hom Smo ner a.
at ge 8 Ry Tl Pal Nes ah nd Ta
‘Rivals, (Ridgeview Pres, Atascadero, CA). =
ss ops ne
‘Th cid Ded Gana 8 Tay ed Pg
MS] Memoirs 2, (Mathematical Society chen To), ———
via Fee, A Myer Ame we re
Nore pes
ga Sra ng uma a ag 29723
‘aga Alain Uns oat at Rn pn ra
‘Fhe 97 pn i
Tran th tf en oe of
vit i Mati oie ner
._
————— Chapter 14 —
Many-Valued Logics
Greegors Malinowski
lai! tog sed the princi of Balm, ehat every propaton hat
‘Saute of eto les lcs ra ony This nd expres he 0
Iie the law of the cde male
cy poe
the to wooed
(ew)
“Win the esa undensanng of he covets, BM and CP may be el
fi eo Foe nH
rope
“Tic et neal an taigorvant stp Heondr0-aud lop noce
sno ina cy hey ong the pee oF rece, Anode, ne
Toy colce nhargag we tal hor cncering the seen cet
‘nln oh toed comes ate mi, er wy.
ropa etn mcg ate
Tete ent atch hts bor neon earch ioe many
‘Sted tp esl coe or casino the ore os
tee no man ed loge ech Aire wh i cut
concer fr far congener tmiow ~ and aed OOD
SULA snd he sre ey, he er fran alos eit
Ii Bao wid he woe of Earacwic an Px Ths chaperone 3 28,
td ten eo
14.1, Eakasiewice Three Valued Logic
eta nrc hn! el ale ~ wich canbe le ination
{00 ant 1 er ibehood sad th a es of plop vein iGepore Manon
et feed, ndrermii, areconge, mos, an the paradoxes
fae theory. toe he argued tht een Be
1 dl ben Wane at noon on 21 Decree net year.
is ste din of ts uncrance seers no fl, snc thee Bl concne
‘Sour neceniy or imposaby of onigen seen woud low. The lve
[Paro apy 0 woh se Ina, Esta nerpeed th hid oe vale,
"posi orindterminay nd owing his nations about tee eos
‘apex he extend the cinerea of negation an pation cord,
He gigi
alo Tioga
‘The eter comes of junction, connton sl equalence wee itu
troup the define
se tav-8)
en Pasle BAB >a)
“Their tables ae
[A sation of frm in Lakcncr ere value li ay Rtn v2 oF
0.4 IT sompaie withthe bene atin, where Fr the oto Ral 0 7
[Enpuge. Atal 2 fru which ae the amare vane unde 29
walt ¥
The 1 ftantaopes ofthis tread log of Eukaenc ifes osn se
se of wo aed aspen TAUT of cla logis octane, nite he =|
‘the lade mile or he pincipl f entry Tse th 2580
‘Eto pany sich anton ako asces | with EM and CP. The throws $8
‘elation of hee ewo las was tended, Lakacenc’s pinion, tocol
Prine of ndecemi
Asher propery of ne sera hat some sly none fraus
are no loner cotaicoy i One sc
ome
a ——____——
Many ted Logis
incoonccied with he fos Rane pron of he et of les at are othr
foun cement [ce caper 3]. Rael wb deline y the ein
Zeleees
And the remingpuadox
yerazer
isan instance of), Huse’ prado cee 10 be an amin ia Ly homere,
‘ocr ping or pone he ome te nd thee (7) no-one
[Eesewie fond ro be song onpasen i vor ois re alot ogi
kev sao sot to folic the oda finer of poling A and
sce hae te po erin eos th
ancl chal fg he pop taking the real oie ee bt
‘prea 1901; T (lakosewcs, 1967 (1980) produce simple deinen,
{Sing egeion and Inpntion i eve 260 connectives Sat woul ext
okie requires, ey
ye ¢ Teste se)
Te fist own aiomatiaton of» sem of any ogc wa War
(0960 (1981) mtazon oy mame forthe -y 9) eon of Ewes
tected propotna ss
Mpg
WI panne")
WI pansies)
We paisa?
vith the ules moa not (MP) an uve ebaion (SUB). te eat
Ubu yest fyi the ober Ehadevice sonesties ae table
in em of tegaion an mp
14.2. Post Logics
Asan outcome of is sah on he csc popostonl og, es 1930, 1921)
‘Sosvund 1 ly ie vlc propoatind Top, Th a ined by the
Ktrmazaon of the casa proposal eels, CP, presen in PrincipiaGexegre Malinowski ~
Mathematica of Weta sel asl (1910), by the method of rath aes, at
ions own cue conecingfoncionl complete fr dani log
Filing Ivins Mathnatien, Tot takes negaon, and disjunction, 8
prime connctnee For any nar n=, he cone Une ore ot
see
itso
(and oly i) 5, eaulpped with t8 opertions comesonding
esti; aay rao roi etn Ab inary duno debe
ce in
BY Aa
“These equation dea, fo given w= 2, ween rath ables of negation and
ijanton Thus for m= the ables ae
1s cays ee hat fo m2, Pt ope cide wih the neato urtin
weon of he clases Hogi he set =] ay be ened coming
Sd Tepe) ad the the Post gain and doje ae meric
‘ean the anal veces? The lion CT ess dows fm > 2.
lithe ae heath the negation sat empath he lal ne
Toe omar at de she proper of dgurtion, ava reponse
and fin. Tht, = fy ely whe Aon
‘eid hi the nowlned Ps agre
Hotes 9)
ler coincides with he acgson junction lb f CPC (m= 2), he ater
Speen a eile of > 2).
"ost consis the tah valet the dtingished element remable
that anos the Ine ofall slog (m2) genase of we sit
‘aul of the csi lie expec interme of again and juin
‘sl prion For example, thi counter ofthe of he ended
Reapmpevag oe
Maya Logie, ——————
issue fra, By conn, plains fcc denon pastes fr che
Soma conneines, he conjunction, impeion and equ el 0 er)
‘tangs il Bor eran the defen af conjunction sing the Deon aw
av)
rls ns nonasininve comet a! The sone of weap proper
Tanith he ate caer of Po etn
he mt er: peo Fon tc i atin een
‘ber dc-apumen soo Fan Be eel by mes oh tv pie
fence Tape he, athe consort fino and eae the og
‘ae ny -ecbs dea Eanaing eon comple wa ne of
Post's pry in
onan eta, dein wi cul poe i a
inaesing tenanmerpresion, Pos gee rein the ens OF,
‘Suu coespending oped (1) eee ples P= Poh) oe
‘anew propos Ps ponsfe Mae spay epied wih
the aye of ochre grote condo tte eprops te
‘iad bre sh Tie conmetteno B* ded
me by epaing thi hc een eh uh
(SEEM Stun tbe a co te cese awk ce Pa
‘ae eect
6) When Folge A04 Oates PQA te
hvtnonbiv ted
The maping 9%
sya Poms ely (1) enon
- example
sabes an iemorbin of (£7, ~) onto dhe os alg P For expe
‘Se unhene £¥ comeyeng tthe ce of Breed ost ie cosdred
hoe const of tee ple
0.0.0.0 5
0.0.0.0)
10.0 6
Grog
anny &
This inept of lap sand ein ow, anger ing
the ales dierent Pot los sald be undetood rny
“put (1921 ao dened a any of rely mpve wae! lag, The fly
‘sly een an coves impetons depeed y ote hn, Lave
a3- Gregor Malnows ~ -
nel Gavel The nosy hs able propo wa that Port designated ay
liga aus a ne‘ poi, que tera nod, mas ot conse
tray ofthe ogaror of many vue lope
143, Threc-Valued Logic of Klsne
‘ene (198, 1952) the autor of wo epems of tcl jeopsins end
Pret loge designed to allow forte indtetaaay of some propostons a
‘So ato ime. Tae src nnn vor
‘Sundae of mathe and he teary Of eanion. were there was ned for
fool tht rd the tale of pail dened praca, or popestonl fn
To be aware ofthe necessity for such logics), comsder a simple example of sch
«pret, he mathemati prope dened by she equaeace
Patt =
‘where is vale ranging. ver the set ose ube I pte et the
‘ropeina ancion (a undetermined when x0. Mae reed,
five yee
Propeion Ma) fundecmined fa 0
ase cose
‘The sang pin of Kien (1938) contraction smn neering a0
‘he props wun gel wale of th (1) o Hy (F) 8 une wn
‘el hy mest cf scceabe ign, Ort ent fe aac
hon. The i tga ae of under (U seme Re ths ego of
rom, ete ore the nl eee a ees yee
aja aiFuT virur ajpur sjeur
E(t Fyre Flew Peer Piro
yo vjour uuur uroy vfoee
‘One mayest nose that an ase loi, he compete’ behaiorwonat
‘he canal lg! alee T and remains wnchangot, Furthermore, the esis
increitily of Banda Bs peed
‘Nleoe cakes Ts the ony dating vse, wih the ret tha st 20
fermela 3 tla. Thi lows rm he ict thats vation whieh sis ©
a“ ——_—_—__—_
= Many aoe Leger
to every propositions aile ako age wo ny foul 1 sing ht
“Comer entennn of the mova lg shoul eal asa tutelage,
Sep pan pb.
ie (1946 prose he os acne an comp inspection of Kee
connie, eg the noon ofan neice do gen soem domain A
[reed by pal einon LP of ome propery P(of denen’ fA) 0 be
‘Mivce ied hanceni futon’ yea 041)
1 when Ma) ibe econ 10 24P)
Xle)=40 when Pais D¢Ppandesie
[et wen 7a) ate econ 0 DAP)
‘Ay fly fines ss often domain A fons 2 Deg ie, wre
Slee epcatons Uy 9 and
(aU Via) mesa), YO)
(oY) ini Ra, Ye)
(aa) --m0)
ane coutcprs ofthe Ree consis Kener’ ies ve ese ec ea
‘Hed inthe cy of gh sf Poa (1991) a the apprasinain ibvst
(i (Rasaws, 1991 Bole sn Bovrik, 1992)
Ks (1933) cers thse ence ston an ios na st
‘pest connei Wihegasanaegulen the sine, be des the te
other bythe es
ajpur veut ate UT
Fret Fro Fee
uluuu uouu olooe
rleug pipor tle ut
“The new tah bie re to dette se employment of lope omnes th
‘penton thet propos! anon whose desi depends om
Ce eS eetares they ae conte scoring 1 the rl hat 207
Shor pseu (7 U ten in he hole ont aking Ute motarion being
(Bar ndtemincy securing a any sag of computa wake he ere poe
4, ochar Logic and Beyond
echvars (1938) conception of the treed Tog edn the dn of
Poon at Soe snd eae and ben raping? in = ero TeeSonal engage. A proposition i mein ts eer tre ot fae a ther
ste ond mirada Th a eed
“The proptonlngnge of Boca gi st wo eve, ch corpo
let lngnge and metaangage Both lel Inve the ov conuetes a se
‘unten of eaten, mpanon djnion,conjncson i equlence. THe
‘opines of Beever cnsraction comspond to Kleene weak og (tema amd
{0 calli eterna) rope The intra concise eomsene
‘Brel peneaizaons of he cal one hey sre dented ere ys
‘Nand =. The vernal connexes ae deve to hres the rele Se
Inga vais of propstios They are etinguitie ad incorporate the ee
Slow ue anti le’ Those se marke are coer of he
‘sendand connects, and understood nthe flloning wy
corm negation ta aise
urna impiction a 9° tice, then Bis re
srl dissin av" see o 8
ecomalonincson: ast is re aed Be se
eral evivalene =" is ee HB nee
‘The sth bes of itera cones ave Been compiled scoring 2 ere
whe Fao Klss's principle. seer compond peeping es
oe meanings component meanings inate a, vlc etre
{tsicaly.” Ths the iternal Bocvar connectives ernce wth Kleene mek
antes, 8 gen by the aes Rom he fst son, Bu th Um Forte
“sive meaningless The sth ble exp the seven lt of Boe
ms
tame
se ur
e frre
vit t F
tlre
abt mporns open of Boho comin, wich mee mer el
compat of two lees. The page fon the ince to exer
is asued bythe src arma aerion i te AT th ele
onseine andthe lel ied deStions of he eter connect:
= Many ave Lopes —
oS ay
pene at
sopra ag
oe
‘ede aks Ta te deed lead sh si socio a cn
Cherie Ren wet ge Rohr nt cs ali
Fiesta ngs cog rr ee ate at es
Sal tral one es as U and wc be ar ese
Comeciver wep oF an da
Sec nr een par 00 dep tens prope
foraing wn voto oo heap footer ata (29) fe ome,
test teint hse Pp Hana ie ng wes
iy Cy th) on ening! (0) 2 th mera re noes
‘tno nl nnn wh a en ape Hall’ ste, ow
Sei tl hen mena ig
cece a opt, Ty a eigen hn fas he
trees nae Send lls dass fo lola U 08
‘Tecra ino te In camecc, thet
‘omar cag cn ite ang CR. Te
Suton, meres clic og yf ine pops Te pe
Seems ny ese vel of ee, cig mao Tn
i pvr yp ow fom po an Toe hat ati ts.
wat hp mean tq he, ode ch aan ot
‘ipated, ee par menage bh sped
ta rvs i satin lope Tots in, he
dc the tess of pono, sad eee, sng i
‘Sis dene an tw fone ince es MP and SUB
me epnse
RR patyoa)
M3 ogni on)
He pate
HS sgngasende
Ho pap
a6
a7 ~~ Gaaegore Maoowsh —
{In hi anew tet eine a he # connective, pang “ay
“Thar at cmeponst te mening tania es eigo™
Turher lors of Haley proach sade by Ags 1962) and Seger,
(a965)"Seaing th probing with normative mens, Aci eed 3
‘optional calcu hata mine wrist of Euan thee vated loge or
Faget of Keene sng ge The tree pms of Agu lie are ee,
junction, vada spec consectve, Ther bles sete te vas FU,
‘Timournonton), where te intended ening of Band sands an Tithe
‘ny seated value Hil hele f negtos and denon ae the same,
toda norton, a the th-ble of Fakawice tesla sonnet. In
ten ir deine a
Me)=KO=F and TAT
‘Acs roti sds with the Bane “nee” peor Te 2
on 14).
‘Given the php ppstion of hit forma pprach, Agri des eee
“ctaserite functors of esse
Fata Laster Mayle
hoe fee reading i i i” (a), "a meaning (i) ane a is mean
ings (.
14S. Logie Algebra and Matrices
“The algebra speach ancient of ap invest Se, Fores
Ravows (1974) and Wack (19BB) is we the cine any aed loge
tspscilly naturel andi ube ee ih to rer many ates,
Ippo! anpuge seed 39 sper man
Tal FF)
sina to Ay upping Var» A, may be extended uaigucy to the Home
Imo Eo» Ay he Hm) rerio ste eqipped th
Ainge satae of element to orepond to popestion oF esied Kd
(eg trae sentences) te elle lop atc. Mw pec, at
a
Many Vale Legs
M=(A,D)
wich beng an alga snr a language Zand DE A il be eee 0
Sterrfor Hemeres of wil eel donated (or, signi) ements of
JIT sex of forma wich ke desist aes on
(A= fee or: he D any Be Hom, A)
Ie cled he cement of M. The relation sil bea mati cence ton
(1 pied thay, for ny 3 Bi
hia ior every HE Hom A), ha D whenever KES
"The cone of mac 3 coame ofthe st of aloes a the nti
shen ration gD" For a tal generation ofthe clan of asl
ep uae thee concep he nga feist a
Lene)
“The, the oem arin of te cane ips the fom
A=(0M AYN)
rhe sine al em" may He wel fr ane wo de
ae ata emit yes)
iat
Mat wv
athe asic coseguens lon inti notation cua Flom:
rai er vey HE Hom A) beta whens AX (8
Nove the tf tones ie coment Man consi rma
Ete omg othe en st, TAUT= 4) =(a: 2h, The
‘hd acon rm cone ene emia ms of
Sow uot roy ro omar ad «Bl Fr
(let) XanaDiE XH OB
“Tose how te amewok of utes and conser ren wos tay
solid Inge conser sew proper ce raue lop ae prec Fs,
the matt of the aceaed logo aa
Mat Mavs AD
— noGeer Malinowski,
swith the connecter e by he fbr in scion 1.1 It now poe wo heck
What tthe dedacon there this frm
(44) XanBixra
6)
“The ef tig secon ewes To sce why the antecedent apes it
sult comiders alsaton& which sens mus oe Xn [I] a 0
that amd iO, For the we remo, (dey) fe th ee,
"Te st expe shows th» may valve loge uy rn aly on the ee
of tala, hut sho wih rope fo the les of consequence Fel and,
‘imately, by eset of lfrace rk, Another eve where the conesuenc
‘on impor, ec wen the logic hu he empy st of ttclogiey ich 2
‘ne finds with lene sn Bova oi, Tne mati he weak Klee ope an,
‘his the mera Bacar Inge
KAUR UTA ITD)
ith he ec cation of operations in secon 143, Hwa aay ated a
this ges non tutogl, BK) =0. Hower, lene gi no a se
the conseguenes Fy, determined by is mae snot. Ie ienoewerty tha the tof
rules of Jy, consis of sme speci ues of he sail logi: Nay 9
‘lai Gnastcat Cyto mach tnt fr some vtaon BE Tome A)
beets
2 lf hye ad Varia) & Van X)
“The ise uf loyal mates is undoutnedly the mest natural way of seving
smanysaluedner consequence reli iar fm by Tne coe
2 'genine hye of ths Rnd ae aay heen ded, Never, kink
‘mule leet mai oy. fuse Yor the kg! natin des mo une
Iayraliedsen- Ao, there ar dierent kindof may aude, Caer,
(OT aaa a5 FED
‘th operons died bythe aes
Nate, ha wth ny BE Hom ly We) the valuation 6 € Hom, ore
ponds in one-one Way suck it a [Ty I} Hf sei. These Pea
nd aching move then heeclement made the two-line
bo
try vac toes -
"The las, smewha iting, ie when 4 mabe cement me reins
laa tautology, Le eoament comes wih TAUT, ba is omsgoene
‘laton dere om the aa by some les of fence. The mate
wm
KURU TI
{se the Ksone-Rachvr mts bat having wo mes U and desgnsed,
sth propery. Ii connequence operation Fes MP, since de eence
Ip al eg doe oe hl
146. Functional Completeness
Ato lt is fn compte whl ay eons vee
Ein o o, Coclin e
Capel sc nw e ne ra sy 30
iy tre se ani, comeecy ota be py
hen wining al umber pt eth dsr Eee
says ft om
Use fee
ih fino tay operon Ui cl fmt compe
Fe i eee wd oie} grand
Set te ope ff
int ei Copco (931 ef te
come ifthe ptt to sal sober f omnes 10 ree ey
Sieroter any Feet oon on wher = mee
then Cait be ment ompr rm vr The ops ane of
{Re en shar wan di of ao mot matumcncones
“Theorem 14. (Pose, 1921). IU fnconaly compete form vies,
Gihee msr2 then i a Rincon comple fr m+ vals and hen
ho faconaly complete
seca thc
sotieguserhereerrrate tte
SSR ie en teres
peer emer teens
Seeaetisg isch
ameter tigemeae
nirvana carats to
eee earcreinatis
san faa eee,
Sac
ma——— caregeee Matnowsts, ——————_—
feet tanten
howe sv yr mais)
Conse ey Pt rn
Pelbees
's fonionay complet (Post, 1921). If net oo ta
Belin
they vpzedc ofthe sgebre Ay
“The func complete ofthe mae lg alge importa bees
roposoel og founded on such laste lg ofall pose ete
lied conpesines (ttt nein wes »=2) and evs m, they se nt
sere, unig, Since Cuptonal completeness nor 8 Regen propery, vend
‘ter ve ben formated which mip ep oder presence
‘Theorem 14.2. (Shc, (1938s) An w alae algebra C4
Suneionaly compete iin Utes ae cea
20, fe)
(i) ll oneargument operons on
(8) kee one woatgamen operon fs 9) whee ange consis ofall
wuaveriziee ”
sing theorem 14.2, one may easly etabi he intimal nope of ll
{he thea logis esrbed above skeping of coe, he Pox fog Ts
for example, forthe Lakasewcr tre aed Tage Ly se thar the Oe
{yuen ot fino 1" T= We ay 1, no def fom
‘ofthe hse operations (cece iy. Ror unr ay comp anon of
‘one arent sd aun hat 1 [0,1 then ue she ae the primi
sonnet, the up vale canst be ea ty CO te her ens Se ame
{erion noes that ading Te the stock of fre of ty leat the ncn
Aly comple lg alah (Steck, 1987 [1936 Frtermore, Supe owed
thar he ef aioms WI-W oF Waerg (ee sexton 4.1 oper th
WS poate
Ws 9+
"igmaie the cto compete venom of aksewis hes valved ic
‘Stpet (19396) alo cnsrced th lage posible da a toy com
let loge and gare» general metho of tee somata, The Spel a
Su (being pen satura number, = <9) othe am,
Sesh RS Ryo
oy
sta vant Lagi, ————
whee binary ipeston), a, Suns persons deed by
Lb wisest
Or encase
fron
aye
se=h
Heh sina to Pot logit det ithe Post negation and so
“jemi fncon, Fy, the ska proper of ipa cll Specks
(Tip tate ofthe hs of logs ed byte above mates,
The er secon hk sme ne ed a cnn Th
rc factional incomplete ct he be te St oF pal anton
{hy alee‘ hs Kind in uncounaty indie, we wing» Ane umber of
‘hin opertns one may dln mos cout ly of fon
14.7, akasewice Logis
io 1922, takalewkcs genesied hi thea logic amd defied = my of
many oye both lean nie aed son, 1970p. 140) A
Tabane nrc mari the oo
Meal aie ID
where, for the et mal pube
[dodo BM Weeanen
telyederemneeN alee CaN
lon ana
nd the funtion fe deed on 228
sejeGog ayant hey]
ws —‘Grepor Malinowski — ~
The lnroticion of the aw many vie logs mat ROC sported by ay
separate argumentation -Talasewir dd ot ge new reson forthe chose of
‘pore loge alc He met nerd thatthe encasement
form 3 onc oie eran he mts of 1920 fe sed lope Later sry
has shown, Row, he Lakai logic fave may proper tht mike
‘hem aong hemo nor lag conse
ist the huhaience mare My soir wih the mae ofthe lag
Mao thet 0, 1] loved wits reper a aneic connecte, ch
i sother eagrenion of cma chro te generation, Comet
‘Aiea stale fay algebra (my >, vA, =) ad Ake sr oF
heel aloes of tases propos a ee
at) Ba)= TAUT
New, the reeons Benes the cones of fite matics ae exalted bythe
famous Lindenbaum codon (Eskew and Tank, 1990)
There 14.3. For fe m mE HM) HM) Tm rir
“The prot ofthe la propery maybe bacon the “bmn popes men
‘onc above ofthe my of the Se mece of Eaasewis. Ung he
!rpument one may abo pore the conic a thee 14-9 fr mar conte
‘etc eens oof 8G.
Theorem MA Foe Bie mE NPC iP m= dni of 91
“The mnt nereting propery ofthe inf halen mares hat they ae
the ae eof tad comin ont cel aie
‘io of he smcemt al Bic ane
‘Theorem 16.8 FM) = BM) = UBM) 9 2, mE N}
akasewice wall lope Lae not fanconly cpt Al of what st
‘stblshed fe n= 3 apples fr each nie mF no consant ere Osh 8
‘erable in (Uns “hve A=). Second adding the comcast te ek of
Sonneives res ii ale tatcoaly compete compare theorem 42)
‘Aad ine generat eter ty 1/(9-1) ory (w= 2)/(m~ 1) ang
‘oe of them wl do the Jo aswell Ngan (1981) formated and poe
An ingests detmiliy ction for Lakaenice mes bth ie ade,
‘owing the mathematal teat of Euascie's loge costroctons
pat tet fe mats te sontitle was pen take 208
(1920), However, se pobln of aman conte xm te
fit Eakacnicr lpi for n> 3 remind open unl Reser and Targvee®
(1982) geneal method of siomatation of weued logs with conte
Many. Vie Logics —
sas te wo-cid sand condo. This meth cn Be Bcd mons
‘Mhursw Ts sce ch connec acer pec cen Eatewict
rte mawics, Hem for cry» am abomsaton of Elance’ ved
Proptinal cls an Sobek The alomaisaton, hone, bce
{ery comple do oe hh perf the mth eo ty Rowe 2
1930, tukaewice (Lakaenc and Tan, 1980) conjured ta his
sal lop war somal
Bsus)
2 gagrternseon)
BB (poaAalerA9P)
1 Gran nen)
15 era aaP90P)
together wih the ke MP and SUB, According to Yenc, his hypoth
(ric confmed hy Wapbrg, 1981) Next comes the eduction of them
{Et Mar (1958) ad Chang (1958) depended showed tht aim L8 it
{Epennt on he other ‘Thee a to nan seas wonpetenes prc of
12 wth MP and SUD} by Hone and Ror (1958) be on sae mtx
ta cr relics ad by Chang (1950) wih pry asta methods
"Scr sunatarons for feed teases Iopes (#3) Dave been
nancy etn them ye LI-LA In fret was Rr emp,
‘rig (1977) and Tots (1978.
148, Background to Formalization
Rowe and Tongue (1982) deemed the condions ht ke itty many
(alee! popositon lope reenle CC, ereby smog he prot of
‘romatladon {andthe queen of thelr rion to pete log, ch We
‘Tatar dca). Rep nthe pres of repreatindsswed sen 144,
ts ros ofthe fm
Mya Un DD
where
Wel faoo fd
a
a
325. ———Greys Malinowski
wih 22 Nand 15 £< m The naval uiner ordering convey desing
Age oft otha I ala eet i nm tks the ae 9 hy
"Net come the condos conersing prpostional connectives, Wich i May
he terest gation, pealon, ncn conjunction, eae
lence, my aod apecal une-parent connecter jy Aue thi the se
‘symbol ewe to denote he comparing anon Of , and that yen Ha,
‘the ierpreation srstre. Tenth spect connected to ss the
Standard oud for any, 9 By ad 4 2s)
“ED, xed,
ASYED, WE xe Dandy D,
AED, aC DeyeD,
HAYED, i xe Dyand ye D,
HT YED, iH cther nye Door yD,
AED, i
ach matic May hing endard connects a printne or dialect
‘sandard When only some of thm are praca, the term “Qatanda? i ed,
whee Qi suber ofthe sto ead connate
[NI Pos nd al Site Bakaewir matics ae sand. The fist cate cy
ost mais ate bs o freon cope san se sexton 4. a ss
any poutleconnectne deg. Agen waked takasieicr mas may
Isomorpicty sored oma 4 matt of the form May te emo
‘Sahel by the mapa fa) =f To te set
‘a He 2s.. mh Ament refs sin hii than tin
Sa enjtion my andl cn Insure oe eed cnet
tre dea in Me Ts,
sar He ea beagh
sealers)
eine the sand pletion and uence (-+ appearing onthe sight the
‘rial faksiewir compete). The defcliy of fe} flms
‘ly om the McNaughton (191) eerie so Roc aod Farce (1952)
‘Using hi famevork, Roe and Taree sed the role of oman
noms tens marae ling wale! Bahar abd Pot ogi
Any lows deere yf jun Standard mat My somaized
‘meas ofthe fle MP ad SU an he lowing set of sxe
Ce
= Many vated Lees
A pose)
AD PUA)
AB Gaara)
MULL)
A PADMA DIE G98)
8 ilo phe oF
AT igh) iad) CA iokB) A HHP)
where ffi) RO)
where he symbols fand Fn A repent ec an airy fncon
[Fine mute gs and proposal omneive sect ith Rose rd
“Torque, 198)
The io tern AL-AY costs of the opr: AI-AS and AM-A7. The is
op of mio deve be proper of pre spin sunt to
‘ses the decom here ne cl vio, () econ 145. The
‘Sond gop cont loa, wich, duet he pope f the J connectives
{nd mle ge seas nd ya propeis. Checking the soundness
‘Tike tos ey, wing pvc em ang, The completeness
rot bowen ee nuh clin soos qua cmp incon
14.9, terpretation and Jostifaton
rps et en ern i a er
‘Di on estes entre
a eee
Sioneaclg acannon ae
poste aia emma
ES
"el en secon 141 ate 97 1000 i ered
Beceem orm cere em
Soe ee ece eee
mae gm dcteemciamsereemenes
Sor Sees sitgemoes
Poacher teen
Pelee cee ier memerrtiond
coe core cteuananttptiearc
cet :
Fa By mente nee
cement ra arenrae eat
sieht
— a»- — Grego Maino ~
Way then ti recy ha
om
ec ncesay tha (a, hen BY
Lrguta (1986) pees acter een itm of Eakaewie imp
son aking he hid loa the 1 of 4 pte cal aes
fs fare contingent esc, he eis impestin a # tcl ways aan
inpcnon ing Os ameceden alway fas the vale 1,2 mpcton om 1 9
{0V1} haste vale (0,1 a, ly te pion (1 0s 1] hse
‘ac The pense whthe Eason Spl, howe
“cc Mon ue Tree, gla the ak
Rexheatch (194) argued hat adoption of thee aed ogc woud provide 2
‘chun some pots ras by gua mest To oa ‘nal anal:
Rees presen an etre von othe Faso Ie singer
eatin nd ipliaon connectives: le refs othe hed loge ean
tate nd hig 0 snr cme of quan ican, pai
Sees inden both te potion ante ume ope a et
tine which acordng to Bor and escent raed os meng,
The weak ot of Rechts (944.16) roo th cerain mach
2 te pine of eon alo Gane a Intent (See Hack 998)
foe ccm of eer inert of the valued lg)
“the matematalpobbiiyelss esembles anv lp, and he
uetion os cnmeion between proband y-ray es
{Seep 16 tues (19s (113) ha ive Un ae!
robin, wont isingshing etre was a eke pay pre
oar hn cen Reach (18) and Zins 1934 omant Ses
‘omc ths oeton serpin cee + mary aed tinh ee
roy ld eiticey econ Te Recheck Zine
‘Spon ed onthe upon father incon Prana oe the et
‘repetitions of gen sandr’ proposonalangoge th wees om eal
Sonera 0,1] The pales or Praeo lows
PL Oz my) =1
PL Peavy
PS Pi(pv p= Pra) +L pan gave mut exive
Gen Ppag=0)
ME Brip)= Pra) when pand ge logy equivalent
rom PI-D4, psi oir ote exe proper of Fr. Keine the
log vai vp) wth he measur of probaly Dr) the fr Pp) 4 foo
roperies mentioned, ges
is
a Many ated Lopes
PAY -v
Pavel Pugiet
Consent, logic ruby mi tbe aie wih loa aes of any
may cnn mony pe ils (1974, mee, presen este
Inerreavon of temied alae og eis of loge lg with Hk
tales eng soc wth bjt prokablies.
Ieee fay goof many-ved pha ncn Lai and Bec,
wanton he Rael pan (ee ston 141) Te prot one the
npn som (CA) ch ss ease: ofa ts ig aly
Seren propery [ser caper 3 els avy es the een
‘Chiner ier ed on rer sal loge Th aes he quot eter
{Ch could be ncnrontd In Eases lps Moh Sw Ke (1958) pened
‘be npontity ef tht for fe pena Sole (1957) hypothe, weer,
Shc Ca tes eoanet in Ryd Eke lg Alogi an
wei cticenah wi cen cng ous te seo i a gry
Se 07) peed a nee iepesin ot red lg msi
Ava ot teeny of a kaw meets oe ng va
Ne"roponel mang meres by moe aan, ech ca a
te of Bist tts generates pron ofthe set of eporions >
(jcc oh rg ipl aes” oy hm eens
amma wun easy Anton fem the wt of ra 10 ce 9
‘hal ae ie nth ior) An melee ot ons
cna ince manny 2 pes The acta mabe pes depen om ining
Sondivns imposed on vas An zur choke of ae corto ke 04
‘Rushes urrrion he cones of te liu nsieraion.
‘ova th neti So ovine # dein ofthe mae 2c
ton cd tpn songctve rohan (=e tof wlan
Treen He ges hc quis fe Se a=” sho eu
{ieee eu to he ee tay he ibe 8 2
SS Tig yar dain rt nh eg Oe ong
Cates ete uth me ro Al basen uo mcs
STs hving Oi dege feo, ake matin my ao
ectmencan capil a ome The metre ero of be whee
Seo eapcas be amu to ee bewen tb eee of pre
‘ha of he concen, ann
ipsa (973) ene gs eet mated
Jogo ees Unt aly equate So's ere
teen pec nanan name fe se (0,2) a lay
Sih rb mo be red “as ae at. Urguha ase hat
Wat @and es 76S, then yh
- 2 ——Graco Malinowski
to then adie to pti loi, specingm he Sangaage, an resus
Cendhion tha exalt the meaning of connec: Acrordingy ci ee ras
Io's Kepteste emants having ie numer af eteece pins’ § The
‘meaning emits ofS, depend onthe proper af te lng tr coniem
Soa. or Eaksewc an Pos lps, Urquhart ses empresa
1 pec: mon oh pas of ce nnn
‘tneqretiion of Post loge x entey copie ith ond lttpeaon
‘avtged by Post hinse The temporal my of uadennding taker option
fc impation exis the sures of iit n ong pay one
intpretadon of my ake Ekaeic loge. Uru veal ees as
wich ast conates of negation and impleaton shoud st
14.10, Applications
Manado a een motel by acted plein: To wht
cate tho pcns he bern ie at omy art secon ey
‘esto some athe pope onset seaton, cecal ppd
inane pce seu ong hy compe see Ulan
thee bac om emagh het eee eine
iy radued mes hv cs opi oon ofits
somes pout sce te orc lps eg
‘eRe ft as gal ene nan aot
‘set sop o mae potty an pee ane edge Lae
te ppord «fared Suc of ox lope eansews, 183) Aho
fm he loopy tence nt ed nes ores
Ie no uaa ae cea Digs 940 ove or eee on
Sal og the ute He ahs ch he we ess
‘ne conet othe ma elt ears ee ah
Fried cual rhe space peste
The mari appa ho ome ee grant ili op
tne hap 1 Alhogh eto wet gud by he en ta
‘ler lols nd eg at et nay
inlining cn be daracteracd Sutter fone dt
oF inte aed maces alow L978 1986) Ara ety te ete
‘mei he of ncn Ty ome ced mh
Dow ld he Fig mr Tas proton seedy GOI 9D,
so shod ua Foner be deed bya ae ts tbo
[ste mes An ese pt Get tony come he ose el
‘cine of fae etc ponmting TNT wh hve hee ow ee
Set ncsing ipa pers Kit erg desis of GOO
Senses ont ma Sin neal fe: Dusen 1989) owe et
this nr mlomatate by exening INT th ese peg oT
sent and ean hn ae ee ope apne
ithe devcopment ono lp te ate end
—
1 (1948) apped nay ads nthe fermion o esi fons,
sath Joan best on me scanty ok sts a Suh props
Sowa fhe sven tht whe fra same
‘son Lap wih so io anne: nonin nd petra Cans 3
{Sr wih rope ans et af ropes whch ey her ae ey
The ae Se rpc clan in ote fu ni ge es
{esta aned iy ta de he propos ft Kh the thar Both
Ai hon ce alte tee eo he ene the sec
sijmand he hat both spe The fur peo propestin il cored
Sr Rinne ruc The comers of epson diet Sed
“Sar ih rope etn scl cance for ch poor, eine
EEA, Recotngy He conte ofthe nego plat Eugen of he
‘Sint oral pts wh he et of cal (outdo
{Ses On the bas of tir fursaed vu of CPC, the bel pero ae
{frmated Ths maybe ete to the cm wh ny ranber of peor, wack
‘ui ter al nye nee of cul Hg wth mi
Sa ym tts commen tr oo pl a
‘dues Tnpcaton ef snes inna fees we ssc
tog wh sn ose Shey owe, he my aes as
‘Sand dyencon texan aso etch wo eepoal eet pa,
Ses a pop hbe edan e
sey tu pio fan sone so nas pene
‘nena nd tr se panos ee Sores Po Rr, 196;
Wien, 199), Thsappeon ue’ veo fre se they (Zach, 1968)
Tn alone ote ty ff og (Ze, 1978), when hs brome
{Seumoa roc sci ihe nasa ene Ay oe
Som ard wecing thon Par, 1984, nd Gora 98
To defo and Boles igre ben cet ed a with
Ing ther td eonputer ne forte sansa and ion of
‘mpi sects bcs nce in ne psy on
‘he gis fr a puss se ve raed nse eis he
ui peo decree nd re bedi om M2
Pow ata nc, 1977) Th praca! schon of 0 oppositely eed
‘Su pntone a tin ts ra Be Pn
‘Shuey. he ple: posse cecwon nut coe iste
{eed meant Soe thc ae ped eon to drop the eis anon
over te cine e ang ee mol real age he pss of ba
‘Srusts tsa tha the ened ps fom te sa 1 10th et 0
{Denon thera ide tha pao obra A gener of
‘sim ny ater oot nn aut, Fea in
1 Goren faves compose of sich coves pombe Wh p>
fest tc se Tern aryl ier toa ons Ma
‘Tatas balsa uc sgt an Po gets eal The
‘wiring ote mn prc the poy of tia
epee aan dug the Sache te oe neweok
(Sha, 1961979)——~ creegoes Seainonsts —
Logi many ues as ao sn dsl in compute ne, 0
bot dare and votre ull sele trary eompaters were even compe
fice: he USSK (SETUN, 1958) and Inthe USA (TERNAG, 1973) Thee
{stamp here, Slowed ec ltees hat wer oo big compare the
(i So, fr sed al hardware azton of many aac conten be
‘een rediced a aeton decedent owas the sts ne emscion
aig devies eq memories, ang nyse alta ceiy Pot ssh
(pte era, 1974 Rauows, 1977).
Seggested further cen
ox more compe dca ofthe opis ade, ae ane (903,
‘ae to te Slonng ert Sg comme ok ed Boo (92,
ake Eat (7c Rie (1977) oer ad Tote 8 Toe
Notes
‘Bere oft mcs ee fins hae of pn
Sie cmc, al he ge ofa» neem ee ne
‘io ran incon emplceace oe vdieo eg
4 The cine wb Bacar sing Hower Hen we ded
sil compare Waa (198
ec orto ring nthe Kul a i
Sir cen 2 nao ma yd an
The ay pei soma es dees aE
{abn 7.1) ca py War ex
eet ag he a sng
References
‘evi 11942 Retains the og of Nene” Tri, 28 138-8
Be A 19" onto go pin an peo
itso mtn fn gn ean” Oa 9 Te Vd oss
‘Aeon to Ami of Pundns of Cha Taree Fon Ca
Mamas Som 27-108,
aks Lad Horo 92 any Vale Lp Taal Fwnatin Spe
hte ie *
Me tt Aen oti” Dena tr Anne
a
chang 6199 “8 Soe Pf he Cane fh tn en
“ei Md ey
agg 1b Sees ey a ar a Lag Cf
een ama San 5
tert pd i hee fa mie
eee
i Rt. i D197 Th ora Me aed pe
reed Gaon Sa” Can
cata Rte ee ps agi, 39, 97-6
Csi ia“ na osm ne cae
‘Mahenatnh eee iy
ce Noa te as Mae inc
mu sre Lon rr
contr ray Mr ot ve pn Hs he mise
‘Tato ed Garr S038 :
ney hata prt me Legal Sam
a gr es on ata Wn Bay
ct We aT
sue in Coy Ue Cnt)
Hen Io ag fo mon ey of Cow
ros hag end.
va hen re (Co bet ts
cane coe el tog team x One
‘min ani 5 et
ee ES on Ron Ont Namte” joel of Sua
rn 193 arbi Moma Nh een
Esc ion npn hay Rutan en Pr anc)
TE ae tte ec fh mao: CM
“aed at tom nl a Rea Pe,
alice 28S fa gi” ara mei ets
‘Meant el ct Son
arse I, 2 (0980), S177, Eni “Pilot Reso ie
Spt statin tog ee aye Baa A
see te Ds ipicen Grunge ser Wabrcbcnlicieitmecboung, (Krak
elo ote se
"9i57 Eel clopal Prato of Pty Then” aes (170,
tei
tat 19704“ tg Tein” Ha ny 81920, el
wii oye opt tame
a od wi Sa hors oi Ane
HIRED [RD asus 10, “ueoohngc ber den Aang Co
Sen a oki oe i 3,
sn 5:8 Teen ss eid Set Lop ral
tle
lm 2 ny aad ng (Co es nd
aa— (Gecgoes Manos
Ment, CA. 1958 “Te Depace aa Ao of ikea” Tan of
“nen Mth! Soy 7
‘ah Shwe 954 "Lai Pans Many Vid Syn a Sm
“a, 9,340
Mi GBs oma i abseil Priaiiterstor
fn aes ir en of ayn Neh
Mai, Gr 872: Faw ar hr Lapp Now Cis (Eos de ein de
ee Scare e ours, ctr)
oi 21991 Roh ot Tet! Ape Resin hn Dae, Doh
"oF 1 1920: “Tnrucion om Gener Taya emetay Pps al of
"Emenee iy, 27
str "leon 0 Gna Poy of Barty Popes Ame
nafs 158-8
sain a ta rah NC ti Sa Hn, Aer
Raton, 977 “Mey Vue Agen Logi a4 ost ove Progr
i tf Map aed AP a i (BR
eee HP: prima age A Ser Un ahr ety
es H. 1986 Papal Pama fmt Mase (iyo
‘atl eBoy ad Lon Ag A,
[chet H, 14: Walbntes, 9 8 St, en 1905; Emp
"hy Than f Paavo Clos Mon Boy Ch
ee 187 Can Son Me aaa Tryon pint
is od Heme) 11968 “ger of Many Yet Seen i> Trios
Sf Bara alk 8
wet Tran Tamete 1982 Many at ai (Solan, Ae
Ser. 108 Aaland Maa as
See 198: °A Conroy Nar Hag Tai 8190217
‘Sm 1987 ements” Zo hme
aot nd ound te sama
Supe T1000 “Ket Fels Welonsks ped Lagi Zh (8
Sa of re if ny aed Se re ai, on
St 1998 “Dow Noone el See Wireogeh
Thanks Zann ("et ote Asn af Pal any Yad Sy of Po
st i, Cpr ed Sn eS i are
Sse 87 “ear ae rei Ame Cie Renae se
‘Si a Se Ltn de Pron CLI, 29936) oy Ei Te Pl
“hee Vi pal Caan" Pah i 10019028 Ne Cas
Pen Oxi 37
“Thur, M. L974 7A Mowat of Aamasnin of tase Lag” Bal
Soin of ta 321-4
“Ture Aria igen (Ee Horvat bee).
SE
Many Vibe Logis —
‘gua 1978 “A een Many ae og” Ment
"een Grundig er sae 1,
her A Toy Wel ge Hed f Papi! lap wth
Gahan Gc Koes Dae 7
ajar 1967 ‘Aye reine Rca im Camp Rede
ti tse i ar i493 6-8 nga
“coment Teed Pope Ca oe gt 2-1
Scan (endo ro Ox 38-84,
hh Nn al TN Pam Mathai Cai
yen, Cam
‘mas. 1 Fa ak Lao New Yos.
opis Tos Tyga Caa Ra ery om Oi (oer
‘tee hoes Barc
sleet ony Sri nd Co, 38-88
‘es Ag oF Ege gan Reng tin 38 407-28
Zed os csennet ng Witrseson do Rats Pandata.”
‘Seance tn cd Lage tthe Cot Pea, Pa Kom snes
‘ee rere jd Neat 20.
346.Chapter 15
Nonmonotonic Logic
John BF. Horty
15.1, Introduction
‘Th ga og ito define a omen elton beeen of as
‘nds ma cay idl forms Th een erly ts es
to rms Fem srt hae np Awd oes omeqace oT
sheer es econ A mt ae rst ea fom
"nil ere sandpo Aso bes eenence Fence
iy no a ter och oman.
Atbnup he deed bec anctoned by palpi vay wy de
renin on the comes ent nee pera em see
‘Strat exw ofthe compen ater fay ate a
‘ming he the popry of manny A a coeeucce er A
Semeur OT UB What at mesh ny oso rw
“pres wl fe reeds anc sen he prembe mewene sd
‘taal inant tht os oma
ee mr gre
he monaancy propery Bs soups th ae dyna ah
the pt ery a he ema, ny tl tp a et plo:
Spal ope ch rom the ee np nee flaw
‘the ath ny deo eth msl fhe prem
‘cams 2 eon th fem om he nied reine Fe
Sito of trier penis cnms prs deaton ce sad nee
‘as pend onl oh he re of estore. The eon
‘immmniy y aeeing en more nat om he mos ees
‘enon son cy vel ef FU [sda lw oe
fem hin vy oF, tat ny os
rim,
‘A rmimantn gis spy oe who sans eatin fo the
smn poe) ~ whee te len of he pees en al
‘aston sso ei om oh con eed on a
Ironton th he Feo Ahughcenan ppc pes h
crc sk ie pr], ei oon nhs,
the poe b gency rocned fr sly of loge ognng i he fd of
‘rise imine (A) ond sed oring tc pao aig
that sc wo ge moc of our tliat Bhat,
"thou atenpong aning te aol dein, oe cantik of deta
renoning. very ough, resonig hat reo the eer oie
(ral ara pce ofa mdiacd by es of he prem: gen conde
‘Qunlew te frmation ro the cota Ie sen oe why gel secant
ts Gnd of eamning reper mnmotete cee eaten SIPPE,
fer rane hare one thd shen wegen sah ei Gen
thurs tnd, coniae tu slo ere inmate 0 he cone Aad
Sipe one tld ar Tez Taken soe, so rem = at
Tie ty onl har Tec ad ~would en spyer the concsbn that Teeny
fis th prem cams eon he soy. But po.
tet pene pond in eo Tt
sox yap Tey png, os by ida, the ol
onan ht Tey Bes wood hve to be wie, nce the at ing
{othe eoncson ren fhe shen f woman tbe conta, bat he
“Te hel of mnmontenc oi ea inh te 19708 an atenp 0 P|
rca hs Kind of ong wins gene pial Fumevor, Sine he he
$e ar ben the fc of csc aii, ing ew neo conference
pure popes maw of wich, howe, el oained ote AF ese
A ts par ule imposter pose + flan suey of the fed
it ny a thn at lengh muy Teper he tnd,
ind ony an nuotny sein of en es fp
Ene hey ad a mode pcerenc hay int my tha ase 60
2 pisos, th ane concep eer Sen ingens
‘oat mee
15,2. Some Motivating Problems
es eof bin el eps omen
meh ep tml iy Mea an Hae (909) wae
erin pln dh ps ed rl aig
fre ern sn.
1521, Te frame prelem
ot panei a
cighevenrrarmerstce somes,
Shee Rime Sa ieteen Soe
shane os ReeJon F. Hory _
format conning expenions ofthe fem FTA 1] wo repent she fc hat
the poposton¢ bls i the staan an! awn a fra ein of he
sft of us actos,
‘oillsete the se af hi formals, inane dt four Mocs ~ A, Cand D
are raged ons ble, wit es A, Cd Dae on the ables sie Hock
[Backed on op of Wack A. and none ofthe thes avg sting on Top af
‘hon Its stuaon & fared tos ae of the rat ft fom he
in night be dpe trough he mas
Onn, A),
Cuan, a}
Hi cheaxC), 8)
Chan),
hich sae sha the ropotion dha Hock son back A holdin the sation,
1 do the propositions that he Mocs BC, and Dae seat. Noe that epesons
he On(B an Clean ae teed graamaticly compen tern ering
Propositions o ts, noe a seen
‘Sorpot hen th hese eck mare be manipltd sing or am Ue an
pear ony two print acs: saci one Hck on another and unencling
ne lock om acter (an pling onthe ae) Let S99 ad Una
Y) represen the cons of sacking X on ¥ and usacing X fom ¥, the CES
‘of ese an be capture trough he aloms
as)
(UMC Xs HL Car Ysa Xe ¥)D HOM, Y, Reka % ¥9
(OHO, Ysa Hear), 9) 2 HU Cea, Res(Unaat X,Y)
152)
a whi pane that all vibes ae wniverly quai, Whee et
seyuere oastion theexresion Rey deve th its tht rea whe
the acon in eae excited I tr, beg wth uation # Wis he Sto
these wo ais them taal he tine blake Xan Ya Bh
‘ar in the stun the stustion thar res fous when Xie cad on Y'
‘one in which X's on V; the second soo yeh if Xeon Yao eit
‘then isc inthe stusson tht rut Eom sy onstacing X fom
(Ofcourse, hese to sions dene the ls only of son sequence cota
a sgl ation, the ae ue The eft longer snes can be defied i
‘ey by silting
Roll 1AD 9 RallAD, Relay odes) ass)
he ne greater than one; the cele of eccting sequence fw atone 2
Staton +6 eget co the ret of exeeating te lat of these cons the
‘Stun tat uke om eecting a bot the le
Nov suppor tha ie eens conning doerpion of rome na
sito «well sam spain the es fhe vale seo perhaps
‘ome booldeping materia sch the nde dino he Res Tato and
Ice eon the propio deed 4g Then the planing erblr the
problem of nga Scion seqen: whe exc in tbe ial sare Fan be
frome fom the nrination inva ld stem whe he gol popetion 9
SAS moe foal sence ofr Mich an Be sow
Pere, Re 9)
wr Fs the ci comgence elton
"Ars comes example, ime tat fl above fs the Sa osc, and that
enti te samen (131) (15.3 te Sar semen dsebing the tl tae
theo desing the Sn and Untuk ction apd the rdace secieation|
tite Rar fanon Sow spe the gas a aoe staon in which lak
‘Kissed on top of Wack Cnty anton nei he eet On A,
{Chk ts tle ea oy nd an soporte pla es uk 8
Eom then tack on C2 More formally, tbe arora plan apn be
(Csi), Stl A Cy a sen ej winking aos bow hs
{equece of ations wok = at si pose yen the cores
‘oft plan by ean the
Te OWA, C), Ret(Unsac( A), SA, 9)
soning ht the pln ache
im, here et canbe ste, nd snp se why.
ec F ot ees On 8 a Cla oe ied ce
from the Una amt
{Chard Remand, AD, 2]
sh ae atte lok A car in eso ht ek so when Bi
Ticked for A And bce Fone i Cla) oe to tha he
Boa Cas ake cer he hale Sic A tow car wel
Temi to nk hats gout scald now beaded sy sain Dk
"Tom bog Cit the Sac on co ewe 0 deve
Lom, €), Res( SecA, C), Re(Unaac(®, AD, 01
From which the desired cencson wold then low by the detinson of he Rar
incon Urea, the splon of Us Sc sen wo eae on
tows ot a tht Cs car the nn mae, bu that C remit der a
thet tht eu rm he Uma acto that one woul ne 0
sero eblah
‘HlChear{ ©), Ra (Una, AD, A)
asaJob. ory
a ionemedine sep,
Ot coune hs emedt wep seme pfs nau om te andi of
one's nary reaming bout cone snc Cis cleain he l tee el
to uppore tat wold rain clear eve aber Ris ntact om nf bow
ver, nding alls tinted step o be deed ~ an nded, he mop
Shon pre derivate aa mater ole, for i awa pote ey at he
Tero of em A dos iter withthe ct tht Ct len (Perhape lcks 8
{ud Date connect by wre in sah ay tht emoving If A cates Dt be
plat the op of epost consent withthe fmaton i) Wat
‘ne fas ee ee acer Fame prom, oily ted by MCI and
"jes (196), When an seo pertrmed, some fs change ad ome do nt
ow ean one ll which ae which al in parca, how doe oe propa on
atta do nochange fen he oil tthe euking ston tal wy
15.2.2, The qualification praem
Look again at he aiom gonering the Stack ction, Noe ti i es oe |
(dat X wi eon Tin any unto tht rent fm» Seu, 7) ston ba ty
‘ut X wl be on Ya long a and Pate dint bck te tah ca he
‘gina ston. These qualiasons ae cea af coun, aun the 080
fm cnmor ech sks that reno cle and Bese pablo ck 2
Doak ontop of sce
Tuc onc these quant arin plas, the Sack aio then comet? Wel
‘0, What the Block X'ss0alippery hate oo ar caro ick up Wt
sso ay thar wil sh the Block 2 What i homb hat wl expe
i outer tuk paced ontop oF 18 The dlbeaty mage by tho peat
meron i Known 3 the galiation pole how does one 2 2 2
{curt sualy quled rman of the a perigee
‘One igh eps th poblen ty ing my oo he vases
ene tat ie te cede the sn ren
‘hy. In the ree soe ie exam, obe might ince he prope
“cesant Wad to represent the acerence of wen! surance hat woul
Umer wih the Stack ation, st then mothe sory ginning this 0
sth the ther pecondon tht no auch weil cumstances occ
(Hl hear 1 HY Gear 1 0X4 Ya Weird)
DS MOmX, T}, Rese, XT, 9) ass)
“The inerring cumstanes imagined inthe pesows paragraph soul den Be
sid, ge neal, a wid
‘Wp X) > Went
Heary X) > Wend 086)
Bomb) > Wert
ee
Noman Logie —_
‘There ae, homer, two prolens wih his uggeon Te it~ 10 which
som of m0 vlan hee tof eeumsancs Ut might ere wh x
cing scion i opesrded, No conte lof pose inering cr
‘ce oul be complete, Whit 2 meteor his he Moron a dso tbe
‘bot Then the ack acon wou ot be secs. What there an il demon
{nthe oom tar doesnot mat roc Xon Pad wl knock Xout ofthe and
the obo am porches 72
The wc problem ore ub and woul! arse even shee waa eaely
thse ft nen The ot of plas econo nthe atecedt
‘tan scion sown that oe min very tha te precodionsaeaed Bete
“onhing thi the acto x suze. And i oe serena the ce
‘he Sac nm throne sh hae to ve ate lcs and mus bath
tear etre ne cen ta hatte ren cing Xen Ys ces Bai
‘Zen ks resoble to spe that ne at aca het ert al fe
‘eros wee ccna tt might ire with hs condo wo os that
there to bomb no meter, no demon, soon. It wld beer to Be
{Bic singly commie he weil Samtancs Me se do nr Oc ls he
‘ineation othe ony.
152.3, Clack ord earoning
Suppose ask my uae ager if Usted Ais as ret gt an Washing |
fo iyelom Te tel get hs scent dase onan i nrmaon,
‘Nom soil sans oe sa think of his aban vase fetes of he
ome VARS, atmo, Bron)
Goa UA750, Wading, Lando)
coat UAB, Landon, Barcin)
as)
ett te
Sige cert mnie mei hee aerate
ies Sn ands nan ean
Se mea paras saneiensanee
ioasahuma/atgt ana soo
sence tre ton crn
wep ats ena
ory cera ts dae
Sebi iamalintetcemenNacacn’e
Seri an cela
ag Ere ster Senet
SE Sne
soon he eae peneJota, Hoey ————~
“The closed-end sumption apps, cor, tony 10 the atin dab,
‘butt any number of stone a which pose nation ovewhned Oy
repathe infrmation When I Took iH of pogl feds pry, 1 an
fence, fT a at onthe fs, hat Tam ao ie to the pay whe 1 ok
ty desk calendar, can conde, ithe eno doctor apne ted fo
Thany a 300, that hive no doctors appokimest at tet time, Reson
ase 00 the clesedowotdssumprion esempes the enc ptter of tt
resoing 8 reing the atuence of information: aking nematon Yo the
‘rary nec une ht tees a des fg betwen wo ea nyo
{he date prvi femation tothe ont.
15.24, Defrasibeinertance reasning
Reusing the lexan ds, Toy ithe Tweety ee
esonig eth kw in Al merce rexel. a ws only
{ecoped in ropes 9 hc need an elent wy png
{Sconmic itn, Rar tan hn to exc the popes oe
India, rr Ing sh chon ad propre ange int tauren
ery, nd thr nda in hr etc ome se oy
Selangor nese te xy Se Tey ny ce rey
ished fom he eer nw of
Ths kindof somone reine hes been air ice Ade nd wat
tle in some deta ty mesial plop what mc oA he ce a
Satin for reo ten =e tony en owed ose de
2 wi aa ormaton, An etmpe of ih dese hee mor 9
[nied in Fy TS, known he Twsey Trane. Hee si Else
Tere ty the seen a= an lene bythe weak am =, 0
tha ciple rework pie he lowing st ys PA
‘erin rene hea Bs ons tend mo.
‘Whe tho ene nbrtanc newer wee Ses ty
bet only psc nant, aera i te meso
eres wav wpe be eed Igy by te neces goths
Sern on thom wan ead Rowe at es aps et ed
yng Tag
a
Fer 1 The Tecy Tage
ra ey
to bizare an winuve ea n compat cae and recarhes he nec
to provide an inpleneatton inkpenden cunt of he meaning of thse peek
onal, One est es tweed peng» ge iepreston of ene
srr inepsing the ida nk othe network top mls, ad 0
{he eke nerwork a coleton of formal, whose mani oul hen espe
fed by the appropri lope Te nga epreton af ret ads, of cOUNe,
ess opto ik ie Toy =» Pew, foes, oul nara be
‘Rpevied av an stm teen, mich x Pan ak ke Penguin = Bl
‘Shrestha >) Ba ere ting aoa ie
opment the details Rin» Far Pgs Py caring hein
‘aig de By ao tha engine do noe
18.3, A Fixed-Point Approach: Default Logic
Peshaps se beat known and mnt wily apple fam for ponmontee
‘eso fl sue by Rete (1980. This oman eas om
‘None orang ith new reo rence, known 5 Afi rl,
‘Mul hen fing te sndard su of lis comegance wo conn
those new mee
1531, Base ideas
sa xa fcc (wth ing pri) an be epic sia ¢
Preconcsom p sa (4/ ei commis he esboe to Bone
Sen exo By coma le awl em (4/8,
sol sha’ scone scene’ oon te me A
iste mane prego thsSf le,3 8 comrgnent and Cas its
‘pain! A aay a pt B= (9 wiih 8 43 of eds
mls and Ds tof Seta les
‘efor chartecang the ew ooo ofa cosequnce dened by Rete,
conse od og op be to eset nia ramp wich
Snes tol due Twee a i nd fds The gene ae ta
Aycan mua be ten fo mer women conc coe ar of B=
stra dons once hun so ema 1 he
ony nt hth conhson bite oe’ Whi th
Stace the ener see sol be repeated a of ers
{homed cet le peop ofthe fr YB Fe Pu foarte
ie more esting ny eat oe than 0 qua ry re
Urine Tai ths proc Ree slows pen ermal stn eas
‘be tne evraton tseing de an be oped (fe: x Bl ome
{oid ie eultng cmp inohing teapot open eas
to yea dosed forma he someting apron of rset Ceeese gencraions, noe by open deb, bt tea by propa nance
ofthe deat fr each oben the Sain doped et. nthe pene ee,
whore Tee he ont bj of concer, the only deft ery (BF)
1), whic that i Tweet is Bd one shold conchae the Tweety fl
‘amg a tht conser wth what know, The nfrmaton rm ts ial
cramp an then he represented hcgh the de they 0 wha
‘N= (Band) =|),
In thi tmp, because one Ans shat A, and beste Fe consitnt wih
‘nes ned, he dere jr drwing the cola Fe Te py
‘Re cancun St bed on therefre seemt be 74 (BF) he loge one
ft what one eto Ben wah, ogee withthe cannot pale
fils Tone tli, adn, tat Tweety der oe Ay, one overt
‘el theory (Wy, 3), with 2,2) aod wh U | Hee the delat
re (Rr) anno longer apie, bese ili ow icons
wih one's Knowledge and 80 the appropriate conlasion set basal on 8 It
si 25)
153.2. Extentions
The dacson ofthis example lstrter the Kind of concn st deed on
sr del theories The ak of aing a ger defon of i oo,
were srt the rk eos way ofan the meaning ofthe Oe
component the justice = pee in deb re
Ti oiiay log, the concn st aaocated with formals ie sin
19(9), he nga cone oF We might seem. then, a te clan set 8
sted wid il teary = 9} should te
TAMU ICA: 9/) 0, AE THIN, HE THC]
the cre of gether wih the segs te defi uk wns peg
sie ar ald hy and whos oieaons ae content with 0A shames
‘hough, howe, show hat hs sauecon @degune Fr ae thing 2
‘4nd in ths wa ma ren oe ues ogi conseycrce: ne adion of
omeauent Fm ome ti ie ates et yang bw opel gles
‘St a sli, be nce athe seh or me iy De
‘Aton of the onset om one eit rule may mig the ang oe.
‘san example, conser the det ery yy Bp in wh La amd
22d B/C), (C:D/2), The abo etn core ads the conaquem™
ie edt rein he eh st ety hah sate poee®
‘Catal then wget ring of he secon ae eng ao the son
OF Ee he cnn th tte aed
hat tr rope sng sth he dfion ofthe appropri conion
for dei shay soul be ere. Php ove soul ete consi 2
of he theory (2 0b
mgs
vith
fue THE) UIC(A OED, AC THIS), BE TH
This suggestion raponds othe previo coc, shing THA. Ca¥ he
concaon sx fr ede thes fy dee, Now ower, here He
Proc, tonal by she ther A= 2), ah = 14, Bo Cl and
Bre tca: Crm ache trough te trance an et ae (A: C8)
iteppbnl othe ste ce pee bens 1 TH) an i
Sat net ii soe Bi, Jt at
‘soning he shows that Cs db Zr abl 02% eds forma
opel omequen tthe fenaton coca ip Tere (4: G/B) an
inaty vo te apie, sce, por os sing, te no rex con
Slog nce nce the ea bcm ppd tention i rvs do allow
thie dee “0 The se thas cane were fo api
‘Orcounsa chan of exon eh showing at ume ie ede
mined ab beng a so one oot eal be eta dt ree
TPptctetnscne cme ul oe hs pled eng ih te be oe tat
‘lm apples ad then one hare the loge dae fhe ee Bese
i he ence st scared with har anit ind he
hal Reme na, by scone ang 0 th orl aa the cers of he
Ippticalic ral tine and ten kng the Tint tis pos
Trea Ree noe sop dn posh neigh o-
pine condo set fet cores = wh ae decried ron Es
ely ters ew srateratons of the omy of sxe. The Bot
nce bec ough nthe ec con both more ane ah
tone wt nets ees bein this arcu bunts tt, en
1 ea hee ot soe cbt eendon the ond en
waiting quence bbe onl dae it, a
(Dect hen eed an veo or the db ey
Definition 16.1 The set Finan nomi of the dei seoy 8 (0 4
nde) thee eases uence of 28 Ey Hy
eds,
mae THE) UIC AB/C)ED AS THE), BEE
Here, f coun th st Fi the cae, ich cei a se extension of
[it uns ut tht closer withthe oon of the aproxiring senceJohn, Hor) —————
SNe ht gue the dfniton 0 te aproimaing qe
ike in tem ofthe ng ence
“Te fed pon stare ofetensons sore apparent in Reticle,
which ce ons aperoe tat ste ines fom «parla dead
theory fo mp aul st ito formula se
Definition 15.2. Where A=(0, 2) i» dei Uno and some set of
femal 8) the inal ct seahng te condo
1 werusy
2 TIS) =r4s)
43 Foreach (49/0) 0 AG Ts) and HES then CETUS.
“The fist wo conn in th deiion singly stat sont the nis
‘on pon by th orignal theory, and hat closed under log onsen
the dann sats th cna te canst he del er eo
thle in; and ee misinalyconsins poses ueoraned cmc oh
{reign Where = (0, 2) Sa del theory, th epaon ap yl
‘Simo the mini supe of ta eed under both rary lage com
‘quence and the del ls fo that ee apa in The oi en
fteatesons ~ here pected ars thcrem ~ ten det the ses 0
‘esl theory hehe pins ohn operon,
‘Theorem 15.1. The sts an eenin ofthe dei theory A NYE) =
As the reader can vei the defile teois snd ay ne 8 ese, oe
eeatve sts Ti) and (BF) eee eerion eo Be
thatthe moon of an exer died hee fs coneative genera’ De
“responding nim of enon st fm say te exe of 2
“ka they (2, 1. mp, sp TAC, Ad sO
ho tht defaults canes ncn yee ot
‘lta they (1 le costes aan athe ny ner a
‘hey coment
153.8 Deft cameguence
In conto the sation ia onary le amv, no ery det haya
to. ingle entemson, sige sc fpr onlone ome def nes
‘ive no extemions ya example Te ems my oer ath they a
‘tens to ook wi the Defoe noon da to ee at
‘ive a xenon ~ 0, Erle one wl hen hve eer Ce Foe
“Ce. Sapose, is, hat CC Wel, sce "Cantando
on that siti ean tose fom he Stn of he punting genet
{i Ce, that Ce ty and a0 on Bat ne Engh the so fr
and 10 00 fllons,conay to avumpion, sat NCE E Net, SUPP
TL
Nonnonorns Logie —
CE In ht cue, cy tose that “CS and since seo,
she CC's, which gin contd the asin.
‘Debuts wth enenon se en tewed a ncoberent nd an p=
up be dm spy at noma But here ae abo pee coer eft
{heores the llw male etensont A stand example aes when ates =>
‘de dtu they the iene perme dep im ir 15.2, koown
the Nion Damon, and represen the owing st B=
5 Naoa sa Quake,
Nit sa Reettion.
1 Quake send fate pti,
Repu end ot Be pain,
Fit 162. The Non Dano
1 one ingots fr Nixon the snes expres sbowt Quakers
to Repubies th eating tery = (9 ih
= (Qe, Rel
tanned
ayant ro ns meer
betoredcving any new encase a ofthe deta ie fo 2 ep
ceractetataemn tae tcates doers
BS
ena aya mei
croanetarans steer te me eaera ese
So oerrcencat eater
Si eepring tan eae
Seale aoe cya
Sere oreo nas
fs cet ge ly ago,
sac ceirnientescee fa meeetieate
Sm Shroom heJon. Hoy),
“The fn of hs options pick an atbirayexseson~ realy doc cm to els
1 rational pay for resonng lathe ee of eonifing noma ay en
‘ach aforaton, ove singly soe some eral coherent pa of ew a Wc
‘he cons are resolved in some parelr ws, ren of the rth tere ae
‘ther eaberont pent of view sable ln which the conics ae reshed fo
‘dire way. Say ough ths renoning ply ttona, had tose how
such ple oul be cones formal consequence retin Ite he of
‘eemion ely atin int resem eldest set eres eens
forthe tame snr might cet iret extensions iret Sie, Wh
‘Scemion, then, would epee the comequence sto he theory?
"Te sewn pion ~ehdone 2 conason whence i coma! in sme
tatenion ofthe del thee can indole aed sx snare som,
tue woud be «peasar one, According 10th poly, the comeejunce eo
ea theory ned ot be sed under Manda i coneQuee a in Se,
Imig ei be nconstem. The consequence eof yor example, woul cont
oth Pr and Py doce cach ofthese formals belongs to some erent the
el theory but would no contain Pa dm Thi second ep se 0
prove a charscerizion, nots much of he rma ht sould te bleed oo
‘he tas of def hor, but stead of se frmuls ta ate belable™
‘Oni the thi tepel option ~endne 3condion whence coed ia
very extension ofthe debi shear rete tutu sonsogunce won,
Wows
Defiaon 18.3 Let A=(W hea deal seory and As mala Then A
hpi umequene of weten, AYA in cae AE ho ech emenson
And ics wont ong exp nth ol conser ea is ben
‘kn sha ts ined ronmontni two aye oh ing new Ext
‘sai he pr os al Ty ing ne
Simao to the ermponent ah fre ne tose omens prety
spp The bo poy ane toad by ering ck te et
thw an Here 4+" the ee ha By Preven tsah
ine by ig the nw fl iron sar Pr he compen oF
{Tote the weed cs conaer the des teary Cy Bs ee
Sth nd 9,= (Qe Pts hay he the non Damon yo
hei dea Reba i ny fo
is TH Pal) ny eterno ht yw Te they, Hwee
hast eterionn, ae of whch dow nt comain Piso im he ee ast
4,1: eren hough yr fom the addon of te new deta orion
Ghee tathe Deamon oy
1534. Examples and non-normal defeats
[Now how cin the mosaing expen fom sein 15.2 be banded fa the
penpectne of def loge
~~ Sonsntonc Logie —
‘To bein with te ane pole apes ta straighorwad slton a
ret when one spleens the unt opal dein fhe al ston
nl the vate acon wi defacing ey tha Bes ted 6
Fert laure me mit ene the problem fact sen 15-21 io the
‘hl sho y= i 9) fle ie, te lemon cota the
Ferma (151) tg (182 ting the a itn, he ows ae
(ering eet te Sacha Una seon,nd teint dept
sequence o action Seem, the deal component conta a intanees othe
(ctf, He, Rees 21/1, Ra)
wich sues dae eae Gt Bld in ion amie (0
nde tes else he ferme oe onc ne eal
‘Sec by Au al hier oman 7
Tris caycowel hn a say age xcon coting the
fen 154) of oun he ert tpt Gee
{ur wat te hep ofane asm. Atugh th prepston ha ek Cs
Ses rena BI ams bom Ades alo he a ro
SSmconined (18.1) evouh (1) slo Seed wi ep ofthe
cbse nu ah apt cond, wc ee oman oe cone), ot
Siew pemie™
Thing he qucaon pron, gi pr ton can end ng
cu oy semi eee en vein ao we
‘an oem ncn ii
SSimwtedtn ee hes of be can oncom 1622, oor
‘somacon rib atl troup hey sh 00 nich Mon
‘Binsin tothe yep bens nen, em Secon
TEE net's ethers fo (198) fe wien ned umn
{fog htc wf, whch hy co te rele ea
(7 Weird
wich ys ame an ein te cn, ht och wet
Sina ar sans fre winery ne peta) OF cure the
ee RG es enie thc to hsp te
anecele ate tcondan hat ip mero wth he Sack
SOMERTON he crenarchaeon we
eee ree Cheatin enn cu cons a mh onc
‘Since uan he screech ngs sna weer bo ee
SUS Sr ame ie Sk te Se sy he ele
aoa nt usu fa te odor nes noe
Se oe con
Tey quttcion prem he ii pent by de
well tig ab sn ob ene stan bo elo AS
Tinian, oe igh pest enorme 1825
2
ae- Fob F Hors -
ample hgh the dei Seo =, with onening the St
‘kan (15.7) and 2 cootning ech inane of he dl sl cham
(7 Commas, 8/ Comms 92)
hich ys tata she absence ofinfrmstion ro he cons one Hl asume
"ha citer te not connected bya det Dit. Ths thecry wl then ane» se
‘xenon, albwing one to conc (ander esate san seh 6 aa
‘isting fights are sad) thar there xo est ght between Baliore at
‘Now, sep back and notice comm ure incur det repreentaion
ofthese vars examples lesteing he fame prbiem, the ection problem,
fc lsed- word renoning swell =n ur representation of te Nise Dao,
Enc of hse cc ced ently on deal reso he pi orm 4B
‘which the ame frmuis occu 2s bot aseon and conclon Sch delat
‘ese known a morma deena ther contain only nr del =
Perma defi hic. As shown Retr (1980, onal teoes ps
{mabe of race proper ta fe not bared by dil tas ng =
mos nots, smal cones re pacated to ve ccendons. Recut othe
Stave proper, and eau, shat Ben sce, any portent esas ca
he coded ino nomal eons, Keer onal concur ht the fall egresie
FOR pet oe io nes nt pions nical
Tinted to ermal heres
acne, Howe, at am en 0 be ncaa ata by
‘onscig the a example he Tweets Teng om section 15-24. Conse
ing nly omal dels, the infomation fren the Tweety Tenge b natal
repre in the they A= (4) wih conning the sees Pan
Yat P% 2 fo stig ha Toeey& 2 penguin and that pein ae is
ith ha coming he dee (AFF) and 04s Pci
“cry the genre ruta da el ya that penguin teed TE
sl theory, He the repeat the Nin Diam est
‘sitet re, a eal tw ey
Tame VUE) and TACHA Ey
‘But shi ih Inthe seo he Nikon mond, he multiple xenon ae
‘resonable, ance the dtu contersng Quake ad Repub pest SY
gual weight Dus inthe ase ofthe Tweety Trane realy does eo at
“def conening penglos souls he reeed tothe ele comerng
sia engine rape ind of bn re ays bes vo ean a he Be
ofthe mos sei ntrmation wale One mayo epesing such pekretes>
song eis fin aplored by Ethringron and Ree (1983) ito moa he
‘sprseaton sta te fens tht might ove the spplation of «deat
"ule areal bus into the statement of ta ae, Fallon sharon Be
dul concring Hs foo te Twery Tangle, or sample oul be cette
ot by the nema defer (Be: Fb stead yee non enal ale
—__ »,
(eta RH
What sae sis din oe ow sa Tey ih ft cone
sia nr fey sn at eh rg, sen bad
Sesame tate ce
“hyped opr aoa aks heal pelen prone ye Tey
"ang tr ow searorl Sa sae ro sora ese
tart pean hoe ruling ey sow he ly eee
‘Thie0 (Coo) si ss aon de Tey So oy. On he
eb ee OP ante mph sc eal (BPAY)
hero ct i ler Pre tno
‘atranstch,ning tepoirolen,heey fwg nw ca
suerte ope coc ang sop acu om ase ane
ervey ene apy of rn fen
ance mews ct is Soe ~ esi opr
Sener or my ceo cnet whi nema Toone
Spor ane so plete ey Tange wih he ond ron
{thane ss of f= ty ey young = cs nt BOF coun, ne
ena alos re os
‘i be nl ie dat (D/P), sig
‘Peay er at ong ds tad 1 Dt alton, ee hee
iw ane pone om nt oe dea ti
Iya pesusepeemon of ot det outs be eed wih eso ae
(20: Pent/®)
sie tec
rom «compat pint of ew hi ounce wats \
tks the poof eg» Wo ttn esc some,
“acelin rr, i weno
Tess rin psec Pom» pnp! peo Yew
weer nance br cs we en tht le ety
SONU Yale suerte eo He
ome oem toes ht oon shal
154, A Model Preference Approach: Cicamseiption
{twas ord in the iodine th monroicy pope eects bth poo
theo nl mel horses of ety fps. Dei pc
From « motionon of he ual rot teoeic asamp nods rs of
Incence ht depend on tbe abernee ax wel a the presence of oman.
freon nw tm to they tha rus Hom mediation ofthe il ear
ana fo be a semantic consequence of a se of formulas
“Foal farm A ld
Pen, ds when Ais cin every model of T- For many apis
stte Hoy)
ames, ne docs at rely cae abou al he mal, but oly above cern
rere tsa then seme estab to ly he weal Soto Soe
‘que 20 tha A ad oe comejucnce aff whenever kt ane
based todh of T- The thay of ekeumapvion,ongialy. ales by
‘Neary (1980), ess om ts gener peel ewer wen he eked
‘oles ae dina at tose ia which cr pede have minal enceoons
ISA. Predicate crcamuripton
“aling a model a pie (0,9) with 3 doin and an inerresion of
Some fed backgoan ngiage oe tht conn, begin by deaig me precy
the referee ordering cn modes that fem the seman behgrand for the
‘hey of cmstigion. The gene eu that one moe! sate ete
2% aot just nee, while greg on eveything ee the Sit sue
Pte predate Pan enema lea Sal ss thi seigred by oe eres
esiniion 18-4 Where a4 = (0h) an 4, = (04) ave models and where P
2 pede then Ms fn ee
@ a2%
(i) 31Q)=%40) for every ligne yb Q other than Pan
i) RCH,
e sould be dearth the weak preference elation
‘ae tht me pcre
Definition 16.6 tet Che 4 set of moet and Pa peat. Then is
minal Khun cae VE Rand tere AC © Rach at yA
‘Speen IF the model cof, the set of eel that sais eae member
‘oF Having identi! the mika, be mat prefered ali ona
‘ow deine Carty’ egal nation petri minimal conser 9Y
fang cal on he minimal mates ofa theory ding «Farmale 2 CO
Sequence of the tery whenever iis ci i Gn oe
Definition 15.7 Where Fi 2 of formule, Pa predicate and A orl
Aisi bes Pminimalomeguene cl Twit 3p Ap ce ab A
for every soe achat & Penal nthe ac
7
—— Nanmonotanic Loge. ——
‘os tse hi mtn af mii cog nooo A
resample ke F=f web. Thea Fy Ph sac tbe Prin mols
tthe whch sty ig deme bu of ase oe oes mo
fe Uy Pe
Ts dont dang the notion of min concen, MeCarhy pov
dt ae mceeon or iwogh oso of
tmp, br wich sone pcnary mation ede Where Pend Qa
tray pene, ke Ps Qa steison of he rt
Vig A.D Oo)
evi, P< abe
P=Qnvos
sd P= Qabbrvines
Psqno=? 7
an fe cou ofthe mean ofa 2
ie deere thereon Pe pee ei
wa sane emnpn omar ey
1 sebstine cont f) cm be espraed gute simpy throwgh the seed
Pirteesiy
Taarii arse
nt nsec cn ae
yagi cman
mo igre eesti
sige ndeh Ree Me Sram c ah Mele
Sree oper Sea etd ma
Sr tte sc aya Cs seid ye he
‘unimal modes o
Theorem 16-2 tet Phe ie wet sentences, Pa peat, and Ma mide
‘Then tt Gin Poin ee 9 Pin
‘xn this ret, the sundies of ccuson with pct ro iil co
Sarat illows 2 oe
Theorem 16:3. Let be & fie at of sentences, Px pret, and A»
Formate Then Phy A whenever Cir PUFA
hac ey
rr To ay ta Fy Ai sy ta
Te amet i sme om te peeing eh
inal mel fT isis 20- John. Hony ~
{8 baowe shat Cn PL, Since Cre A A, the soundness of secon
‘onder loge ae tat Cie) Ay ads ome conde that MA
‘Of coun, ccmscripdon isn compete wih rae to minimal coe
ot fey minal vnsequence of thee can he dred fom the ecumseon
Formulae no spi, flowing rom th ncompecess sco
‘esac sel. Hata note elon tah el of creams ea
Presets even in coset theories might kad oncom a sme Samp
‘eo Fern ta (1985, rer when ne cones the her can
BANE YA 549)
Yai Ni)
YUH) 349)
‘ay mode ACOH; mus aig to N an enteson contining «sei omomhic
‘0 the atl numbers (ths ntepreedstseorsanonecan the eae
‘other mode a¢ of T simply by dle tom te extension of M the ii
lement of his seve. dey, ten, ran)
"he econ conju ofthis femal an then into ying” wth
the predate Asics) which cei cay toe tom he ena ee of
‘ery tht bth the Reale FP and Pare sae tn Py The eed
‘fos thecal to dere te farms Ps Pt Vacs aa)
3 rm hs one cn concider
154.2. Variable circumscription
‘The infreoce cet deine by the theory of predieste ecunsrpon lm
nee ple wma te En cst eid eng tre
scion 5.2.3 by cicumscting the extension of te peice Cameco oul
then concide tha thre noe fight conectiog Washington and aro.
{wis ot, however, ht this theory i fevered ape fe he le
‘sso at inever lows new ponte connote be rm y et.
Nonmonotonc Lope
Span anne ener
deerhsraares ae oa
nek aay
iat cyt Sete
Sanna ee arene
Scesieea rie Pe eretaeeee
Srelines Sen etna: sear oe
Tpiaatareesy ec tmarareeec teres
Hasty Siete Memaie ota otonTe
=
tt eemanogrenermmeteemnt
Seer eae iy ieee
eels Faeries hemmcaaenae
eee a eal cidermm commana
«aac ttetst arco
cccevsauos :
Ta Ay ny amt ecto
Ses Rue mat
a denis that thowe
en Sate temntroccmacn
ce pte ca
Definition 18.8 Wher a= (0) and ay ae mowers?
Zar an pies, the M4 Min
© 22%,
(8) Qo) oe eer ingt
mE mm,
so athe tha Pad 2.2
‘inet pec cig an nn at aarti
Seeger i ma ai eee oe
Seats ae tam are mt ene
‘eign ey one den
Desai 15.9 ihe nw Pa Zt dio
Pee ES te ya eh
Ms :
hn tp et at hve on ewe a tin te PZ mi
‘odehin a cong noe of OE
iS.
aJota Fon — -
Pefinon 15.10. Let be «se of model and Pan Z tint priate
Then Mis PZ-minimalin Xp nce 8 Rar there sno AC ch at
wnat
Defnivon 15.11. Where Psa set of Formule sd Afra and Pand Ze
tinct pects, Ais x PZ>mininal conepurncofT—riten Phy A jt
In eae 1 A fr every Maas Pil the |
‘hse es ca be ated by retain one api the intl example, Ae
steal nen, the formula Fi not an ABs conequese of Ty sce the
‘woe tied above i APE mural nthe mode cs Ft dst super
{his statement: One cn now, homeer, define the mol 30 =, 9 fhe eee
Bac 1'(AB)=O and ¥(E) =e then ey tote tat ACs Meta
Bot ABEmininal, tat a¢ ise? ABE itil, nd hat ey AD mina
Model of Tz suppor the semen By 2 at Usage Fe
‘sbi, a sound second onder syacue chancesion of the notion of
Zainimal consequence cn be proved through the flowing cesarean
formoly abbreviated Cin, P. Zand exeeing theres of ectacing the
[sete Pin the theory I whl Ang 0 ay
Paar, ZIP BL
‘And ain the able eumseon frmala Gis Pa be sen ol in
“te the AZ-mininal del ofthe tery Tso wht folons medi
"hue able cecumsspton iSound with sept to PZ minimal conser.
‘Theocem 184 Le Tbe a finite et of seenscy P an Z dint pt
eee and as ote Then Ce 2] en eM
Theorem 15.6 let Ihe afte ct wf seinen Pan Z Stine pres
fd Frm. Then Phy A whenever Cie Pe A
“The application ofthis new vile cvumsrptiom Frmula canbe ses
through the iil example, desing Fs foe by sacamscrbing AB he om
lg Fo vay As ble bes by rewing Cds A
TaVeeutP™™ 2 amr =A5}
‘hen, the on eonjne ofthis ermal a be instante esing Pith
the empe pres Ase and detifing 2° wih nen) Ins aso
‘mand mater, wing the ifomaton fom Ts to veal tah FY? and Ps AB
ac one can conchae hat P= AB ett athnee se Ale) From it
\ low ore cue, tt ch swt on to oe fin hs
‘the information from T, that Fe o
—
Nonononc Logi
1543, Paral! and priori cicameripon
Cem pt na
Dott damtmace me nara ee
Zo oaine aeeaaeorn emmomeeee
Soames homeo apee anes
Samordens semen ees
LOU SEe ee eat veore
Sn ind Yoyo s os Yes wes of CY neon EY
Ex knlavagnctinaesh pera
ison iviemniafhan pete caern nk
Sia pesmi aerate
See ohne
“ecco Se cea
SEE to aerate Tee
SVE Seas sec irae
se eaten ca
tp cacefar nicer
“Fe neha ec ose Nem Desmond sm pe 152 ee
resented through the theuy containing the statements Qu and Ra, sig that
Sather woes
val@en A527
vita gg
el ince rpc pin it ee
sg Qe te a re oc ae
oe ec elcome nt
eee rs Fn in
Sab De cs Wd gees ot =
See a dy Ahan, ated ma
See te he Ei iy Arie
st hy A i ec cane a
See ee am dR nee ae
re it eum ie
aoe ee aie ec pe
57ccs, when def ne rn ess fren oreo sin
Isher nyt the minimsn of ome sonic an cA cp
ol yay tang fon 1th
chery conn hears Panda Bs) sing at
‘Peet pengun sd th l peng eho el ee tea
Valens) 2 Be
YeliPea ABs)
‘ang a bk normaly but ta peng somal mt, Hie on
ines he vo abnor pe ain ae Ni Damo, ae
‘2evome mina! ale suppor the ra Psp so cer pe
ine am atone bral to nw ny cocoa Ie ee oe,
weet mie he tnomalyasoces wh egune wah» her
hn thr meine ht ales en apa
“To dsl the gory of plored decamsrpon lng otis, St
elie the eatin :
REM YD
(5 ¥ and
Along th ew elation a actualy be ten — ig ts enkanet on jot
‘nin ones wih pura! rpm ag Btwsen pa
"oe hing ca be hp ame y renga ean re a
‘eta in i dete the flowing peceee rng on mde
Definition 16.12. Where 34» (,») nd a =(0 ) ate model nd whee
PoQland Zar dine preieste, then Mp ge 96 hs nee
o asa
2) RR) cu ie blot hn 7,04
(i) OP, MODE CAP, QD. a
The ies eid ths weak piwtzed ender tht the made ae prefered
Sh mina the xno ined bth the pss Pana Qi anne
roary, but a minimising Paige highs pty than nang 2
[Onc his weak piorzed reference ordering as be dee te development
oF the theory ilon the pater set out eae, A corespendng san oer
— Nonmoncionic Lope
«an be inode ain deion 159, wih 9%
oh
‘Sand (rh-» Gain) and > (Sempeton), th her al ema
Sekanegs
As i oot 9629
MIA vag rand aby
oyosial soms 9 Pare, fo, er by ing the wah agent
oF pi aip)=T
ay fara @ in hs og i all notton FE 9 al
‘Kriphe models M=(S, n, R) and all s€ 5. i
rein he pesor Kin the ahve wy, one Slax amb
Proposition 9.1
1b Rig-+yi-nikKo ky)
2 tee mea ke
it mopson sy hay modeng tomlin is wt ded der
‘vil cama: Foherme, ar dts We ees
tense eine, Frat
Ssiting the vie of Kian eld Tong acs a aoe eee
nde Io hs oe ny peo ce pono a ener
non 9.5 tom Forth ie gee aa tte reper ot
ea, wonder no ae prey ade Se sly
cil 9 eon, noe the th Tal om see cw
ple mods th hn en decd ac on be eli he ng
—_————— 16
Epitemie Loge
Liter ae stem (led tem Kin the Beate of mods gic) omng of
the alone
(0) any sxomatztion of propos lgie
(Keay 1iko- ky)
ls mods pone MP) and
(a orko
“The ally (Ks genelly ered oa the Kasom, whee Ny led the
cation re
“Techs one can how hs hs em Ki nd and compete wth repeat 0
‘hecho af Kept mode nc Stes ha she there hip
‘aly the et fais (wih resect theca al Kee mod). Since He
root ofthis tertile ome her, bu ean be ound ay
{entocks on mal lg se, or ramp, Chel (1980), Fuge anf Creve
(B84) and Meer ands der Hoek (198), ant eager 7)
9.3, The Systeme T, $4 and $5
-Aszen in ston 9:2, the notion of new, ape by 4 modal ed
in ephe mdes oft fm noe here, ies cern proper. Howse,
‘Sie proper tht iney ho of knowledge are no aes hi ting
Forno one ofthe desing popes of owed tat rl That 8,
Jn onl Reg te toon that ten @ mst bees, This ola,
ower, eno vay the Humes given ths be caper 7
"Thi can be seed frmever, Hy ptng corr om he dan of Keke
‘mak ig smilered. By apalting tat the xc elon Ri gle,
evan the enmat Rea fr al 7 Sten the rs Ke @ Bones
alt wither the se of ode
Proposition 9.2. Any Ke model a(S, R) where R's lesen
aekee
xuntag nem Kf the prin ston wi aon KP ¢ hem
scons yon Ths cn own to be nd dome wh
‘Spe we now cs ome Lethe ew fl ie oc wih he
‘Sey rion ree ieee] eh Ces (90 Hahn
{4 Cee 1900 snd Mop a ener Hee (1998)
"veteran malo erento he» propery og a ow
‘edge is known itself, expresed by the formuls Ke-> KK¢: if one knows then
{oe at Crs at one Hae is orma no vay ei
w= 1. Meyer
resented ths rites. at, pin, cnr on theca of Kpke models an
{einvvned wo overcome hie eBay fe ace relation in» model
i={S 5 9S ogee wave, seis the sn ht
Rls A Rie wR)
fe 45 hn he rm Ks Ki tome way wth pe 1
this class af modes, * 7
ropron 9.3 Ay Kip mall (65K wh sree ss
Encanto whom K9-» KK pes sytem cled 4 which it
4 wel ion acne Klee (a kati llc Te os
‘as te ps smpeton se tees tanethng owt he net
‘Indagare. Ream te Sw 94s ad
‘poe with apc 0 mos th any tecs tet ete se
Sire ee apt 7 tao Chek (1980), Hage rd Cee 980)
‘nd Mee Hoak 1988)
Now oe ana gto wit tere it ore wo be? Can er
reper of we eet? sue ile So! eat ei
‘Shan wo meta Dee uri sonptet sce and A whoegees eo
rele he oto wal er ea np
‘opt informant ab lge ens hap ae
inh oe ones er Hoc 199) uso as nce
‘ich json ours of nese
“hi om hale he mga reo
akg Rake
Ic sae ht if he get does meno orm ten Amo the dot
‘now 6. OF ce, fr human agent the soy i Nhl une to ld
‘ser owe one may nor even be awa of en's not Kawneer
‘ome acl gents, ing wih ft inrmaon ihe eas Bese Pf
roped atoms and its fora tha the the fh een
‘ny be aud irl) ke hi he al pee ect tattoe soln
sen th formula doc nos follow from the agents ite information, and the yet
smc hw, i km A
‘ore ss he aly fhe alos dey rm the spec Lint of ees
hat sein appt ~ as nthe cave of ei epstemie cn saute
‘sms c Halpern and Maser (1990) and Meyers de eck 1999),
12.10 the ay ofthe negate inropecon atom one bas con
(accion othe) Kee mode en fOr can show ar
‘using thereon Ito bes eae ren, some
‘we om jal eon tha tiie
= Fpmemic Lope
+ Rosner 1168
ene Risin Rua Rs a ral 8S
2 sumone Riss Rin atoral wees
Takei
Sina aterm een
i ty ee me
cin eee ira
screcs in age nee ona
inte cera prc at toe
icieatl i Phtemtemne saree
Eons thedhee te frase
SSoLi chip neces
Sight hte et e
Eoieisicrecvastaegcemer eames
Bota aaast arnt opmiccao nw ono
meson ns ersmse econ
~ the antem SB contains 2 redundancy the postive intopestion axiom can Be
9, Beliefs The Sytems KAS and KDAS
Belt monly sepa a» weker o of trode ein
5182) The ral ference bewcen oleae and et hat he fame
‘ime werent er ned et When coining prope xr) ofl
‘the thn Know. he of ewe ane oped ep rte oa
ht ledge bac, Moy he mol oper fo Deed doused BPs
‘eae is bleed shat go" ager bebe a 9” Cain be
‘tou th at ato fx tee ges the et wn
{SY somatation of popatsonal ose
89-9 (Bp By
tp —Tel. Ch Meyse. —
+ te 80
2 Rea
a rus maar on (MP) and
(8) /te
‘The cas of Kiphe mols wih cegect ko wich stem KAS fs und and
amie consis of hom nin wach the acetone (so to
incree the operator, conte) ram and Elearning
‘her Rtn
RU ARs Rw)
fl 9 €& (oe ear), sho Meyer an van de Hock (1995)
‘ay, so is spared ti bach sald be connec Yom
blea"p) fe sep? Ainge melt the ne RAB an se
(en eel the Drange tnt held ned io of see ge fe
{Supe tyes the pcm DAS weak 85 This em cn be oes mead
sad empl wth spec to Kp tice in wish tne mel toy
‘mma Eacen od rik hc ety 9s et at fr
© She its Smut fy Ths ope capone ea pee
‘othe agen come seat oe pease 7
‘5 St $5. am be shown (Mee nd er Hoek 1995) ht KOD)AS
(sounds opie wth ope 0s ca of single tk ohn ee
{siting ofa awe a Sewer nu lag eh te
sca ion Rates) eh Sant Mn sts
‘Se one inten KDAS, the th omc, tei oS RAB
sn be emp Ths pres ne pare whey can he epee psa
in ey inane wath sie mse RCD) ee coe ea ed
‘el eres the cre wa eee el) ge te
i ates, yr alee. sn cal we aon (98 eptne
ise wih inh ef KAS maybe ey apc csc feb
te genet acl word ay ate ming odo ath he spate ees
‘esi th sth be ay beeen heen ar ye
Sea nie
Nitec w the cf 86 the psi inten anor ble mt
‘sh ihe pts Ra and RDS ee aH
9.5. Logical Onmiscence: The Problem and Some Solutions
‘5s reo ston, a mal spproich o koe (nd be) based on
‘Kip mods of teh a defned tha ye ht hale Cs) sed
under lol cotequnce ant adie re know (eeered fopenon Dh
Epizemie Lope
In fix, sere ar a numberof fate prope, clei) ced proper of
gia nine since ey have to do wth sme icalenton the pe fhe
‘Sowing (blevng) agent (vee Cl stands eter the Ino opera K OF
he bel open
Proposition 9
LOL FOpADIp+ ¥)>0y
102 +y3O9
Lok Fee ysrtpery
10s H(Cpvoy)sOlevy)
L06: ED PGK»)
Or, b(DpAC-#)
1 an LO? wer ty mene in ppt. Ke
st hn ga tpn 9 hoe ce)
Sab prion ler, 108 ns a pry tg ene
‘on fia ben fie) ts See fo we el
‘Semen bray tht ay ee eae
Shee ne neo eee aon be 1 a eh
fiseen ed nd yt re ens econ fd
{sien fsa ton een me ees
Sims tment oe os popstar
smtp in ie Sag eee pce Foren
Icy sy ha ene ke ape snes
serLamle i ge eh fone am
Foyer ert ey Sl aman re ope onal
{i Sima eh penerin o matn hres Te Ee
Soins cy trum em son
‘GaSe ape hone po he rr amo
‘Sint soa lena kr ee he pope O1 107 Nemo
ES Sp ic ae we ey gen
‘plied peur panera Tes tON- TOW sete t
‘2 Lh na (10 sy ingen won at et
‘Sy eb one te of wie sl ck i i
pec a se ih eS ma ve ee,
‘Na a yom) _
“erty ese popes mcting test!
stn ie it en sot, WS he pe ee
ot fire wn ye at orc =_ F.C Meyer
se ing wih te ail method consign studi Kp models
in which nonsundard (ampoule) wore ze pee Hee the ew ml be on
Scving she loialomnseac pola for blac tha knowles
the comet of bet he podem ste tobe ie prep
951. Rantaie models
nla mods a + sonst pe of
of Kepte mod in which, bse he
ons wr, ab raed peter acme Rese 108),
The Mes behind ee Spouse’ ert he mane gets seme
‘ngs dhs inh snpouie wat sang may bebe se
‘ots ry ee Taste wlio nee oe
fe Hr hyn een stem
kh we oa ran (ew aA ty
needed t0 avuid the agents logical omniscience. » wy wats
Fon (piteme Kaa mcr ers of the illowng ind hee
stands forthe whole logical language: towing Kea
Detnon 92.0 een) Rr moe 3 aree A he Se
(5,0, T, 8) where a
+ emery dentin
1 BERR ag tet tet
oe EE raceme
Fees aan alzment fnction to the atoms per sa 3 “
EEE ren a
Sees
1 frag we 1: Rud Ringe Ri
Peeks eat -nsge tbe
wich Ris 1), ete 7
2 rMgA¥E 6 Aa lye ape Rha ba SS,
EES ERG PIM MK BQ)=T tps MP 9 ora PES wih
Weraise ss,
Forms in ove wud + Sr ne
inven in exc dhe sme way a
pte mode nding the dae forthe mol opera Co
4 SBI9 4, Frey 1 Sach tha Ts)
However, in impasie words s € ¢
very fra Is regarded x atomic, sd
Bn rah a yea fhe : 7
‘wath aigmentSncon or
Ma Eg or igyeT
picnic Logic a
“Thu it may happen ths fr example, he orn A pissed the value Ty
the fction aan imponie wes" © Sus ate va thay ae tae
Inevey pil wards SS" In my Raila mode a= (8 1, 5) Ts ey
ictal the worl in wh one caw ae she wos fo which one
toes pa snce apd consid eptemsc stems. Although thee eras
roy be dpe the words of eration Fepresent the aun wed an th
"The etre of allowing fo tee imposible woes ves one the post
enya othe formulas LOI-LOP, at noe of them are vais wath rept
to Rants mode, For ntact, olde he poy of denying LO7 ia Rata
‘ody Te ey eau by taking model =, oT) wth S~ Ue
SP=U), Palla (rsh and or 1@)= AF mg) =T. Then ace pL,
ica aes LOP Moresby sulting that ("ev —#)=P one an deny te
vty of LOD, dace now MG Fig) i the mame my, te ber loge
Trnience properties cn be deed. Fale too thay dct the canton oF
"Rantala onthe mod, the posite ineompecionsnlam ia aby
spain, can be el ved
952, Sieve motels
enone nag nang ice
‘Agim writ of 3 anand Kipke mol cle bt 0 ined of
iececasiuiats Miesiteal-Ovmn nea
SSeS
sat irate er eins epee
Gee Ree chiciecneseeasn fa
cgaiaatc
Fel A Ann cei
lange
Defisition 9.8 Aa cei) eve model
Aywhere
1 Sie. aomempry set the st of ater pale wor
fgsSa(D Heat acprmest Fron 80 the atoms ps sta
1 Fe Sys he at ncesbalyrston, whch Bede be sera
Vente an Balen again,
+ eos pedis the amare incon, ainng pest the st frais
thar the agent naan ofr any 36S.) ts esr 9 contain ll
Sevan of the Paso nd he atoxpection sso
strate 9/0 om 5 Z
tthe lgung oan a ‘anos peter Aas wel ste epte operatr
‘The ae nerpeed on see soe A(T, A and a se FE Ss lows
a Api 9 a)
wsJ.C Moe
96/8 09 HEE A eK, po ls that To)
‘So fo se denon one can show inde the fon acta sve ony
those firmus are consieced knowledge (See) tare sete ay beng
"wae of by By the endo pr on tht on (whch sates something he
‘har the age is amr ofthe Dano an bot intempo nc) sd theft
tha he ofthe models standard DAS lee sce ta hee
‘Sion ze ale aga
‘Sethe ee mex proach can ony rou formu to be now (belle),
ly ts aproch onthe les LOI-LO¥ can be sided, Th obvious ty
‘king 1 de ht conti pole worlds whee he formule be seid,
131 ¥, sot bing sare of, arly take ah tha we A, Then mete
3634 Ay. ad hence MC. This can be ed to show that LOI-LOG He
oral
953. Cuter mele
fay He amet with wich on can sid LOT whe il epg the
som remains, il acest eens Tt
spy ito ero wt Cl (980) en min mete
(9+)
tt complete the ten one aes ules mad pon (MP) on
199- TA. Moyer
Ke
(a #/ce
I on toa multiagent veoion of the ncn $5 (withthe aso nd rs,
fr ech peor Ke ring er ca gine ome tobe und ed
‘cuit, wich du the rater complet noon af Cio xa bad fe
fara (eye advan er Hoek, 198), Not ta he sty Css the he
{ic $B tons and us. Faeroe neh aon nd whch ae
get Rnd of induction sem mapa the hae Bchavot ofthe
‘oat in Sesion In wate term ely shout nds slong hc
‘ewon, Ise ta sapere along can of Rete wb beet
i olds tao holds one Ryd wold ater theif hed
‘he beng sich nin thea lsh tery worl san ech obi
‘sexy se une asain ha he na malt commen hele tr oh
9.7. Conclusion
hs caper bs ken peck ito epsemic and dona) log, the logic of
‘owllge and tebe! More arth lhe ot peng spa
‘ean of mat og. This hn ed wo omseron af posible wed tod
‘abl sors for eis logs and te ml pate 4 rd 85 fe hn
‘eg, an K(D)A for bel. As ec, th somctimes pe too Hedi prone
of oowieas and bb ing te othe robes) saga somes Tae,
atm, gave to approaches inthe eure whee the foul weslé canes
sme (or ole Wane pretest cm) to cope oh tat psoas The
RE oper on wants ro anise mre oa hs 0 deviate (ol)
‘Kiphewole psible wold vemamics with nonstandard etme Malye
hc spinal novi andes hve Been deca ges
noel ts have ben props in the ete ena which Kawidge
sat Belt ca be reawned wih atthe same tine nd one mons ot
feted temp of agent
Sopgested further reading
SSS oe
pieemic Lope
sett pein sie nt ape at ag
‘Care Seth nocd a npn o eon
‘Soe Rc it tech emp
epee Te ‘re i pci 38 Gra
SSToer tog and he Fomdetoe of gane at dese Benes
me See corner fore pce hee ma
uit Tok Ea a wl tes mee ee pe
toe ssn ec bp
Acknowdadgmen
‘is ued nth apr ger sh ty oe ili i eh
+ 9 pm el Sea
aera aren uence
ontario
Iw etal have lite ro with re intrarpecion by
mesh citetapaiper ie steer
Spain cma
ine to and beamty of those foe standont Kp
» Reacts mere Slates
Fee Rasiaee Homer ether nau si demacd te wy oF he
a Ne eeatnadueramtomte
SUS artnet eee
Soren areaacmn ea
References
wc lh Mo ang 7 me
i ea i
Mit Sestak Gomer ebm SO
Se re armani
ge a
Sch ia
M198 Reming abot Kol Te
20heh. Ca Meyer, ———
paler en
ee ee ee ery
coor ore Xaatinzon, San Franco). 7
AST eat tere gat omni et
1986 Cnfrrncr, (Morgan Kaatinann, Lo Altos, CA)- a ”
a ee as ag a
al Nn ea
tape cba emt fe = os
sy Fiat 8 ache ee ena
sn i cae man Coy
i ia bal
we ar te Sy
ee ae rad a
Thea sce a ae nes
st oe ee es
wee tee Stee Some tt tt
ina ar pt Sd SY
SRS ee een ara es
Tl ans aan etn ak
ed. (Springer Verag, Bevin), 186-95. —_ - ”
SRST Ste at nt ann tnd
Grandiagen der Maciemait. 9, 67-96, mie nan
A naman Bg at
(ite ce nh * —
ren ee, me te a
set Jo}. Gh 200: “Mods penis and Donic Ligh,” in Han of Pianist
euch Ci rr at a
i he Shit tt
a te aces i
is Rl (Sareea Ao, mt
Brot as cars tee,
‘05197 "Ade Mah Lg Ppl Pi
(Raat, Dec MT oui initiiaioretd
‘ie 98 alg Kamel Reeenion FAD Thos Tb Us
entra 191: Dh Lge
Pt FP he Lg Oe Rowe a ao Be Lag
(rin of JIA, 8 Hh Ion eee ans Vo Nh
SS Uh eR 1 Ho: ons Lg Ch FAD The,
— Chapter 10. ————
Temporal Logic
Ye Venema
10, Tatoduction
‘ime must be the most paradox once ou ins hive to del wih To quae
trom the Cofeonr of Se. Asie
‘Win thei ow? nae ak, oa ut if wi xan 9 ene
‘ne of ine’: puting sects concer its entlogial at on the on
Suir sijeche and Mabe oven, bal on our coscous epeone of
‘Mra cvenn oo the ofr hu our cation nd recology oe Bx
or te undconning that someting the oben, abate Tine exit. Some
[hpers hae en heparan so Br 5 t condde that ie swe
‘hen cpg the exten aoe tne, ave enganed eed debates
fearing write, be a ea, bounded or bounded, eri 0
Some
Tren leaving nah metaphysis ide ine obo plas sh 2 Rand
renal le oor tk th here lr ned fo frei ening 3D
Soha seen pyr eral nis, computer enc, a aril ine
Fence (a Wie these ener re nn neers cone Wh the ae
cepa ne heya could go under te Beng of tempor! lowe. Ofen,
ower. or reed en des sued which tempor i of
{nee ir bch of mada loge, an apron at Beat about Say yeas
Sho wh the mo of Aor Pe, Ts cha: sy coined 0 is mos
‘Penge Ung aval bese, cor « rer ey oF em
“Son 0.2 dicanes soe ofthe owe wehinown neal models of
‘ime These othe sre he al Inga of tego lai ae dese
fa nm The inp th ce wo 403, 6 eed 2 ty
‘eae expose of orc ese ogi im of hi on 0 rest
ce ere Te ep cen eo nse he ind fens
ttc temporl loins tendon Secon 104 and 105 deste ome xen,
203sd serait hs bse system. Section 10.6 etches sme developments hat
Ine len place oer the atten year or 20. Fal the Eplogse sept 10
ower he guseon we tepor logs?
102, Flows of Time
Besa cn fags fi, ek ome
Sl men eae aed edu a et
ny il nee te or ay ea
pad Sap emo! me a nee
frets ol pnt wl eg ns
Sok ng dae tts te Sn Ws ces at
Sra nd chs bd fo: ence el
Sromnng nes fone tas napante aE Scar ba
‘Sie Sit A prs en: se a aed ep
Spar egw bed bie ane feat aieia
SSD cme ent ten a een
Schirano ep etlansctins Ghee
ES conte eng sh nc eee foe
tpg octet oy oe ae Pe ats eed ok
hee) .
ny ew uf ey aie presen
tine, Ate sium, one bul equ hat Bede wed esi Call
‘te mtn ha line a ee Ean on
ts rl re Samo hy Kner eek
ieyShea ulster hese et
Poin en Ve 11s od he pc naa
‘vin the eee Sco peraing he ome fey at
seen re)
or ree re earn we a es
‘AN ) (he oul saber), = (2, ) te tegen. ee =)
{Serra anh ef al unten en nen
Simp ej eae a ne meena Oa
7 an nen of nd Sobre ek pee
fhm Bee) Se ea eo
tr te i pi fie no a
fil dane teen pe et ae a
Tomaso ee ting ena fs ae
re at i cna ss ee ie
sieyycncacn tan bpoman 2 ot ou po tn
vettne anus beets ewe gene
Sereen ft mow aw St tie? Ara ayes
cpl nes hg Sek oes ae ane
—_————
“emporal Logie. ———————
ec Gine ar eal concenble, sich athe conan of rot. The oly
fev ayy tat Cea ne has ecched yy ede steton in he ogc
‘tebe ane der mayne mised op comin i the det of
1 ow of meme Hay. april erring ee Bar ay ev
“ic pins eet; expe in a cles he rocue to the
Slee Vanity sys Rye Th poops on ine doit in ne
{pot for tn eon a eee te ad in mos people's in
fev al othe given minber camp ae ines Sows of ne: Neer,
eid nenhngsims arcs sh rand $ave evel of enon
Ie herr on repr iA scr call Drang fh fre
thr ume pum hn to scl pn tram rnching
tinue cote conta he frre ofeach ot ney ere. A Bow of
tine nr boning ner bch he iar or traning she
lustre ta th conto ies fw tency i at Ht does nt csc
‘Rae tne inet the ere, coe often eran the comin ci
Filme we alowed to banc tothe re, batho to he ps thi conden
tacts stay tren, st ernie whith fri
[shal be etn te lope of bc ine es op wi he ogi of nxesey
2nd pb, Lest thie mol ope echoes 7). Te mee of is
rics cond ea eb hss otto my Um he const 0 Pe
‘Et woud not ake mene cai of hi ote.
com cnn he tno ie ve ed phen ro
logins nd ppt fer ena, oe elope his era oe he mes
tren sats fo mero he esos prs oe te
"Phun neti suns oy Ray t=) we tele real ech
"ore names ce sems that ereen denen ad dees of
ait in Ana ndesog def ocean diet poe here
ie pe ry itty Sen a) Bee of
‘hing tine eye fring ton frome, ne so
Fest aeons fhe eon othe el tamer te orn. Hom
‘re fortompurer mle and err tn a ey len: aor that
‘Titel wo pone in Suc sp wh each aon nl pit ocd =
te pt ot ede mt, Ley aa st Ren Ra).
Seer singlet dete Now of ine ean ty esr or e ieger
nam
ery fen cone with cnn. Suppose at thee onal anbers
scans end >i alo ms sae a gs an 2, raps
Fay. Such as oat proper pot on citer yale 2. ah 2 ow
(eee commons 28 pe eis fom tesa contra,
"lee proper dace ere, coniny it vey x emo
novo defetion recession quent ve fin os
“Ther ae un her ict scosrorde cons te ne my np
205Tae Venema —
tenor aries. For etre one might angie tht sect Sine exits nde
enemy of the vn ing snd at theese mre oe hold
eke se evi” One my of mang his pre to den th 2 fw
fine hme fay to pola 4 re sold be ete
ino ne cn hy Ft Fig ad nh)
2 stand yn 7) maging 10 tower ind ker oper at
‘me fahren ong ie ney th conta he a be at
owt ely any pws between any to pis Ove ta this onde
pes cers fb ma >
10.3. asic Temporal Logic
‘This set shows tempor gi 2 work Tt it presets o's bas sem of
‘exon lag, an daze some of the fender Iga! qsiens perenne
103.1 Syma and somantcs
Te in he gra mato trl gee sl oo at
‘enor lp an entenson of dail poping. Rec a cca
[opostona fu a epee a ath rae eter Lf te aD
"eth tale induce eerie by 3 nto fon ping
‘roposon tabs tah ves. Once the vation ao, the tah ee
{ay tral ac Now ws Ss wae hee ee
‘statemenss lke an
ee ining.
1am caring open mbes,
leh Fo tes tne Far
fsa, it may be mining today bat sunny
‘cgaromio. may tecaming my mr ap om a one re ere
The ne backs undeching tempol ogc fe so make vlins te
pend; more pei me aso scant ston Mth eh pa
em fee. Fry =F, te ow of es lai on 8
"9 (7-3 (-> 0,1). ( denon the ut of propo ven) 8, made
2a (5 8) ong lw ti nd san
canes that, hs defo, one can ake ieee das walas in
{thin ofa ode ina sandal way. For isan, the ole pcp
H+ tie poi «precy Hf m(igh= and Rgh=0. The sce
———————
‘Tempoa Love
tempor loi meer nh second Base Hen, aly we mom non
‘Steal connecter ost the eth ems os sin ie poss
‘The setondacuncs two sack opens: Fand P. These names mnemonics
“Tw anos? repent seeded mating of he oma a ome
Showin thou, ov the ce wl" so ee tt some in in tbe st,
‘pols
Ferny, define he set Penn imate sale consi he
ropooal mls tha dosed wader rontctng new fom wing he
Botan eee and dh enor oper and. ee
‘see Pand Po be ed operon Inthe paevits G9
(ed Pysbbrestes Blog Gpand Hpsse read "bene, @ ad “iter,
opel. fie bnenaon we 1 rand evn hi we esi
Neu thatthe miro mage cl py ee oe ome has Dy
Sriancondy vein all wh Gea vic es
“Bnet previous stration ogee, pes he allowing ndtv defi
si ofthe noon of ro formals pat me pn ina moe =,
CaCO
Mehae nora sre
BG rk gay ENG th pand ary
942 Gp saga pfor all rwith <2
Hie 4696 a8 poral sith > 6 aoa
veyereup nmr
ACUI et
RGR ee eo
eet een
re a ag oan a
Sorte ay dwepiteree ate
wieare ccs Shama a
Siena encenittacns’ iS cates
iueteiceteiomeeite reg megs
een er es late
Seas ttt pron toe
SS hee escae
Saeco
See
w1032. Vali and denabiliy
Temp oki ae ery ot 0 mah eed nthe nh ey of
Son in pac ck ba sn ve ee hs en tu
torte Bow oie een ithe aon Cages a ich rs
(rte carl rman cnemng the sae of he unig ot
Sie oem fas g so be ld nw of ten: 79)
ieee vain ren sey ple f(a) sh pA ea ala
wo fon of tine Fk akon ech mene othe das The wn
‘tse dened dy a sod oe satin fow of Sine
{nfs i) pao aon be ew fi te ls
(How tne pene
‘Asm enmpl rant to ht he re Fy» Fi aid on the chs of
on ering Ame hs Sa int of Seo tht
147 Myson iy ener am sty soon osm ay oe
fina ea) Fy yet eo, he he pi Fee
{i by Sem, he mee pt coe ann
Fis a bar thn ¢ pl sg ols ace Pad wee
‘bay fies tow the Ps
‘Other nos ate a eo FFs ovo he
extern oft ger, Fete pt and Ta oer wan
sta qe iyo the bs yt at bt Ee Ue
img umber beeen a Ie forma Fy nvr fe eo. Ths shoes
‘ned F> Pes pet, one pent os
tht thm ya ie on enon dene eo
‘ce ae aa on wo p< ec ineedate pte
‘assem gue ny i tke thera Fy ye ee
Seem yy etn sce ie ee ey
tn gra,» hea rms ie id ode iC a fine win
aoa Kile cre low tine? 'n 7! iT belngs oc IC seem a
in anata ings perce
1 wit or ar no ey ma p> PP ce
sponds to densi. mean
‘Se vr ey fie on seule fr ans, ean rt
shin Man muha edo hc tring fi oie, Oe
‘eh hes linge Row rain
ie Pree Fc ng ee
“Heche conto oh ol nd or mage Sees Bows of
‘Sime that are not branching. -
ges flow fie cond ois kins myer ores
sen eed he Non pi sro och eu
2s or eat ows fie een, ter wh he mae ce ee
‘ero. Hee, Op aires Few ge Ty and Do= Hp poe
~ ‘Fenpor Loc
ving Gopi TL HEL an
Lat sey Pr os)
aving fl pat Gv FEL on
ghey rr ow)
Decree (rT agai Be as)
Deay fot (6)
ocree Stentor wo
ving Site imena (Ge )->(B6-> Ga)
(ee ee on
Fay sce Pron eu ay fe ee on a ae ones at
sect sey prt ode) the sue arly ares wheter he cso
‘Tame ef dete, Since, snow to the ese of ordinary mol Ts,
‘rat my be elie by she orl GP> Gp, ths eds tose role
‘finding correspondent for eeevity (within the cs of waste Fame)
Unlinorety shr mo sac oral
1033, Axiomatic
‘seo seat, enor ge rs wit ows fin a bis it
‘onc da bern ding ope fr a oo
ee rol ee tes ee of ai oa
tog ce cher ta par soon Rte a inal poral
tein hias pug rel se Kya ded he io aso
‘Mone ea a ced we he falling ao rd eon
208
(6) nial pron auaogicn
(08) Giger eGo
Higa) 9H (Dib)
yay
oH (Cm)
ps6 (Traini
(U8) if gis thcoem, shen so oly] (Une isin)
(oP) iF gand gwar theres then (Ma poner)
(1) Weis theorem, then soe Gp (Tempera orton)
nd Hp
m0Holl emt he rl ofan ie ema te proto
‘Mos tee ae and al of tha mle as, perhaps unde fee nes
‘sre fem onary log. expan & the Come ao (CW a8
ts be sem thao sede to ene ht the assy eons fie
‘patos Gand Haze exh thers convene. The el els the tnsiy
tthe intended accesy felon of 4 mol opertor [ce chap 7) han Ou
fensranson los tine espn rence oor Res fon the proven
Subseton tar the propery of being sees rt define he Pra
langage: som noc ta eet dos nor een el any eta ei.
ioe the ein mal log: ee onto at eno nein the od
Tagg my aver he vali ot cal males)
hcrem 04 The lg Ke snd nd compe wit pec he cs of
ak of pce, the ro of Totem 10. omit: Ese, ti eton
once on comple fr the ca flied of te, Lac Lin te the
‘xcerson of K, th che om (NB), which the enki othe ssa
PFg->(Pev av ining aon beaming to te fie) sod eo ge
Fy FH Bs PO.
Bere 102. Thelogi Lnend and complee ih pe 1 the ds
Frf Thi poo metho mas we ofr cnonl mos ce cate 7}
{ee fe fin nine oan ete ean
Eo Wy Revi 9 ror al Gye w The seat Ja Reale
sata from ei th ceil atin ot Pgh) 1
‘he fim to pene 2Truth Lemma fortis sl ting hat ral
‘a Sy pl ofthe meen ll =
sah pitoe» 0a
‘As wl (10.2) prove by forma ndstion. ‘Therein
m2 el one minor pote,
‘nom that ae two bal epson te
‘sty tion, Tis precy nlc fe Comene sons coe ey
fe pono card coi ton cy ts
ako for HF, an be rowed etal et se
cee iri (tac eo theresa Rr
Now i flows ey om (102) the ey Linco st of oss
sea he cena mod bt we oe of ma oes ae ee
———— a
— Temporal Logi
ot ash here. fnpotant os the Tosa eto em in aie
ow of tine. Now i cyto ven tar the canon acest weaon i
ate (se the som (2) in mal Gmpleener rob tno er lit
Tosh hat Sao eae the dtl of prot ar et the reer — se
{hem (NB) fut imple o prove sat Ria Ener arcing, Dae
{igen ais wl nox be tue! The nin poem sist aang pints
incu coal acti eto. The clk part ofthe pot cone
raking tht ie posible eo rang She oni ue ino 9 ti Bet
ry whe ath oma preserve
"Ata 2 (H.R) cals fads ef Rt ras nd sronpy connect,
mahi Vip ey ge, No give aby inal Ln onset 9,
1S fone to ee conden he pr fee annie fame that
Coon via) nd sil ove teal of he Teth ema (10.2) 1
thar fn ha sey coset forma safle in a pcad-ine, Ba then
{he msg lik nego he completeness core fr Lin he lwog
‘tim
Teg issuable om «pending, ten abo 09 ane How of me, (10.3)
“To rove ci ie (103), sa metho fe sg fe ben develope
we seeded of sh ign» Br sch ofthe dong
Stns ea he Aue ts psa in he mol = ) lo
‘Be pcnutne 3 2{ ae) The Baoan tht maybe repress
asec eae ne che eos at fH te
Wiles ue ces whch her degre (craig
act pa re i Ris wine ont) The ton dod
fang Gircr ema Re
Thy es owl ich paper tern 2 ssl Ie ong
‘ua sie ech Cth Ob ecg ech Progr coe th
Fee secs Sol cs iar eer tr sate We new
tna henna he pe se o hi ssn, note ope
Ther ean of son rece che wid ed
‘tna esses lw ts ihn Cy ovine vals nd
ecteans long yr ng sv oe poe Tm when 3 er Cis ed
Sin nar onto. eb nparan 0 ema a he Het oni ies
Whe Inormasor fC nny on, an nbn econ. Baoan does
Peseta ne re award ay ple Fr ni, em
{fccumc Chan thes cme oly ad yh mx la tions
ta oy Then fw pe tte eel (A ae Ben Ale)
cee ese an unbunae! Gn btn xe of th
‘eed clavate oad 2 AE,
There thunan eons eon inking pins the ne, tomer model 0
porn ang ts on ve at pe sae
Sra“ se po ren (008) i
be a let us define the fallowing logics:
Turing to de koma of pie vee,Lin: Lin vAL MAR
Linz: Tin sA2 1M oAR
Hing Linden sno
Lin.R: Lins sab 486 7
Tor these logs, the flloring rene apis
‘Theorem 103. "Te lopes Wa, LinZ, Lia. snd Lin. ae sound ond
complete somatization ofthe 4 fie ofthc tine Ne 2 Qa
Sceopectey
(One way conchae shat tempor logis five Been rater accenljn
‘siomatng the sanded Hows of tines and the ema seo lows of
‘ane. Neves, it wml be wrong to cone that convey (mata
ine) tee lps ar alvaycharceized by cls ow ee, Aen al
lng, incompleteness the rei, the wy st example ofa onl
{poly og wo Sond in tee lege
1034 Desidaiiy and complesicy
“The compeensthorens enone in the previo sbsection re inporan, of
‘ou, tut i one wants to do acta! resting inne of the laps, rer
Properis ae ret Minna, oe wane the legis be decals ies the
tence ree of terminating agit separating the logis theorems os
' nomtheorens. ornate al th once lg dened he pos a
‘econ have ths propery. Mee expt
‘Theorem 10-4 The Pires tens is fhe elases of al wo ead
oF ines ows of ine, re ded
his folios om the at ht hee log ey sate ap have he
{ts mde! propery. Teaver nay ved noah e need sara
‘he mato of minaret ecru comes
Pungo the pnt of cnplenes Ea,
Tor paca pups diay mot eh However; one wou fhe 10
Sr te aos ried ms tl he so
ona copii enpor ope Tate wm nu opto gto Sa
fs, ut nly en hee the sy pee
To be me pee one can dei a debe Tr gag
‘hn thc wheter» Pea formas sane vs fe
oct weaving ahs noe nin) compo sep, a he
Since grow a te sume ie eng athe a
Temporal Logie —————————
104, Brtending the Langage
“The dcuson nsecton 103 war bated o the erp ngage ing G
[in Aas ony pine epee For muy acs, ose, sang
ito pour in eres, and cea extends wine operators hae Been
Sages This ssf xis ome of he most import ote, cpa the
‘Gres’ thd “ntl ands pets for Bench ine Ser
10.4 Since and wait
Hass Kamp nscale dae oper, Sat U, wth he intend ening
tne” ad un ax he sentence
ver sng the roofed in 1 Been wat nthe owe
sd
ni me ge the fied wl Be dap in se ose
1 dente he extension of the ren agua wh oe to He cnet,
‘he Smal uth detiitin of whih en 8 Sows,
2% UW HE Ask fr sme ch a
7 and 9, wih for all with #8 <5
A Som iE af sg ers ssh ha 2
* i ai yr all with =
mesg share te open an oe 8 i ew
rst te Up Boe
Sees fect tc bape an pond ot
Ter el nso es peniniel
"ei oh lai mar
ini pls geo oma nie
‘evra tr mee Oui oh oper cir mas me
‘fw cane ec sips thew en a
SSoiwtarune pcos mcr sin rset
sedge ees Xan ead nso
oon temporal operator can be defined
This aes the question whether pears 7 Serge * fair
ence pee hn Te
STIS SR eet nal mp
a3— Ye Venera —
“Theor 10.5 (Kamp) Over the sof ear, continuous ondecings, ery
fend pertar canbe dele 8
1 By Semponl peru ik meat ay operate whose ech dein i
‘pret soder loge. The ecu I the the to cern dws
‘es esenta In parc, ence the condton of iearty depp the els
fer to Be negate rinanc, ove he de fl Bow tine i ot pole
(0 find inte exentely complete so peat,
aly, fr te ngage Cy one can the sme Kind of qo at ca a
Indced, sow rots hse eon pened concenang dena, aoraiesbity
2nd decay Ta gener she et ae ponkneba here ot eng ac
to pve dens here
10:42. Branching time languages,
‘Ac menoned sone, lowing How of time that ch to te fe meas ta
nc can no Tonge asame tht te pst eterines eveything that Be
pen Bon ihe emai as ae ot cu eee mary len
ents of res psi, tens appropri to ay smc ote eno
the th dcston of the Kure aperatr Faye ave cng of
tansy willbe tected sow tore sibs than ene ows
fine esl ht the tepeaion o Fp at can be eee fo the th
deli 10.) yk "pls oe ire mame fe pose cue oF
‘ns’ Bar dos teem tobe ures osu wl te ce
thot expense seater comicion tt gl etc en the aa coe
feet ste mater be ce fees Tes ho ieee
‘ese fo repel the Oat sod Feces sch 9 teh tere
To compare hae two appro, snes ws of tne wn Beene
somes spur hat tach tthe pe (Creel
fs ep in en) A itch nee FT) ne a
Seat url atc of 7 testing es ha eh ean ghee
ses pecan of eens ea pie Funda ach sale an bo
"he Bae tag bongs wo) I way, oe eat age oes
1 th ofall pins we fed Wes bough he Pe
ch pie wil hve nue ps
‘Now Peinsan bach tie lines he popoin Sit wl be he ae
tha oi he soot wa indeed ane any tp bod to bape ie
‘257 Poe ie To mae this mote presidente Pecan tose gre
‘the ctrsom othe ran one mth ih fare perf ts opt a
‘scmbonlt dno, icing» gana oe al Wah ag the
1 Fog every rach pang dg ¢
thee Wome > ehh ag reg aoa)
a
Inthe Ockham aprich on the ott ind ic x meaning tak aout
‘he th alu of ous of he Zr por Gia ame oie tals one is
‘peed wih of te pone fs of Foch in mind. To be ale o cape
‘Retometing tht ll be the cne ter wht frm the fae wil ake,
(Osi eaten the lngnge hap thse mal operator Csi
‘Sp gf his an ereng conbiaion of mad and tampon ope:
[ose ss way so wrk ca hes oly to equi hatin Oat
‘Sham the nasal of ony foie elated at = pir eosin of ne
fpane and» bach trough thi pe (erecting che nl course vem).
"Thien to te fon at efi.
se abeg —— aeatg)=
Mabe Hoots gate
MK ORY G5 Bi gand Ns DEW
96 BE G9 ia 5 BB por al zon Buh 6
Noa BEA i 5 BE per all som bw >
Ma Beg 9G 5 68 pho allbanchs srg # aos)
11s ners o ote athe Pecan langage ca be en fran of
the Oxkumr onc coma the induce deed tandsian (7 moping Petes
Feet Obani eet The oni a-lce f his map conser the
fare operon:
(Repr=Ciny and (Gor OG9"
{nr emihtoenard co pone thar al wee ses al pins #9 Cad all
Sanches og
Ae gi ag 8
Mary rau ae Kno comsaring Fea an Ocha lg: tans,
axioms have een fo the Pesca fe do al eT
‘Spe nob dei ar his et ao a en
Fe to fda rpc somata he Odi es
ly ta dt ot cn ne he bringin bps en ie,
for ue hte Ss and ath opin dee er. he ae Fa
‘ew ec ton cc ele le omen! ot ig
1 cn deed wine compe sre xh pa fan
{neat pe ough et enone ic in tit am Pes
Same maemo ono enon. een
te a the Fecean an ie Gta proce ppc oe
(chore ec ee) eum he epee mr
Soa ue lg CT and CTL epee10.
"Time Periods
So arsine hacen eset bya pointed paradigm. Neverthe seems
ats nvr Sed whee tenor logis we wed or ted, at a ets nomen
“terre designed in nich porter thn psn te he Sen ene, or
leas, play's more pomiente
108.1, Motivations
“The pt ed perpen bt noes hen hot pisopialabjeons, er
iomnce, Zen’ pron he ing ao, wey es uc cnn change
on a beled momen of te nd tran ove a a ule se
{hath someting eben bo racing tine nase fs
immense wa dese the come vem So ep
‘Eee inp tae 10 sine po. Sop tat Ps popon
{comaang te forencot ttt Zant ne moe Ob the hg of
{ow a tty tht excel ks me might mp te
rims oct heath of patent fn. rns a
Sve pec he exces of tne po fr he rant fern espns
‘pet ch seme cones ra te pe oct nd
ef bjs tone ca yon: Do oye geo be wea
tne my ep sy ee hb Fone wat ey
interne then ine pinwl oe phy bat coat
{cs haben acts das nee pins shag
Primitive olga se proc + soo xe, This second aru
Hote en tp. wth' more etl, thon A Hee ses sch
road tt pra ted prectton ieae inpe omow atad
isang commen ewe rng ha tc sted wen nc, (OMA
‘85 argon my be ped inher aco te Newsman pee
arate Tie ere aig happening Sa son
ied end ren wc doe tak ye sna eed Poe)
Finn rao tem ey ne the eo
inte tic been pian poids sn quate wl ow
{Seo ca te omg rae ht heap a gramanip med
‘er and ean be en om some whe magnon
wo muntes may Be tae svn mom, dacs alow fs ih ee
rogrmming lnguge wheres maybe epee i toms ny pers
fn the lowe level ofthe machin ngage
1052 Time in periods
11s import ober thatthe ee for 3 mere prominent se of pss det
not aecenly cmon mode ime In snateInwhich pesaeepim-
{in eis they might wel be dred eects,
“Temporal Loge. ——
Indeed, one could well tat fom ow of tne = (7, <) doi er,
ant ten conte queion how to reps coke of Une win uch 2
‘Statue er ncn, pl ld be eda camer net Co Tt
eunimerperd nthe ese Dat whenever sand se pit # dong Gen
12 Sy pm bcven and "A shee sight sper epton 0
hy come (chs) ena the spon, he eid (w= Fo w= 4 an
Alp be cpa hep a, Oterve that in ppench has he wa
tin hr propery of praca be eproned by nary Peden tbe is
thief ngug, ves force a etn ger oe lg as
{ote od ee cape)
one oper or psd spine es, he silent modlng
ssl meine nrc contin of se Po ets eapped wih clecion of
Trove! rhfons on Be, conte oe potas apport
{por precede lat senate rachael, he ae Dm MANY
“pen Forint nce one tus incre in tempor prcdee,
{Recon Pot? Arnal mod
eee ar on he peer taps wih ht
Nee eel mime wh ger ryan Pad Bl
gd ay. Ne owes, n-th ec
eT eat tc tcc amon cei eb
a TASES eat eloring me prs toe he oh
re on cling oe pecs onl Se
Suge farther reading
ca pine a Gis (1987)
Ma tS a eh hh comand vale ane ke
tre cn cece aby a (198 oiJoba F. Hocy
eS cn, The he nig fas te el ees
the & Deg a (1994) Anas fel pt hay aeons eg,
‘lnc wine ode aps te mol anc of MeDesetand (98?
{ibady this mol synch a eed a Are (RS eae so dea oe
“Sulit n Kosi (1948987). Toe en gee nyo tetany feces
‘ti Lie (1) Dec motel pec apathy helo it pee
‘tgs an be fd Kas (98) an Stan (188) pee ty ona
‘Sruyunce atom, wth peal poe on tl ree hg se BY
‘tion (1909 and Kus (1990.
Notee
es toi infec a ow mpl rms det low le re
‘ut it eon or es
2 Theme ofthe anda ming oc tht roe eng
ries ne ow ree Tero (987 te non we te
‘Be x rl a y Rend or ded i ea (i
2 Ke po pre py nd mf opie wie es con
‘en eeu oh idee pn ed Hr 9905
4 ener ee nc
te wok fr the pecan ot nse 6.21 t we a Hanke ed
ieDem (947) sheen! hd af mano a Se?
ihm snl lg if a ccs nae
(ibn owe ewe sen sme ane ple en one
ait at ee) Tel na mie as
References
Dupuis etion WK. 194: Atte Ahr Det
Logic.” Arial Inieligencr, 70, 167-237, i
ny Dead net as “On nace Hci th Hon
‘Donny Ada iin Eas, is Cy Toe
_iingmy Mew ea er RD “be ann of Pe Ce
er Ct ean aaa ae I,
i. og Con toon JR ee) Ho
‘nia ind et Parone Ren nr
cna coe gn Sm mig a,
‘o
Nontmoneone Logie
ks, snd Dew, D D7 “Nomen Lage en
“ra ey 33-40
vg i el mn mana” of pin
rhe Lg eee" Prd of AAA i a
nr Cy
reign 60" heen cen Deft Tt adept ah?
“ei ten m3) :
‘Models, aod Camulive Logi,” Ars Iniligmce, 44, 167-207.
Luft oo" ty (4 39733)
i na cy of ar a Pe So
nea Wg Srey None ce a
SICAL Sanger tl fee
adCast Dar Scans" en foe eo
gn 152795
scr ihr Ain frome Feming mon ane
Sn dal oc 3
tn ea arte hil Pas om he Sen of
“cet fen Mas ote ane 4 cet ch
scat bastk Teed Lge Reig ha osm Pa”
enn 1128
a I aaron Ml ag =1° Ail Io
BO fap sy 8 8)
see ee eas cate Nomen Lg” Afi!
ied i 198 hy Ts Go Weg ea Th of Gt
saya Oe is Wl a Bap nd Ba Gai
Shots Pasig Cop en Yo 1-4
eis 2h tgs Dt Seng” el na,
SEER pt SP on i St Cans AS tan Se
Te nee ee Cal epee Ar! ered
“ita Cp por Prt Can
‘nes ey Ras) 2980
Sp ne se ne Po (Te MIT Pe Ca,
SEO om yi Ce i, i
Fee em eT hem nsrh caensT r Se
Sse ti ene yen Pt a ra
Jeers iene MCAD, ep os or tsChapter 16 -
Probability, Logic, and
Probability Logic
Alan Hajek
Th re agi ft word in he ell of praabiie,
16.1, Probability and Logie
“Potty ll? it com ie a oymoco, Lag wna ences
‘nme mec deta, we rary concer he ora he
fandom the eis Yt orc hats Sang pepe, Ramsey See
Hii ~Trthan! Prot” (1980 [1931 whe nde“ ay he
Theo of Paaty hens anh loge” De ne 1980) ec
“elope the pravabie® An oe cn ec (109) rps pos
2 cints of halt on ton poy try as otra nowt
‘wore lp” wha he cal py tc Hwee te pone pl
Footsie theo an hese you ated Ths caper eps
Sve the maf mace ete py ia oso
‘stn np ce nthe net pau
“he sey een in sectom 62 wh the fai can what Ain
(4975934) ails-pre pray ogi Awl ee tenant whieh
the satin of roti prep Sete loge: Moree to
‘5 proba thn the prop amet x edi op ol
fas for coving he dace fpr see of erence esa hype or
theese of enon aon pon
"ng meaning ory” Sows more psc conning 0B