article

Many-valued modal logics

Author:

Melvin C. FittingAuthors Info & Claims

Fundamenta Informaticae, Volume 15, Issue 3-4

Pages 235 - 254

Published: 01 November 1991 Publication History

Abstract

No abstract available.

Cited By

View all

Cao CHu LSui Y(2021)Monotonic and nonmonotonic gentzen deduction systems for L3-valued propositional logicFrontiers of Computer Science: Selected Publications from Chinese Universities10.1007/s11704-020-9076-215:3Online publication date: 1-Jun-2021
https://dl.acm.org/doi/10.1007/s11704-020-9076-2
Ray KDas L(2021)Categorical study for algebras of Fitting’s lattice-valued logic and lattice-valued modal logicAnnals of Mathematics and Artificial Intelligence10.1007/s10472-020-09707-189:3-4(409-429)Online publication date: 1-Mar-2021
https://dl.acm.org/doi/10.1007/s10472-020-09707-1
Das LRay K(2021)Bitopological duality for algebras of Fitting’s logic and natural duality extensionActa Informatica10.1007/s00236-020-00384-558:5(571-584)Online publication date: 1-Oct-2021
https://dl.acm.org/doi/10.1007/s00236-020-00384-5
Show More Cited By

Index Terms

Many-valued modal logics

Recommendations

Many-Valued Modal Non-Monotonic Reasoning: Sequential Stable Sets and Logics with Linear Truth Spaces

A family of many-valued modal logics which correspond to possible-worlds models with many-valued accessibility relations, has been recently proposed by M. Fitting [7, 8]. Non-monotonic extensions of these logics are introduced with a fixpoint ...
Three-valued Logics in Modal Logic

Every truth-functional three-valued propositional logic can be conservatively translated into the modal logic S5. We prove this claim constructively in two steps. First, we define a Translation Manual that converts any propositional formula of any three-...
Toward a general frame semantics for modal many-valued logics

Frame semantics, given by Kripke or neighborhood frames, do not give completeness theorems for all modal logics extending, respectively, K and E. Such shortcoming can be overcome by means of general frames, i.e., frames equipped with a collection of ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

Fundamenta Informaticae Volume 15, Issue 3-4

Special issue: logics for artificial intelligence

Nov.– Dec. 1991

186 pages

ISSN:0169-2968

Editors:
Helena Rasiowa
Univ. of Warsaw, Warsaw, Poland
,
Zbigniew W. Ras
Univ. of North Carolina, Charlotte

Issue’s Table of Contents

Publisher

IOS Press

Netherlands

Publication History

Published: 01 November 1991

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

41
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 21 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Cao CHu LSui Y(2021)Monotonic and nonmonotonic gentzen deduction systems for L3-valued propositional logicFrontiers of Computer Science: Selected Publications from Chinese Universities10.1007/s11704-020-9076-215:3Online publication date: 1-Jun-2021
https://dl.acm.org/doi/10.1007/s11704-020-9076-2
Ray KDas L(2021)Categorical study for algebras of Fitting’s lattice-valued logic and lattice-valued modal logicAnnals of Mathematics and Artificial Intelligence10.1007/s10472-020-09707-189:3-4(409-429)Online publication date: 1-Mar-2021
https://dl.acm.org/doi/10.1007/s10472-020-09707-1
Das LRay K(2021)Bitopological duality for algebras of Fitting’s logic and natural duality extensionActa Informatica10.1007/s00236-020-00384-558:5(571-584)Online publication date: 1-Oct-2021
https://dl.acm.org/doi/10.1007/s00236-020-00384-5
Pischke N(2020)A Note on Strong Axiomatization of Gödel Justification LogicStudia Logica10.1007/s11225-019-09871-4108:4(687-724)Online publication date: 1-Aug-2020
https://dl.acm.org/doi/10.1007/s11225-019-09871-4
Santos Y(2020)A Four-Valued Dynamic Epistemic LogicJournal of Logic, Language and Information10.1007/s10849-020-09313-829:4(451-489)Online publication date: 1-Dec-2020
https://dl.acm.org/doi/10.1007/s10849-020-09313-8
Baldan PKönig BMika-Michalski CPadoan T(2019)Fixpoint games on continuous latticesProceedings of the ACM on Programming Languages10.1145/32903393:POPL(1-29)Online publication date: 2-Jan-2019
https://dl.acm.org/doi/10.1145/3290339
Busaniche MCordero PRodriguez R(2019)Pseudomonadic BL-algebrasSoft Computing - A Fusion of Foundations, Methodologies and Applications10.1007/s00500-019-03810-023:7(2199-2212)Online publication date: 1-Apr-2019
https://dl.acm.org/doi/10.1007/s00500-019-03810-0
Cintula PMenchón PNoguera C(2019)Toward a general frame semantics for modal many-valued logicsSoft Computing - A Fusion of Foundations, Methodologies and Applications10.1007/s00500-018-3369-523:7(2233-2241)Online publication date: 1-Apr-2019
https://dl.acm.org/doi/10.1007/s00500-018-3369-5
Baratella S(2019)A completeness theorem for continuous predicate modal logicArchive for Mathematical Logic10.1007/s00153-018-0630-758:1-2(183-201)Online publication date: 1-Feb-2019
https://dl.acm.org/doi/10.1007/s00153-018-0630-7
Costa DMartins M(2019)A Four-Valued Hybrid Logic with Non-dual Modal OperatorsDynamic Logic. New Trends and Applications10.1007/978-3-030-38808-9_6(88-103)Online publication date: 7-Oct-2019
https://dl.acm.org/doi/10.1007/978-3-030-38808-9_6
Show More Cited By

View Options

View options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

Cited By

Index Terms

Recommendations

Many-Valued Modal Non-Monotonic Reasoning: Sequential Stable Sets and Logics with Linear Truth Spaces

Three-valued Logics in Modal Logic

Toward a general frame semantics for modal many-valued logics

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations