Index of /Seminars/ModalLogic/TPTPFiles

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[TXT]K.sys.txt 2014-11-26 09:42 482  
[TXT]M.sys.txt 2014-11-26 09:42 339  
[TXT]ModalAxiomDefns.ax.txt 2014-11-26 09:42 3.0K 
[TXT]ModalRuleDefns.ax.txt 2014-11-26 09:42 796  
[TXT]OperatorDefns.ax.txt 2014-11-26 09:42 1.1K 
[TXT]PCAxiomDefns.ax.txt 2014-11-26 09:42 4.0K 
[TXT]S1-0.sys.txt 2014-11-26 09:42 738  
[TXT]S1=PCS1M.sys.txt 2014-11-26 09:42 699  
[TXT]S1=S1-0M6.sys.txt 2014-11-26 09:42 345  
[TXT]S5=KM4B.sys.txt 2014-11-26 09:42 364  
[TXT]S5=KM4B_to_S5=KM5.p.txt2014-11-26 09:42 405  
[TXT]S5=KM4B_to_S5=KM5.re..>2014-11-26 09:42 2.1K 
[TXT]S5=KM5_to_S5=KM4B.p.txt2014-11-26 09:42 510  
[TXT]S5=KM5_to_S5=S1-0M6S..>2014-11-26 09:42 2.3K 
[TXT]S5=S1-0M6S3M9B.sys.txt 2014-11-26 09:42 399  
[TXT]S5=S1-0M6S3M9B_to_S5..>2014-11-26 09:42 2.1K