量化逻辑--Johannesson, Eric - Partial Semantics for Quantified Modal Logic

是 否 +2 论坛币

k人 参与回答

经管之家送您一份

应届毕业生专属福利!

求职就业群

赵安豆老师微信：zhaoandou666

经管之家联合CDA

送您一个全额奖学金名额~ !

立即领取

感谢您参与论坛问题回答

经管之家送您两个论坛币！

+2 论坛币

J Philos Logic
https://doi.org/10.1007/s10992-018-9461-6


Partial Semantics for Quantified Modal Logic
Eric Johannesson1


Received: 20 June 2017 / Accepted: 6 April 2018
The Author(s) 2018

Abstract When it comes to Kripke-style semantics for quantified modal logic,
there’s a choice to be made concerning the interpretation of the quantifiers. The sim-
ple approach is to let quantifiers range over all possible objects, not just objects
existing in the world of evaluation, and use a special pr ...

扫码加我 拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

分享0 收藏0 回帖

关键词：Johannes Semantic Partial Hannes quant