TÍTULO: "Markov transition systems - Bisimilarity is not the solution, but the problem". RESUMEN: We discuss relational and Markov transition systems as the basis for Kripke models for modal logics and give an overview

Source URL: www2.famaf.unc.edu.ar

KRIPKE-PLATEK SET THEORY AND THE ANTI-FOUNDATION AXIOM M. RATHJEN Abstract. The paper investigates the strength of the Anti-Foundation Axiom, AFA, on the basis of Kripke-Platek set theory without Foundation. It is shown

Source URL: www1.maths.leeds.ac.uk

Relativized ordinal analysis: The case of Power Kripke-Platek set theory Michael Rathjen Department of Pure Mathematics, University of Leeds, Leeds LS2 9JT, England,

Source URL: www1.maths.leeds.ac.uk

Fall 2014 Undergraduate Philosophy Department Courses PHIL-UA 1; Central Problems in Philosophy; M/W 9:30-10:45; James Pryor http://intro.jimpryor.net This course is an introduction to the methods of contemporary philoso

Source URL: www.nyu.edu

• Logic
• Philosophy
• Mathematical logic
• Philosophical logic
• Non-classical logic
• Branches of philosophy
• Model theory
• Modal logic
• Saul Kripke
• First-order logic
• Propositional calculus
• Epistemic modal logic

LLNL-SMKripke - User Manual v1.0 A. J. Kunen August 11, 2014

Source URL: codesign.llnl.gov

• Software
• Computing
• Kernel
• Kripke
• Lis
• Application software

Characterization of the Axiomatizable Prenex Fragments of First-Order Gödel Logics Matthias Baaz∗ Technische Universität Wien A–1040 Vienna, Austria

Source URL: www.preining.info

• Logic
• Mathematical logic
• Abstraction
• Non-classical logic
• Model theory
• Predicate logic
• First-order logic
• Intermediate logic
• Many-valued logic
• FO
• Kripke semantics
• Fuzzy logic

What will they say? – Public Announcement Games Thomas ˚ Agotnes∗ Department of Information Science and Media Studies, University of Bergen, P.O. Box 7802, N-5020 Bergen, Norway,

Source URL: folk.uib.no

• Logic
• Modal logic
• Philosophy
• Formal epistemology
• Abstraction
• Artificial intelligence
• Non-classical logic
• Philosophical logic
• Dynamic epistemic logic
• Common knowledge
• Epistemic modal logic
• Kripke semantics

On weak constant domain principle in the Kripke sheaf semantics Dmitrij Skvortsov? All-Russian Institute of Scientific and Technical Information, VINITI,

Source URL: logica.dmi.unisa.it

• Logic
• Mathematical logic
• Abstraction
• Predicate logic
• Model theory
• Philosophical logic
• Modal logic
• Kripke semantics
• First-order logic
• Sheaf
• FO
• Well-formed formula

Quantifier Elimination for quantified propositional logics on Kripke frames of type ω Matthias Baaz and Norbert Preining? Institute for Algebra and Computational Mathematics University of Technology, Vienna, Austria baa

Source URL: www.preining.info

• Model theory
• Non-classical logic
• Modal logic
• Philosophical logic
• Kripke semantics
• Sheaf theory
• Propositional calculus
• Interpretation
• Mathematical logic
• Intuitionistic logic
• First-order logic

Coalitions and Announcements ◦ Thomas Agotnes Hans van Ditmarsch

Source URL: folk.uib.no

• Formal epistemology
• Modal logic
• Artificial intelligence
• Non-classical logic
• Philosophical logic
• Dynamic epistemic logic
• Symbol
• Epistemic modal logic
• Common knowledge
• Tiny Encryption Algorithm
• Kripke semantics
• Interpretation