Studia Logica: An International Journal for Symbolic Logic, Vol. 109, No. 4 (August 2021), pp. 829-857 (29 pages) Positive monotone modal logic is the negation- and implication-free fragment of ...
A simple, bivalent semantics is defined for Łukasiewicz's 4-valued modal logic Łm4. It is shown that according to this semantics, the essential presupposition underlying Łm4 is the following: A is a ...
The study of epistemic logic, which formalises the reasoning about knowledge and belief, has been enriched by recent incorporations of topological semantics. This interdisciplinary approach leverages ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback