Modal algebra - PDFSEARCH.IO - Document Search Engine

Modal algebra
Results: 105

#	Item
1	On the Modal Understanding of Triadic Contexts Frithjof Dau and Rudolf Wille Technische Universitat Darmstadt, Fachbereich Mathematik Schlogartenstr. 7, D{64289 Darmstadt, fdau, Add to Reading List Source URL: www.dr-dau.net Language: English - Date: 2007-10-31 23:07:37 Logic Mathematics Philosophy Lattice theory Data mining Formal concept analysis Machine learning Ontology Algebraic logic Boolean algebra Binary relation Modal logic
2	Modular Verification of Open Features Through Three-Valued Model Checking Harry C. Li Brown University, USA Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2004-05-02 20:58:40 Logic Mathematical logic Theoretical computer science Boolean algebra Logic in computer science Formal methods Classical logic Formal verification Model checking Modal logic Propositional calculus Temporal logic
3	Linear unary operators in process algebra Linear unary operators in process algebra Add to Reading List Source URL: www.cs.vu.nl Language: English - Date: 2005-08-09 06:42:47 Operator theory Algebra of Communicating Processes Process calculi Abstract algebra Modal logic Von Neumann algebra Algebra Unary operation
4	STABLE CANONICAL RULES GURAM BEZHANISHVILI, NICK BEZHANISHVILI, ROSALIE IEMHOFF Abstract. We introduce stable canonical rules and prove that each normal modal rule system is axiomatizable by stable canonical rules. This Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2014-09-10 14:56:21 Modal logic Non-classical logic Model theory Boolean algebra Philosophical logic Kripke semantics Interior algebra Heyting algebra Embedding Intermediate logic Normal modal logic Substitution
5	ARTIFICIAL INTELLIGENCE 71 Probabilistic Logic* Nils J . N i l s s o n Add to Reading List Source URL: ai.stanford.edu Language: English - Date: 2007-10-21 17:27:03 Model theory Non-classical logic Probability and statistics Boolean algebra Predicate logic Probabilistic logic Modal logic First-order logic Probability Interpretation Inductive probability Vector logic
6	Modal Logics of Some Subspaces of Rational Numbers: Diamond as Derivative Joel Lucero-Bryan New Mexico State University Short Background Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 2010-06-05 22:55:40 Mathematics Logic Abstraction General topology Non-classical logic Philosophical logic Modal logic Modality Metrization theorem Closure operator Derivative algebra
7	The Logic of Stone Spaces John Harding and Guram Bezhanishvili New Mexico State University www.math.nmsu.edu/JohnHarding.html Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 2010-06-05 23:03:42 Mathematics Algebra Structure General topology Abstract algebra Modal logic Order theory Boolean algebra Interior algebra Closure Preorder Topological space
8	Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning Ralf Jung David Swasey Add to Reading List Source URL: plv.mpi-sws.org Language: English - Date: 2015-01-05 15:36:49 Algebra Abstract algebra Mathematics Semigroup theory Monoid Monad Separation logic Invariant Modal logic Free monoid Syntactic monoid
9	The VC dimension of constraint-based grammars Max Banea , Jason Rigglea , Morgan Sondereggerb a University b University of Chicago, Department of Linguistics, 1010 East 59th Street, Chicago, IL 60637. Add to Reading List Source URL: people.linguistics.mcgill.ca Language: English - Date: 2012-07-11 18:04:53 Geometry Mathematics Mathematical optimization Linguistics Optimality theory Phonology Phonotactics Linear algebra Hyperplane Feasible region Arrangement of hyperplanes Modal logic
10	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 Add to Reading List Source URL: www.preining.info Language: English - Date: 2014-04-03 01:14:55 Model theory Non-classical logic Modal logic Philosophical logic Kripke semantics Sheaf theory Propositional calculus Interpretation Mathematical logic Intuitionistic logic First-order logic

UPDATE