Amanote Research
Register
Sign In
A Finite Model Property for Gödel Modal Logics
doi 10.29007/vgh2
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
Xavier Caicedo
George Metcalfe
Ricardo Rodriguez
Jonas Rogger
Publisher
EasyChair
Related search
Towards a Proof Theory of Gödel Modal Logics
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Multi-Valued Modal Fixed Point Logics for Model Checking
IEICE Transactions on Information and Systems
Electronic Engineering
Pattern Recognition
Hardware
Computer Vision
Electrical
Architecture
Artificial Intelligence
Software
Fuzzy Description Logics Under Gödel Semantics
International Journal of Approximate Reasoning
Applied Mathematics
Theoretical Computer Science
Artificial Intelligence
Software
Modal Logics for Continuous Dynamics
Sequent Systems for Modal Logics
A Finite Model Construction for Coalgebraic Modal Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Modal Logics for Qualitative Spatial Reasoning
Logic Journal of the IGPL
Philosophy
Semantical Proof of Subformula Property for the Modal Logics K 4.3, KD 4.3, and S4.3
Bulletin of the Section of Logic
Philosophy
Logic
Monadic Fragments of Gödel Logics: Decidability and Undecidability Results
