A. N. Prior. Notes on a group of new modal systems. Logique et analyse, n.s. vol. 2 (1959), pp. 122–127. - R. A. Bull. An axiomatization of Prior's modal calculus . Notre Dame journal of formal logic, vol. 5 no. 3 (1964), pp. 211–214. - A. N. Prior. Axiomatisations of the modal calculus . Notre Dame journal of formal logic, vol. 5 no. 3 (1964), pp. 215–217.

1970 ◽  
Vol 35 (3) ◽  
pp. 464-464
Author(s):  
M. J. Cresswell
Keyword(s):  
Formal Logic ◽  
Modal Systems

ALGEBRA OF PREDICATES AND RELATED GEOMETRIC MODELS CREATION IN REGARDS OF UNIFIED STATE EXAM IN INFORMATICS (RUSSIAN EGE)

2019 ◽  
pp. 40-47
Author(s):  
E. A. Mironchik
Keyword(s):  
Geometric Model ◽  
Main Idea ◽  
Formal Logic ◽  
High Complexity ◽  
Geometric Models ◽  
Complexity Problem ◽  
Logical Expression ◽  
State Examination

The article discusses the method of solving the task 18 on the Unified State Examination in Informatics (Russian EGE). The main idea of the method is to write the conditions of the problem utilizing the language of formal logic, using elementary predicates. According to the laws of logic the resulting complex logical expression would be transformed into an expression, according to which a geometric model is supposed to be constructed which allows to obtain an answer. The described algorithm does allow high complexity problem to be converted into a simple one.

Sign in / Sign up

Export Citation Format

Share Document