skip to content
First-order modal logic Preview this item
ClosePreview this item
Checking...

First-order modal logic

Author: Melvin Fitting; Richard L Mendelsohn
Publisher: Dordrecht ; Boston : Kluwer Academic, ©1998.
Series: Synthese library, v. 277.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

Presents a treatment of first-order modal logic. This book covers such issues as quantification, equality (including a treatment of Frege's morning star/evening star puzzle), the notion of existence,  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Melvin Fitting; Richard L Mendelsohn
ISBN: 079235334X 9780792353348 0792353358 9780792353355
OCLC Number: 39886989
Description: xii, 287 pages : illustrations ; 25 cm.
Contents: Propositional Modal Logic --
What is a Modal? --
Can There Be a Modal Logic? --
What Are The Formulas? --
Aristotle's Modal Square --
Informal Interpretations --
What Are the Models? --
Some Important Logics --
Logical Consequence --
Temporal Logic --
Epistemic Logic --
Historical Highlights --
Tableau Proof Systems --
What Is a Proof --
Tableaus --
More Tableau Systems --
Logical Consequence and Tableaus --
Tableaus Work --
Axiom Systems --
What Is an Axiomatic Proof --
More Axiom Systems --
Logical Consequence, Axiomatically --
Axiom Systems Work Too --
Quantified Modal Logic --
First-Order Formulas --
An Informal Introduction --
Necessity De Re and De Dicto --
Is Quantified Modal Logic Possible? --
What the Quantifiers Quantify Over --
Constant Domain Models --
Varying Domain Models --
Different Media, Same Message --
Barcan and Converse Barcan Formulas --
First-Order Tableaus --
Constant Domain Tableaus --
Varying Domain Tableaus --
Tableaus Still Work --
First-Order Axiom Systems --
A Classical First-Order Axiom System --
Varying Domain Modal Axiom Systems --
Constant Domain Systems --
Miscellany --
Equality --
Classical Background --
Frege's Puzzle --
The Indiscernibility of Identicals --
The Formal Details --
Tableau Equality Rules --
Tableau Soundness and Completeness --
Existence and Actualist Quantification --
To Be --
Tableau Proofs --
The Paradox of NonBeing --
Deflationists --
Parmenides' Principle --
Inflationists --
Unactualized Possibles --
Barcan and Converse Barcan, Again.
Series Title: Synthese library, v. 277.
Responsibility: Melvin Fitting and Richard L. Mendelsohn.
More information:

Reviews

Editorial reviews

Publisher Synopsis

"This Text is an excellent and most useful volume. It is pitched correctly: the exercises are just right... It sets a high standard for anything following. It is to be highly recommended." (Bulletin Read more...

 
User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/39886989> # First-order modal logic
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "39886989" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/42415367#Place/dordrecht> ; # Dordrecht
   library:placeOfPublication <http://dbpedia.org/resource/Boston> ; # Boston
   schema:about <http://dewey.info/class/160/e21/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/42415367#Topic/logique_philosophie> ; # Logique (Philosophie)
   schema:about <http://experiment.worldcat.org/entity/work/data/42415367#Topic/predicatenlogica> ; # Predicatenlogica
   schema:about <http://id.worldcat.org/fast/1024350> ; # Modality (Logic)
   schema:about <http://experiment.worldcat.org/entity/work/data/42415367#Topic/modalite> ; # Modalité
   schema:about <http://id.loc.gov/authorities/classification/BC199> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/42415367#Topic/modale_logica> ; # Modale logica
   schema:about <http://experiment.worldcat.org/entity/work/data/42415367#Topic/mathematische_logik> ; # Mathematische Logik
   schema:about <http://experiment.worldcat.org/entity/work/data/42415367#Topic/modallogik> ; # Modallogik
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/106951572> ; # Richard L. Mendelsohn
   schema:copyrightYear "1998" ;
   schema:creator <http://viaf.org/viaf/46837603> ; # Melvin Fitting
   schema:datePublished "1998" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/42415367> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/42415367#Series/synthese_library> ; # Synthese library ;
   schema:name "First-order modal logic"@en ;
   schema:productID "39886989" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/39886989#PublicationEvent/dordrecht_boston_kluwer_academic_1998> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/42415367#Agent/kluwer_academic> ; # Kluwer Academic
   schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008372492&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
   schema:url <http://catdir.loc.gov/catdir/enhancements/fy0814/98037504-t.html> ;
   schema:workExample <http://worldcat.org/isbn/9780792353355> ;
   schema:workExample <http://worldcat.org/isbn/9780792353348> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB9881346> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/39886989> ;
    .


Related Entities

<http://dbpedia.org/resource/Boston> # Boston
    a schema:Place ;
   schema:name "Boston" ;
    .

<http://experiment.worldcat.org/entity/work/data/42415367#Agent/kluwer_academic> # Kluwer Academic
    a bgn:Agent ;
   schema:name "Kluwer Academic" ;
    .

<http://experiment.worldcat.org/entity/work/data/42415367#Series/synthese_library> # Synthese library ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/39886989> ; # First-order modal logic
   schema:name "Synthese library ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/42415367#Topic/logique_philosophie> # Logique (Philosophie)
    a schema:Intangible ;
   schema:name "Logique (Philosophie)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/42415367#Topic/mathematische_logik> # Mathematische Logik
    a schema:Intangible ;
   schema:name "Mathematische Logik"@en ;
    .

<http://id.worldcat.org/fast/1024350> # Modality (Logic)
    a schema:Intangible ;
   schema:name "Modality (Logic)"@en ;
    .

<http://viaf.org/viaf/106951572> # Richard L. Mendelsohn
    a schema:Person ;
   schema:familyName "Mendelsohn" ;
   schema:givenName "Richard L." ;
   schema:name "Richard L. Mendelsohn" ;
    .

<http://viaf.org/viaf/46837603> # Melvin Fitting
    a schema:Person ;
   schema:birthDate "1942" ;
   schema:familyName "Fitting" ;
   schema:givenName "Melvin" ;
   schema:name "Melvin Fitting" ;
    .

<http://worldcat.org/isbn/9780792353348>
    a schema:ProductModel ;
   schema:isbn "079235334X" ;
   schema:isbn "9780792353348" ;
    .

<http://worldcat.org/isbn/9780792353355>
    a schema:ProductModel ;
   schema:isbn "0792353358" ;
   schema:isbn "9780792353355" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.