|
|
modal logic
An extension of propositional calculus with operators that
express various "modes" of truth. Examples of modes are:
necessarily A, possibly A, probably A, it has always been true
that A, it is permissible that A, it is believed that A.
"It is necessarily true that A" means that things being as
they are, A must be true, e.g.
"It is necessarily true that x=x" is TRUE
while
"It is necessarily true that x=y" is FALSE
even though "x=y" might be TRUE.
Adding modal operators [F] and [P], meaning, respectively,
henceforth and hitherto leads to a "temporal logic".
Flavours of modal logics include: Propositional Dynamic
Logic (PDL), Propositional Linear Temporal Logic (PLTL),
Linear Temporal Logic (LTL), Computational Tree Logic
(CTL), Hennessy-Milner Logic, S1-S5, T.
C.I. Lewis, "A Survey of Symbolic Logic", 1918, initiated the
modern analysis of modality. He developed the logical systems
S1-S5. JCC McKinsey used algebraic methods (Boolean
algebras with operators) to prove the decidability of Lewis'
S2 and S4 in 1941. Saul Kripke developed the relational
semantics for modal logics (1959, 1963). Vaughan Pratt
introduced dynamic logic in 1976. Amir Pnuelli proposed the
use of temporal logic to formalise the behaviour of
continually operating concurrent programs in 1977.
[Robert Goldblatt, "Logics of Time and Computation", CSLI
Lecture Notes No. 7, Centre for the Study of Language and
Information, Stanford University, Second Edition, 1992,
(distributed by University of Chicago Press)].
[Robert Goldblatt, "Mathematics of Modality", CSLI Lecture
Notes No. 43, Centre for the Study of Language and
Information, Stanford University, 1993, (distributed by
University of Chicago Press)].
[G.E. Hughes and M.J. Cresswell, "An Introduction to Modal
Logic", Methuen, 1968].
[E.J. Lemmon (with Dana Scott), "An Introduction to Modal
Logic", American Philosophical Quarterly Monograpph Series,
no. 11 (ed. by Krister Segerberg), Basil Blackwell, Oxford,
1977].
(1995-02-15)
Try this search on OneLook / Google
Nearby terms:
mod « *MOD « modal « modal logic » MODCAL » Mode » mode
This article was derived from the Free Online Dictionary of Computers and is available under ther terms of the GNU Free Documentation License.
Living Trust BuilderLiving Trust Builder Living Trust Builder gives you the mechanisms and sound planning advice that can save you from paying estate taxes, gift taxes and probate fees. Protect your family, business and estate today. Windows 95/98/ME/2000/NT/XP and Mac More ...
iPOD Compatible Belt Clip HolsteriPOD Compatible Belt Clip Holster ** iPOD compatible Belt Clip Holster **With its form fitted, custom-molded design, the iPod belt clip allows you to clip your iPod to your belt, purse, or backpack with its durable steel spring clip. Easy access to the Clickwheel and Display no matter where you take it.General Features:- White- Form Fitted- Durable plastic- Spring-loaded clipPackage Includes:- iPOD compatible belt clip holster Compatibility/Requirements/Disclosures:** Requirements *** Full size iPOD* A place to clip it More ...
MP3 CD Player w/AM/FM Digital TunerMP3 CD Player w/AM/FM Digital Tuner ** MP3 CD Player w/AM/FM Digital Tuner **This portable Genica CD/MP3 player is also an AM/FM stereo radio! It features 30 preset stations, Dynamic Bass Boost Function (DBBS) and supports CD/CD-R/CD-RW/MP3 formats. Its Anti-Skip memory function ensures reliable music without skipping. It operates on two AA regular or rechargeablebatteries. Enjoy your favorite tunes with this Genica MP3 CD Player!General Features:- Plays CDs with MP3s- Supports CD/CD-R/CD-RW formats- AM/FM Tuner- 30 preset stations- Dot Matrix LCD display- Anti-Skip Memory (4 sec in CD mode, 120 sec in MP3 mode)- File Navigation Function by folder- Programmable Track Memory- Album and Artist information- DBBS: Dynamic Bass Boost Function- Battery rechargeable function- Operates on two AA batteries (not included)- Low battery indicatorFunction Buttons:- Mode- Prog- ESP/Search/Band- Preset +/-- Power on/enter- Tuning -- Tuning +- Power off/cancel- DBSS on/off- CD/Radio switch- Volume- Phone- DC 4.5V- HoldMP3/CD Specifications:- Frequency Response: 20 - 20,000 Hz - Wow and Flutter: Below measureable limits- Sampling rate: 8 times over sampling- D/A converter: 1-bitRadio Specifications:- FM: 87.5 -108 MHz- AM: 530 - 1720 kHzUnit Dimensions:- 1 x 5.1 x 5.4-inches (H x W x D)- Weight: 0.66 lbsRetail Package Includes:- Genica MP3 CD Player w/AM/FM Digital Tuner - Manual- Headphones- AC adatper (110Vac, 60Hz, 15W; 4.5VDc, 650mA)Notes:- Two (2) AA batteries are not included- Model: GN-806 Compatibility/Requirements/Disclosures:** Requirements *** Two (2) AA batteries * Available power outlet More ...
NEW Sempron 2300+ 256MB DDR 80GB DVD/CDRWNEW Sempron 2300+ 256MB DDR 80GB DVD/CDRW ** NEW Sempron 2300+ 256MB DDR 80GB DVD/CDRW **This system features an AMD Sempron 2300+ processor, an 80GB hard drive, 256MB of DDR RAM, and sports DVD/CDRW Combo drive.General Features:- AMD Sempron 2300+ processor- 256MB DDR Memory- 80GB IDE Hard Drive- DVD/CDRW Combo Drive- Integrated SiS Real256E 2D/3D Graphics with up to 64MB Shared Memory- Realtek ALC655 6-Channel audio - 56K V.90 Data/Fax Modem- Integrated 10/100 Ethernet- Standard Size ATX Power SupplyMotherboard Features:- SiS 741GX (NB), SiS 964L (SB) Chipset- One (1) AGP 8X Slot for Graphics upgrades- Three (3) PCI slots- One (1) CNR Slot (occupied by modem)I/O Ports:- Two (2) PS/2 Ports, one for mouse, one for keyboard- One (1) Standard DB-15 VGA Connector- One (1) Standard 25-pin Parallel Port Connector- One (1) Standard 9-pin Serial Port Connector- Six (6) Standard USB 2.0 Ports (Two on front, four on rear)- One (1) Standard RJ-45 10/100 Ethernet Port- Line-in, Phone-out RJ-11 Jacks on PCI Modem- Line-in, Mic-in, Line-out 3.5mm mini-jacksPackage Includes:-Amptron Sempron 2300+ System- PS/2 Keyboard and Scroll Mouse- Driver Disc- Panda AntiVirus Software- FaxTalk Communicator Software- Adobe Reader- RJ-11 Phone Cable for Modem- Amplified Stereo Speakers - ECS 741GX-M Motherboard manual- U.S. Style Power CordCompatibility/Requirements/Disclosures:** Requirements *** Operating system (WinXP,2000,98,etc.)* VGA monitor* Power outlet More ...
3Com USR 56K PCI V90 Hardware Modem3Com USR 56K PCI V90 Hardware Modem ** 3Com USR 56K PCI V90 Hardware Modem **General Features:- 3COM / USR Internal PCI Modem for Pentium Class PCs and up- Requires PnP BIOS- This is a hardware modem and requires Windows 95/98, Windows NT, 2000 or XP- There is a beta Linux Red Hat driver available from 3COMNotes:- Modem ONLY More ...
80mm Metal Fan Grill (Silver)80mm Metal Fan Grill (Silver) ** 80 mm Metal Fan Grill **Designed to fit an 80 mm case fan, this metal fan grilloffers protective covering from objects that might get trapped in the fan! This silver fan grill can be mounted directly over the fan for easy installation!General Features:- Silver metal fan grill- Fits 80 mm case fans- Protective covering from objectsNotes:- Metal Fan Grill only Compatibility/Requirements/Disclosures: ** Requirements *** 80 mm case fan More ...
|
