Kripke structure - PDFSEARCH.IO - Document Search Engine

Kripke structure
Results: 31

#	Item
1	Checking Inevitability and Invariance Using Description Logic Technology Shoham Ben-David1 , Richard Trefler1 , Dmitry Tsarkov2 and Grant Weddell1 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:05 Logic Mathematical logic Model theory Ontology Philosophy Temporal logic Non-classical logic Philosophical logic Tbox Abox Modal logic Kripke structure
2	LTL Linear Time Temporal Logic Kripke Structure • K = 〈S, R, L〉 S: set of states (may be infinite) Add to Reading List Source URL: hagi.is.s.u-tokyo.ac.jp Language: English - Date: 2011-10-30 22:46:01
3	Logic Programming in Tabular Allegories∗ Emilio Jesús Gallego Arias1 and James B. Lipton2 1 2 Universidad Politécnica de Madrid Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2012-07-27 05:34:26 Model theory Mathematical logic Automated theorem proving Logic programming Logic in computer science Allegory Pullback Substitution Structure Unification Kripke semantics Interpretation
4	A Temporal Logic for Hyperproperties Bernd Finkbeiner1 , Markus N. Rabe1 , and César Sánchez2, Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-06-27 10:56:07 Mathematics Linear temporal logic CTL* Interpretation Computation tree logic Kripke structure Well-formed formula Quantification Model theory Logic Mathematical logic Temporal logic
5	When is Na¨ıve Evaluation Possible? Am´elie Gheerbrant, Leonid Libkin, Cristina Sirangelo To cite this version: Am´elie Gheerbrant, Leonid Libkin, Cristina Sirangelo. When is Na¨ıve Evaluation Possible?. PODS - 32n Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-11-10 14:14:40 Model theory Database theory Conjunctive query Modal logic Null Structure Kripke semantics FO Closed world assumption Logic Mathematics Mathematical logic
6	When is Na¨ıve Evaluation Possible? Amelie ´ Gheerbrant Leonid Libkin Add to Reading List Source URL: www.sirangelo.info Language: English - Date: 2013-04-16 03:57:08 Model theory Database theory Conjunctive query Modal logic Null Structure Kripke semantics FO Closed world assumption Logic Mathematics Mathematical logic
7	TLP 10 (4–6): 675–690, C Cambridge University Press 2010 675 Add to Reading List Source URL: myweb.ttu.edu Language: English - Date: 2015-05-24 18:09:01 Model theory Modal logic Non-classical logic Temporal logic Kripke semantics Kripke structure Interpretation Stable model semantics Saul Kripke Logic Mathematical logic Philosophical logic
8	Under consideration for publication in Math. Struct. in Comp. Science A Step-Indexed Kripke Model of Hidden State Jan Schwinghammer (Saarland University, Saarbr¨ ucken) Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2012-01-05 06:52:11 Model theory Modal logic Denotational semantics Logic in computer science Kripke semantics Structure Natural deduction Orbifold Logic Mathematical logic Mathematics
9	Equivalences for Fair Kripke Structures Adnan Aziz∗ Robert Brayton‡ Felice Balarin† Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2005-09-23 01:02:50 Mathematical logic Mathematics Computation tree logic Bisimulation Kripke structure Model theory Equivalence relation CTL* Fair computational tree logic Temporal logic Logic in computer science Theoretical computer science
10	Elements of Epistemic Crypto Logic (Extended Abstract) Jan van Eijck Malvin Gattinger Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2015-03-16 08:58:37 Model theory Modal logic Non-classical logic Kripke semantics Entailment Structure Epistemic modal logic Linear temporal logic Μ operator Logic Mathematical logic Philosophical logic