Skip to content

jsstoroz/ComputationalSemantics

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

2 Commits

EAI.hs

EAI.hs

 
 

FPH.hs

FPH.hs

 
 

FSynF.hs

FSynF.hs

 
 

Final Project Report ew js.pdf

Final Project Report ew js.pdf

 
 

HRAS.hs

HRAS.hs

 
 

Lexicon.hs

Lexicon.hs

 
 

Model.hs

Model.hs

 
 

P.hs

P.hs

 
 

Propositions.txt

Propositions.txt

 
 

README.md

README.md

 
 

TCOM.hs

TCOM.hs

 
 

World.hs

World.hs

 
 

Repository files navigation

ComputationalSemantics

About

Modeling possible worlds with CTL

Resources

Readme
Activity

Stars

1 star

Watchers

2 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages