Description: Temporal Rough Logic is a combination of both Normal and Temporal Modal Logics. TRL formulas are interpreted over Dynamic Approximation Spaces. For checking validiy in TRL a Prefixed Tableaux System was proposed by Md.Aquil Khan and Dr.M.Banerjee in
To Search:
File list (Check if you may need any files):
h1n1triage\.classpath
..........\.project
..........\.settings\org.eclipse.jdt.core.prefs
..........\build.properties
..........\classes\vn\edu\saigontech\h1n1triage\Activator.class
..........\.......\..\...\..........\..........\model\Ad.class
..........\.......\..\...\..........\..........\.....\Advice.class
..........\.......\..\...\..........\..........\.....\ComplexSelection.class
..........\.......\..\...\..........\..........\.....\MCSelection.class
..........\.......\..\...\..........\..........\.....\MultipleChoiceQuestion.class
..........\.......\..\...\..........\..........\.....\Node.class
..........\.......\..\...\..........\..........\.....\Question.class
..........\.......\..\...\..........\..........\.....\YesNoQuestion.class
..........\.......\..\...\..........\..........\.....\YNSelection.class
..........\.......\..\...\..........\..........\view\A1View.class
..........\.......\..\...\..........\..........\....\A2View$1.class
..........\.......\..\...\..........\..........\....\A2View$2.class
..........\.......\..\...\..........\..........\....\A2View.class
..........\.......\..\...\..........\..........\....\A3View.class
..........\.......\..\...\..........\..........\....\A4View$1.class
..........\.......\..\...\..........\..........\....\A4View$2.class
..........\.......\..\...\..........\..........\....\A4View.class
..........\.......\..\...\..........\..........\....\A5View$1.class
..........\.......\..\...\..........\..........\....\A5View$2.class
..........\.......\..\...\..........\..........\....\A5View.class
..........\.......\..\...\..........\..........\....\A6View$1.class
..........\.......\..\...\..........\..........\....\A6View$2.class
..........\.......\..\...\..........\..........\....\A6View.class
..........\.......\..\...\..........\..........\....\ApplicationActionBarAdvisor.class
..........\.......\..\...\..........\..........\....\ApplicationWorkbenchAdvisor.class
..........\.......\..\...\..........\..........\....\ApplicationWorkbenchWindowAdvisor.class
..........\.......\..\...\..........\..........\....\CopyOfH1N1MainView.class
..........\.......\..\...\..........\..........\....\H1N1Application$1.class
..........\.......\..\...\..........\..........\....\H1N1Application.class
..........\.......\..\...\..........\..........\....\H1N1MainView.class
..........\.......\..\...\..........\..........\....\Perspective.class
..........\.......\..\...\..........\..........\....\Q1View$1.class
..........\.......\..\...\..........\..........\....\Q1View$2.class
..........\.......\..\...\..........\..........\....\Q1View$3.class
..........\.......\..\...\..........\..........\....\Q1View$4.class
..........\.......\..\...\..........\..........\....\Q1View.class
..........\.......\..\...\..........\..........\....\Q2View$1.class
..........\.......\..\...\..........\..........\....\Q2View$2.class
..........\.......\..\...\..........\..........\....\Q2View$3.class
..........\.......\..\...\..........\..........\....\Q2View$4.class
..........\.......\..\...\..........\..........\....\Q2View.class
..........\.......\..\...\..........\..........\....\Q3View$1.class
..........\.......\..\...\..........\..........\....\Q3View$2.class
..........\.......\..\...\..........\..........\....\Q3View$3.class
..........\.......\..\...\..........\..........\....\Q3View$4.class
..........\.......\..\...\..........\..........\....\Q3View.class
..........\.......\..\...\..........\..........\....\Q4View$1.class
..........\.......\..\...\..........\..........\....\Q4View$2.class
..........\.......\..\...\..........\..........\....\Q4View$3.class
..........\.......\..\...\..........\..........\....\Q4View$4.class
..........\.......\..\...\..........\..........\....\Q4View$5.class
..........\.......\..\...\..........\..........\....\Q4View.class
..........\icons\banner.jpg
..........\.....\bg_banner.jpg
..........\.....\h1n1_programs_01.jpg
..........\.....\h1n1_programs_02.jpg
..........\.....\h1n1_programs_03.jpg
..........\.....\h1n1_programs_04.jpg
..........\.....\h1n1_programs_05.jpg
..........\.....\h1n1_p