<--- Back to Details
First PageDocument Content
Logical syntax / Formal languages / Boolean algebra / Well-formed formula / Propositional calculus / Logical connective / Modal depth / FO / Logic / Mathematical logic / Modal logic
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

/home/lwb/beta/doc/ref/ref_lwb2.dvi

Add to Reading List

Source URL: www.lwb.unibe.ch

Download Document from Source Website

File Size: 154,78 KB

Share Document on Facebook

Similar Documents

Temporal logic / Hybrid logic / Modal depth / Interpretation / Artificial neuron / Logic / Modal logic / Epistemic modal logic

The Expressive Power of Memory Logics Carlos Areces Diego Figueira Santiago Figueira

DocID: 1fP41 - View Document

Physics / Mathematics / Transforms / Electrical engineering / Electrical components / Reassignment method / Waveguide / Spectrogram / Frequency domain / Time–frequency analysis / Acoustics / Signal processing

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

DocID: 18KTr - View Document

Boolean algebra / Logical syntax / Formal languages / Well-formed formula / Logical connective / Propositional calculus / FO / Modal depth / Propositional formula / Logic / Mathematical logic / Modal logic

/home/lwb/beta/doc/ref/ref_lwb2.dvi

DocID: 15Ax3 - View Document

Modal logic / Logical syntax / Formal languages / Well-formed formula / Logical connective / FO / Modal depth / Propositional formula / First-order logic / Logic / Mathematical logic / Propositional calculus

/home/lwb/beta/doc/ref/ref_lwb2.dvi

DocID: 15hWC - View Document

Logical syntax / Formal languages / Boolean algebra / Well-formed formula / Propositional calculus / Logical connective / Modal depth / FO / Logic / Mathematical logic / Modal logic

/home/lwb/beta/doc/ref/ref_lwb2.dvi

DocID: 14ziT - View Document