Showing 1 - 20 results of 43 for search '"modal logic"', query time: 0.09s Refine Results
  1. 1
    Varying domain first-oder modal logic
    Get full text
    Перейти в каталог НБ ТГУ
    Book Chapter
  2. 2
    Papers on time and tense
    by Prior, Arthur N. 1914-1969
    Published 2003
    Subjects: “...Modality (Logic) 512179...”
    Перейти в каталог НБ ТГУ
    Book
  3. 3
    Kripke's Worlds An Introduction to Modal Logics via Tableaux /
    Table of Contents: “... relations -- 6 Model Checking -- 7 Modal logics with transitive closure -- Bibliography -- Index....”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 4
    Epistemic modal logic, universal philosophical epistemology, and natural theology: God's omniscience as a formal-axiological law of the two-valued algebra of metaphysics as formal axiology (demonstrating the law by "computing" relevant evaluation-functions)
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  5. 5
    The nature of necessity
    by Plantinga, Alvin 1932-
    Published 1982
    Subjects: “...Modality (Logic) 512179...”
    Перейти в каталог НБ ТГУ
    Book
  6. 6
    Эволюционная эпистемология и ненормальная модальная логика знания
    “...Evolutionary epistemology and non-normal modal logic of knowledge...”
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  7. 7
    Leo Esakia on Duality in Modal and Intuitionistic Logics
    Published in Springer eBooks (2014)
    Table of Contents: “... -- On the Blok-Esakia Theorem; Frank Wolter and Michael Zakharyaschev -- Modal logic and the Vietoris functor...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 8
    Логика для кросс-мировой предикации
    Get full text
    Перейти в каталог НБ ТГУ
    Book Chapter
  9. 9
    Modality, Semantics and Interpretations The Second Asian Workshop on Philosophical Logic /
    Published in Springer eBooks (2015)
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  10. 10
    Krister Segerberg on Logic of Actions
    Published in Springer eBooks (2014)
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  11. 11
    Reactive Kripke Semantics
    by Gabbay, Dov M.
    Published in Springer eBooks (2013)
    Table of Contents: “... -- Chap.5 - Completeness Theorems for Reactive Modal Logics -- Chap.6 - Modal Logics of Reactive Frames...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 12
    Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings /
    Published in Springer eBooks (2015)
    Table of Contents: “...Sabotage Modal Logic: Some Model and Proof Theoretic Aspects -- Game Theoretical Semantics...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  13. 13
    Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Table of Contents: “... of Sledgehammer -- Invited Talk 4 -- From Resolution and DPLL to Solving Arithmetic Constraints -- Modal Logic...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  14. 14
    Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Table of Contents: “... Prover for First-Order Modal Logic -- Optimal Tableaux-Based Decision Procedure for Testing...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  15. 15
    Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings /
    Published in Springer eBooks (2015)
    Table of Contents: “... in inclusion logic with lax semantics -- A Modal Logic for Non-deterministic Information Systems -- Tableaux...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  16. 16
    Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Table of Contents: “... for Computing Prime Implicates in Modal Logic -- Set Cover, Set Packing and Hitting Set for Tree Convex and Tree...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  17. 17
    Reasoning Web. Web Logic Rules 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures. /
    Published in Springer eBooks (2015)
    Table of Contents: “...All About Fuzzy Description Logics and Applications -- Higher-Order Modal Logics: Automation...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  18. 18
    In Search of Elegance in the Theory and Practice of Computation Essays Dedicated to Peter Buneman /
    Published in Springer eBooks (2013)
    Table of Contents: “... in Complex Queries -- Well-Defined NRC Queries Can Be Typed -- Nine Years with Peter Buneman -- Modal Logic...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  19. 19
    Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Table of Contents: “..., general topology, and modal logic -- The Word Problem for Finitely Presented Quandles is Undecidable...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  20. 20
    Epistemology, Context, and Formalism
    Published in Springer eBooks (2014)
    Table of Contents: “... Matching and the Locke Pocket of Belief; Gregory Wheeler -- Chapter 11. A modal logic of perceptual belief...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed