Logical Systems Comparator

Compare formula validity using the available formal engines.

Language

FormulaFormula language

The selected language fixes the intended reading. Incompatible systems are identified individually. This is not a ranking of logics.

Up to 2,048 characters, 256 nodes, and 64 levels. Engine quotas and a 3-second per-system limit may yield undetermined results.

Search systemsFamily

4 / 41

CPLClassical propositional logicFOLClassical first-order logicFOL=First-order logic with identityPFLPositive free logicNFLNegative free logicNeutral FLNeutral free logicKGmKGm systemKGpKGp systemKGqKGq systemKGcKGc systemK3Strong Kleene logicLPLogic of ParadoxFDEFirst-Degree EntailmentB3Bochvar’s internal logicPWKParaconsistent Weak KleeneŁn (n=3)Finite Łukasiewicz logicsGn (n=3)Finite Gödel logicsPn (n=3)Post logicsRM3Relevant Modus PonensJ3J3 / LFI1 logicmbCBasic logic of formal inconsistencymCimCi logicCn (n=3)Da Costa hierarchyKModal logic KDModal logic DTModal logic TBModal logic BK4Modal logic K4K5Modal logic K5K45Modal logic K45KD4Modal logic KD4KD5Modal logic KD5KD45Modal logic KD45S4Modal logic S4S5Modal logic S5S4.2Modal logic S4.2S4.3Modal logic S4.3GLModal logic GLKₙNormal multimodal logicS5ₙMulti-agent epistemic logic S5ₙKD45ₙMulti-agent doxastic logic KD45ₙ

66 catalog entries; 41 with engines; 25 documentary entries excluded. Parameterized families: Ł3, G3, P3, and C3.

Enter a formula and select the systems to compare.

Local computation, without AI or storage of queries or selections.

∴

Philosophy, Logic and Education
in dialogue with the world.

Academic profiles

Lattes CV ↗UFPI Portal ↗LinkedIn ↗

Contact

kherian@ufpi.edu.br

Floriano, Piauí · Brazil

Logical Systems Comparator · Kherian Gracher