This is a preview. Log in through your library . Abstract We construct an extension $\scr{L}^{P}$ of the standard language $\scr{L}$ of classical propositional logic by adjoining to the alphabet of ...
We consider extending the modal logic KD45, commonly taken as the baseline system for belief, with propositional quantifiers that can be used to formalize natural language sentences such as ...
Join a University ranked in the UK top five for Maths research (THE analysis of REF 2021) with an excellent reputation for teaching and learning (UK top ten for Maths, QS World University Rankings by ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback