Pure Modal Logic of Names and Tableau Systems

Studia Logica - Netherlands
doi 10.1007/s11225-018-9788-6
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

Modal Logic Foundations of Markup Structures in Annotation Systems

Studies in Computational Intelligence
Artificial Intelligence
2011English

Neutrosophic Modal Logic

2017English

Modal Change Logic (MCL): Specifying the Reasoning of Knowledge-Based Systems

Data and Knowledge Engineering
Information SystemsManagement
1998English

Modal Logic With Descriptions

Philosophical Studies
1984English

Reflections on Temporal and Modal Logic

Logic and Logical Philosophy
Philosophy
2014English

Timing in Music and Modal Temporal Logic

Journal of Mathematics and Music
Computational MathematicsApplied MathematicsSimulationMusicModeling
2007English

Tableau Calculus for Dummett Logic Based on Present and Next State of Knowledge

English

A Philosophical Conception of Propositional Modal Logic

Philosophical Topics
Philosophy
1993English

Normal Forms in Partial Modal Logic

Banach Center Publications
1993English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy