A Finite Model Construction for Coalgebraic Modal Logic

Lecture Notes in Computer Science - Germany
doi 10.1007/11690634_11
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

A Finite Model Property for Gödel Modal Logics

English

Foreword: Special Issue on Coalgebraic Logic

Mathematical Structures in Computer Science
MathematicsComputer Science Applications
2016English

A Characterization Theorem for a Modal Description Logic

2017English

Efficient Model Construction for Horn Logic With VLog

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Coalgebraic Predicate Logic: Equipollence Results and Proof Theory

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Towards a Symbolic Modal Logic for LOTOS

1996English

A Modal Logic for Reasoning About Economic Policies

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2015English

A Modal Logic for Role-Based Access Control

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Neutrosophic Modal Logic

2017English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy