일상 언어를 논리기호로 만드는 방법 문의

[익명(223.131)]

앱이나 기타  쉬운  방법 좀  있슬까요?

[익명(115.88)]

논리학 입문이라도 배우시면 일반언어의 추상화는 배우실 수 있을걸요 다만 양상논리까지 배워야 완성되는 건 안 비밀...ㅠ

[익명(223.131)]

검색해 보니, 기초책에서는 못 본 개념이군요... 양상논리는 무슨 책을 봐야 하는지요?

[익명(223.39)]

그런 연구를 formal semantics라고 함