Modal languages and bounded fragments of predicate logic

被引：267

作者：

Andreka, H ^{[1
]}

Nemeti, I

van Benthem, J

机构：

[1] Hungarian Acad Sci, Math Inst, Budapest, Hungary

[2] Univ Amsterdam, Inst Log Language & Computa, NL-1012 WX Amsterdam, Netherlands

来源：

JOURNAL OF PHILOSOPHICAL LOGIC | 1998年 / 27卷 / 03期

基金：

匈牙利科学研究基金会;

关键词：

Predicate Logic; Modal Language; Bounded Fragment;

D O I：

10.1023/A:1004275029985

中图分类号：

B81 [逻辑学（论理学）];

学科分类号：

010104 ; 010105 ;

摘要：

[No abstract available]

引用

页码：217 / 274

页数：58

共 45 条

[31] Manufacturing-Oriented Discrete Process Modeling Approach Using the Predicate Logic
Zhenwei, Wang
Hui, Li
IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2009, 21 (12) : 1803 - 1806
[32] EFFICIENT HYPOTHETICAL REASONING SYSTEM FOR PREDICATE-LOGIC KNOWLEDGE-BASE
KONDO, A
MAKINO, T
ISHIZUKA, M
KNOWLEDGE-BASED SYSTEMS, 1993, 6 (02) : 87 - 94
[33] Developing an expert system based on association rules and predicate logic for earthquake prediction
Ikram, Aqdas
Qamar, Usman
KNOWLEDGE-BASED SYSTEMS, 2015, 75 : 87 - 103
[34] A Predicate Logic-defined Specification Method for Systems Deployed by Intercloud Brokerages
Miura, Katsunori
Munetomo, Masaharu
2016 IEEE INTERNATIONAL CONFERENCE ON CLOUD ENGINEERING WORKSHOP (IC2EW), 2016, : 172 - 177
[35] Expressivity of Second Order Propositional Modal Logic
Balder ten Cate
Journal of Philosophical Logic, 2006, 35 : 209 - 223
[36] Repairing the interpolation theorem in quantified modal logic
Areces, C
Blackburn, P
Marx, M
ANNALS OF PURE AND APPLIED LOGIC, 2003, 124 (1-3) : 287 - 299
[37] On the Theory of Anaphora: Dynamic Predicate Logic vs. Game-Theoretical Semantics
Gabriel Sandu
Linguistics and Philosophy, 1997, 20 : 147 - 174
[38] Efficient inference method for computing an optimal solution in predicate-logic hypothetical reasoning
Kondo, A
Ishizuka, M
KNOWLEDGE-BASED SYSTEMS, 1996, 9 (03) : 163 - 171
[39] On the theory of anaphora: Dynamic predicate logic vs. game-theoretical semantics
Sandu, G
LINGUISTICS AND PHILOSOPHY, 1997, 20 (02) : 147 - 174
[40] A tree-sequent calculus for a natural predicate extension of Visser's propositional logic
Ishigaki, Ryo
Kikuchi, Kentaro
LOGIC JOURNAL OF THE IGPL, 2007, 15 (02) : 149 - 164

← 1 2 3 4 5 →