Index of /Seminars/ModalLogic/TPTPFiles

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]ModalAxiomDefns.ax.txt2024-10-04 17:41 3.0K 
[TXT]S5=KM4B_to_S5=KM5.p.txt2024-10-04 17:41 405  
[TXT]PCAxiomDefns.ax.txt2024-10-04 17:41 4.0K 
[TXT]ModalRuleDefns.ax.txt2024-10-04 17:41 796  
[TXT]S5=S1-0M6S3M9B_to_S5=KM5.p.txt2024-10-04 17:41 2.1K 
[TXT]K.sys.txt2024-10-04 17:41 482  
[TXT]OperatorDefns.ax.txt2024-10-04 17:41 1.1K 
[TXT]S1-0.sys.txt2024-10-04 17:41 738  
[TXT]S5=KM4B.sys.txt2024-10-04 17:41 364  
[TXT]S5=S1-0M6S3M9B.sys.txt2024-10-04 17:41 399  
[TXT]S1=S1-0M6.sys.txt2024-10-04 17:41 345  
[TXT]S5=KM4B_to_S5=KM5.reduced.p.txt2024-10-04 17:41 2.1K 
[TXT]S5=KM5_to_S5=S1-0M6S3M9B.p.txt2024-10-04 17:41 2.3K 
[TXT]S5=KM5_to_S5=KM4B.p.txt2024-10-04 17:41 510  
[TXT]S1=PCS1M.sys.txt2024-10-04 17:41 699  
[TXT]M.sys.txt2024-10-04 17:41 339  

Apache/2.4.58 (Ubuntu) Server at tptp.org Port 443