Formale Systeme II: Theorie Dynamic Logic: Uninterpreted and Interpreted First Order DL SS 2016

Source URL: formal.iti.kit.edu

• Logic
• Mathematical logic
• Model theory
• Mathematics
• Modal logic
• Non-classical logic
• Temporal logic
• Kripke structure
• Symbol
• Kripke semantics
• Interpretation
• Functional predicate

Formale Systeme II: Theorie Dynamic Logic: Propositional Dynamic Logic SS 2016

Source URL: formal.iti.kit.edu

• Logic
• Non-classical logic
• Metaphysics
• Mathematical logic
• Modal logic
• Philosophical logic
• Logic in computer science
• Dynamic logic
• KeY

Jan-Willem Romeijn Conditioning and Interpretation Shifts Abstract. This paper develops a probabilistic model of belief change under interpretation shifts, in the context of a problem case from dynamic epistemic logic.

Source URL: www.philos.rug.nl

Technical Report no. 2004–08 Formalisation and Verification of JAVA CARD Security Properties in Dynamic Logic

Source URL: ceres.hh.se

Learning to Signal in a Dynamic World Dr J McKenzie Alexander Department Department of of Philosophy, Philosophy, Logic

Source URL: jmckalex.org

A Dynamic Logic for Multi-agent Partial Knowledge Information Systems Md. Aquil Khan and Mohua Banerjee Department of Mathematics and Statistics, Indian Institute of Technology, Kanpur, India

Source URL: esslli2009.labri.fr

Motivation Non-classical logics – such as modal logics, conditional logics, intuitionistic logic, description logics, temporal logics, linear logic, dynamic logic, deontic logics, fuzzy logic, paraconsistent logic, rel

Source URL: iltp.de

• Logic
• Mathematical logic
• Non-classical logic
• Philosophical logic
• Logic in computer science
• Proof theory
• Modal logic
• Modality
• Paraconsistent logic
• Classical logic
• Deontic logic
• Intuitionistic logic

A Dynamic-Logical Perspective on Quantum Behavior A. Baltag and S. Smets Abstract In this paper we show how recent concepts from Dynamic Logic, and in

Source URL: www.vub.ac.be

Bridging static and dynamic program analysis using fuzzy logic Jacob Lidman & Josef Svenningsson Chalmers University of Technology {lidman, josefs}@chalmers.se

Source URL: qapl17.doc.ic.ac.uk

Paraconsistent Dynamic Epistemic Logic Can BA¸ SKENT Department of Computer Science, University of Bath canbaskent.net/logic

Source URL: canbaskent.net