Modal depth - PDFSEARCH.IO - Document Search Engine

Modal depth
Results: 7

#	Item
1	The Expressive Power of Memory Logics Carlos Areces Diego Figueira Santiago Figueira Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2011-05-10 14:09:19 Temporal logic Hybrid logic Modal depth Interpretation Artificial neuron Logic Modal logic Epistemic modal logic
2	Source depth estimation using modal decomposition and time-frequency representations Gr´egoire Le Touz´e, Barbara Nicolas, Jean-Louis Lacoume and J´erˆome Mars Dominique Fattaccioli Add to Reading List Source URL: barbara.nicolas.free.fr Language: English - Date: 2006-03-21 04:53:42 Physics Mathematics Transforms Electrical engineering Electrical components Reassignment method Waveguide Spectrogram Frequency domain Time–frequency analysis Acoustics Signal processing
3	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-10 07:17:13 Boolean algebra Logical syntax Formal languages Well-formed formula Logical connective Propositional calculus FO Modal depth Propositional formula Logic Mathematical logic Modal logic
4	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-10 07:17:13 Modal logic Logical syntax Formal languages Well-formed formula Logical connective FO Modal depth Propositional formula First-order logic Logic Mathematical logic Propositional calculus
5	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-10 07:17:13 Logical syntax Formal languages Boolean algebra Well-formed formula Propositional calculus Logical connective Modal depth FO Logic Mathematical logic Modal logic
6	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-10 07:17:13 Logic programming Formal languages Logical syntax Well-formed formula Autoepistemic logic Logical connective Modal depth Propositional variable First-order logic Logic Mathematical logic Modal logic
7	Games and Modal Mu-Calculus Colin Stirling Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 10:03:05 Mathematics Logic in computer science Philosophical logic Non-classical logic Kripke semantics Modal μ-calculus Combinatory logic Temporal logic Modal depth Logic Mathematical logic Modal logic