yr 〜
yr

Search results 20

Diamonds and defaults : studies in pure and applied intensional logic / edited by Maarten de Rijke. (Synthese library ; v. 229)

Diamonds and defaults : studies in pure and applied intensional logic / edited by Maarten de Rijke. (Synthese library ; v. 229)
Paper図書
Kluwer Academic Publishers1993.<M15-A8898>
National Diet Library
  • LCCQA9.46

Modal logic : paperback

Modal logic : paperback
Paper図書
Patrick Blackburn, Maarten de Rijke, Yde VenemaCambridge University Press2002, c2001
Other Libraries in Japan
  • LCCQA9.46

Modal logic

Modal logic
Paper図書
Patrick Blackburn, Maarten de Rijke, Yde VenemaCambridge University Press2001
Other Libraries in Japan
  • LCCQA9.46

Intensional mathematics / edited by Stewart Shapiro. (Studies in logic and the foundations of mathematics ; v. 113)

Intensional mathematics / edited by Stewart Shapiro. (Studies in logic and the foundations of mathematics ; v. 113)
Paper図書
North-Holland1985.<MA41-A37>
National Diet Library
  • LCCQA9.46

Tools and techniques in modal logic 1st ed

Tools and techniques in modal logic 1st ed
Paper図書
Marcus KrachtElsevier1999
Other Libraries in Japan
  • LCCQA9.46

Provability, complexity, grammars : hbk. : alk. paper

Provability, complexity, grammars : hbk. : alk. paper
Paper図書
Lev Beklemishev, Mati Pentus, Nikolai VereshchaginAmerican Mathematical Societyc1999
Other Libraries in Japan
  • LCCQA3 QA9.46

Advances in intensional logic

Advances in intensional logic
Paper図書
edited by Maarten de RijkeKluwer Academic Publishersc1997
Other Libraries in Japan
  • LCCQA9.46

Proof theory of modal logic

Proof theory of modal logic
Paper図書
edited by Heinrich WansingKluwerc1996
Other Libraries in Japan
  • LCCQA9.46

Proof theory of modal logic

Proof theory of modal logic
Paper図書
edited by Heinrich WansingSpringer Science+Business Mediac1996
Other Libraries in Japan
  • LCCQA9.46

Modal logic

Modal logic
Paper図書
Alexander Chagrov and Michael ZakharyaschevClarendon Press1997
Other Libraries in Japan
  • LCCQA9.46

Multi-dimensional modal logic

Multi-dimensional modal logic
Paper図書
by Maarten Marx and Yde VenemaKluwer Academicc1997
Other Libraries in Japan
  • LCCQA9.46

Partiality, modality, and nonmonotonicity :hc :pbk

Partiality, modality, and nonmonotonicity :hc :pbk
Paper図書
[edited by] Patrick DohertyCSLI Publicationsc1996
Other Libraries in Japan
  • LCCQA9.46

First steps in modal logic

First steps in modal logic
Paper図書
Sally PopkornCambridge University Press1994
Other Libraries in Japan
  • LCCQA9.46

Diamonds and defaults : studies in pure and applied intensional logic

Diamonds and defaults : studies in pure and applied intensional logic
Paper図書
edited by Maarten de RijkeKluwer Academic Publishersc1993
Other Libraries in Japan
  • LCCQA9.46

Mathematics of modality : pbk

Mathematics of modality : pbk
Paper図書
Robert GoldblattCSLI Publicationsc1993
Other Libraries in Japan
  • LCCQA9.46

Logics of time and computation : pbk 2nd ed., rev. and expanded

Logics of time and computation : pbk 2nd ed., rev. and expanded
Paper図書
Robert GoldblattCenter for the Study of Language and Informationc1992
Other Libraries in Japan
  • LCCQA9.46

A deduction model of belief : uk : us

A deduction model of belief : uk : us
Paper図書
Kurt KonoligePitman1986
Other Libraries in Japan
  • LCCQA9.46

Self-reference and modal logic : us : gw (Universitext)

Self-reference and modal logic : us : gw (Universitext)
Paper図書
C. SmoryńskiSpringer-Verlagc1985
Other Libraries in Japan
  • LCCQA9.46

Self-reference and modal logic : us : gw

Self-reference and modal logic : us : gw
Paper図書
C. SmoryńskiSpringer-Verlagc1985
Other Libraries in Japan
  • LCCQA9.46

Model theory for modal logic : Kripke models for modal predicate calculi

Model theory for modal logic : Kripke models for modal predicate calculi
Paper図書
Kenneth A. BowenD. Reidel Pub. Co.c1979
Other Libraries in Japan
  • LCCQA9.46

Reached to the end of result.