What people are saying - Write a reviewUser Review - Flag as inappropriate EINSTEIN NEILS B.MECANICA CUANTICA. Related books
Contents
Common terms and phrasesalgebraic models aRft atomic sentences axiomatization binary relation canonical minimal model canonical standard model chapter class of minimal class of models class of standard classical modal logic closed under intersections closed under subsentences complete with respect contains the unit countermodel define deontic alternative deontic logic determination theorems diagramed in figure distinct modalities equivalence relation equivalent euclidean example F-filtration filtration following conditions following schemas following theorem hence iff it contains inductive hypothesis KD-system Lindenbaum's lemma means modal algebra negation normal extensions normal iff normal modal logic normal system possible world proof of theorem proper canonical standard propositional logic quasi-filter reader relation rules of inference S-maximal set sentences in F serial set of sentences set of subsentences sound with respect suppose symmetric system of modal systems in figure tautology theorem 3.5 theorem holds theorems and rules transitive standard models true truth conditions References to this bookFrom other books
From Google ScholarAgent Theories, Architectures, and Languages: A SurveyMichael Wooldridge Agents that Reason and Negotiate by ArguingSIMON PARSONS, CARLES SIERRA andNICK JENNINGS - Journal of Logic and Computation Agent-Oriented Software Engineering: The State of the ArtMichael Wooldridge, Paolo Ciancarini References from web pagesJSTOR: Modal Logic. An Introduction Review: Brian F. Chellas, Modal Logic. An Introduction Modal logic - Wikipedia, the free encyclopedia 6 x 10.5 Long Title.P65 Formal Philosophy / Brian Chellas Référence:Modal logic, an introduction - Wikipédia ESSLLI 2007: Neighborhood Models Deontic accessibility Fuzzy模态逻辑及其基础系统 Philosophia BBS Topic 1805 Bibliographic information |