Quasi-Normal Partners of Modal Logics K4 and GL

Herald of Tver State University. Series: Applied Mathematics
doi 10.26456/vtpmk521
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Tver State University

Related search

Countermodel Construction via Optimal Hypersequent Calculi for Non-Normal Modal Logics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Modal Logics of Reactive Frames

Cognitive Technologies
2013English

Translating Classical Probability Logics Into Modal Fuzzy Logics

2019English

Modal Logics for Continuous Dynamics

1997English

Sequent Systems for Modal Logics

2002English

Labelled Propositional Modal Logics: Theory and Practice

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
1997English

Modal Logics for Qualitative Spatial Reasoning

Logic Journal of the IGPL
Philosophy
1996English

Towards a Proof Theory of Gödel Modal Logics

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Two-Layer Modal Logics: From Fuzzy Logics to a General Framework

English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy